IMT journal
Document segmentTitle
101_0
http://libmeta.ru/resource/imt/seg/101_0
Fragment text
НЕКЛАССИЧЕСКИЕ ЛОГИКИ В ЗАДАЧЕ ВЕРИФИКАЦИИ ПРОДУКЦИОННЫХ БАЗ ЗНАНИЙ
Данные
| hasConfidence | 1.0 |
| hasOrderIndex | 0 |
| wasManuallyVerified | false |
extractedFrom
generatedBy
Входящие связи
← has fragment · 1