RuleTaker
material
ID: ruletaker
Детали сущности
Основная информация
ID сущности
ruletaker
Тип сущности
Material
Английская метка
RuleTaker
Русская метка
RuleTaker
Казахская метка
RuleTaker
Частота
3
Описание
Английское описание
A dataset used for evaluating the performance of proof generation methods.
Русское описание
-
Казахское описание
-