9985
Task 9985: first-order-theorem-proving (Supervised Classification)
1
Supervised Classification
1475
Class
1
crossvalidation
https://api.openml.org/api_splits/get/9985/Task_9985_splits.arff
1
10
true
ARFF
OpenML-CC18
OpenML100
study_107
study_123
study_14
study_50
study_7
study_98
study_99