Итеративті multiPRover
method
ID: iterativemultiprover
Шығыс байланыстар
| Байланыс | Мақсатты нысан | Түрі | Әрекеттер |
|---|---|---|---|
| creates | Дәлел графы | otherentity | Көру |
| achieves | Дәлел F1 | metric | Көру |
| Байланыс | Мақсатты нысан | Түрі | Әрекеттер |
|---|---|---|---|
| creates | Дәлел графы | otherentity | Көру |
| achieves | Дәлел F1 | metric | Көру |