69
first-order-theorem-proving
1
**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.
1
ARFF
2015-05-22T17:30:40
Public https://test.openml.org/data/v1/download/69/first-order-theorem-proving.arff
69 Class study_14 public active
2024-01-10 13:49:12 18085f8fa7a64f3870327ae4d9ff4123