Дәлел графы
otherentity
ID: proofgraph
Кіріс байланыстар
| Байланыс | Бастапқы нысан | Түрі | Әрекеттер |
|---|---|---|---|
| creates | Трансформерлер | method | Көру |
| creates | PRover | method | Көру |
| creates | Көпжақтық multiPRover | method | Көру |
| creates | Итеративті multiPRover | method | Көру |