Statements (24)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
context-free grammar
linguistic theory |
| gptkbp:describes |
gptkb:syntax
semantics |
| gptkbp:developedBy |
gptkb:Yehoshua_Bar-Hillel
gptkb:Richard_Montague |
| gptkbp:field |
linguistics
mathematical linguistics computational linguistics |
| gptkbp:hasComponent |
categories
functors |
| gptkbp:hasVariant |
gptkb:Montague_Grammar
gptkb:Combinatory_Categorial_Grammar gptkb:Lambek_Calculus |
| gptkbp:introduced |
gptkb:Kazimierz_Ajdukiewicz
|
| gptkbp:relatedTo |
gptkb:lambda_calculus
gptkb:logic combinatory logic |
| gptkbp:usedIn |
formal semantics
natural language processing parsing |
| gptkbp:bfsParent |
gptkb:Linguistics
gptkb:Lambek_calculus |
| gptkbp:bfsLayer |
5
|