PRover
method
ID: prover
Исходящие связи
| Связь | Целевая сущность | Тип | Действия |
|---|---|---|---|
| predicts | Графы доказательств | material | Просмотр |
| comparesWith | Доказательство F1 | metric | Просмотр |
| creates | Вопросы и ответы | task | Просмотр |
| creates | Граф доказательства | otherentity | Просмотр |
| achieves | Точность | metric | Просмотр |
| requires | Глубина | otherentity | Просмотр |