Table · dataset
first-order-theorem-proving (OpenML 1475, v1)
Listed in OpenML
Machine-learning dataset 'first-order-theorem-proving' on OpenML: 6,118 instances, 52 features, 6 classs.
Links
Where it is published
- OpenML dataset page openml.org/d/1475 ↗
landing page · from OpenML
Catalogue records · 1
- OpenML API openml.org/api/v1/json/data/1475 ↗
metadata API · from OpenML
Topics
- From keywords
- Computer Science & AI
Provenance · 1 source records, 5 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| OpenML | 1475 | 11 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| access_level | source · OpenML | connector:openml@1.0.0 | |
| concepts[field].local:field:computer-science-ai | mapping · OpenML | connector:openml@1.0.0 | |
| description | source · OpenML | connector:openml@1.0.0 | |
| title | source · OpenML | connector:openml@1.0.0 | /name |
| version_label | source · OpenML | connector:openml@1.0.0 |