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