Proof Reduction
method
ID: proofreduction
Entity Details
Basic Information
Entity ID
proofreduction
Entity Type
Method
English Label
Proof Reduction
Russian Label
Сокращение доказательства
Kazakh Label
Дәлелді қысқарту
Frequency
1
Description
English Description
A technique advocating the simplification of derivation proofs in parsing.
Russian Description
-
Kazakh Description
-