Генерация доказательств
task
ID: proofgeneration
Входящие связи
| Связь | Исходная сущность | Тип | Действия |
|---|---|---|---|
| isA | Рассуждение над естественным языком | task | Просмотр |
| comparesWith | Пошаговый метод | method | Просмотр |
| performs | PROBR | method | Просмотр |
| appliesTo | Итеративное обратное рассуждение | method | Просмотр |