first-order-theorem-proving
OpenML dataset with id 1475
Author name not available (Why is that?)
Full work available at URL: https://api.openml.org/data/v1/download/1587932/first-order-theorem-proving.arff
Upload date: 22 May 2015
Dataset Characteristics
Number of classes: 6
Number of features: 52 (numeric: 51, symbolic: 1 and in total binary: 0 )
Number of instances: 6,118
Number of instances with missing values: 0
Number of missing values: 0
Author: James P Bridge, Sean B Holden and Lawrence C Paulson
Source: UCI
Please cite: James P Bridge, Sean B Holden and Lawrence C Paulson . Machine learning for first-order theorem proving: learning to select a good heuristic. Journal of Automated Reasoning, Springer 2012/13.
Source:
James P Bridge, Sean B Holden and Lawrence C Paulson
University of Cambridge Computer Laboratory William Gates Building 15 JJ Thomson Avenue Cambridge CB3 0FD UK
+44 (0)1223 763500 forename.surname '@' cl.cam.ac.uk
Data Set Information:
See the file dataset file.
Attribute Information:
The attributes are a mixture of static and dynamic features derived from theorems to be proved. See the paper for full details.
This page was built for dataset: first-order-theorem-proving
