Система высшего порядка вывода
method
ID: higherorderinferencesystem
Исходящие связи
| Связь | Целевая сущность | Тип | Действия |
|---|---|---|---|
| isBasedOn | CCG Парсер | method | Просмотр |
| includes | Некоторые аксиомы не первого порядка | otherentity | Просмотр |
| uses | Семантический лексикон | material | Просмотр |