RuleTaker
material
ID: ruletaker
Нысан мәліметтері
Негізгі ақпарат
Нысан ID
ruletaker
Нысан түрі
Material
Ағылшын белгісі
RuleTaker
Орыс белгісі
RuleTaker
Қазақ белгісі
RuleTaker
Жиілік
3
Сипаттама
Ағылшын сипаттамасы
A dataset used for evaluating the performance of proof generation methods.
Орыс сипаттамасы
-
Қазақ сипаттамасы
-