Доказательства естественного вывода
method
ID: naturaldeductionproofs
Детали сущности
Основная информация
ID сущности
naturaldeductionproofs
Тип сущности
Method
Английская метка
Natural Deduction Proofs
Русская метка
Доказательства естественного вывода
Казахская метка
Табиғи дедукция дәлелдері
Частота
1
Описание
Английское описание
Proofs that establish entailment relations between sentence pairs using logical deduction.
Русское описание
-
Казахское описание
-