Algorithms for Generation in Lambek Theorem Proving
35769Knowledge Triples
| Source Entity | Relationship | Target Entity |
|---|---|---|
|
Екіжақты бағыттылық
OtherEntity |
appliesTo |
Категориялық грамматика
Method |
|
Ламбектің теореманы дәлелдеу
OtherEntity |
enables |
Генерация алгоритмі
Method |
|
Ламбектің теореманы дәлелдеу
OtherEntity |
facilitates |
Екіжақты бағыттылық
OtherEntity |