Теорема дәлелдеуші
method
ID: theoremprover
Шығыс байланыстар
| Байланыс | Мақсатты нысан | Түрі | Әрекеттер |
|---|---|---|---|
| employs | Аналитикалық таблица | method | Көру |
| isBasedOn | Табиғи логика | method | Көру |
| appliesTo | Силлогистикалық ережелер | otherentity | Көру |