First-order theorem proving

Given a theorem, predict which of five heuristics will give the fastest proof when used by a first-order prover. A sixth prediction declines to attempt a proof, should the theorem be too difficult.



作者 MCI Machine Learning Repository
最後更新 九月 26, 2019, 23:20 (CST)
建立 九月 7, 2018, 08:46 (CST)
Area "Computer"
Associated Tasks "Classification"
Attribute Characteristics "Real"
Data Set Characteristics "Multivariate"
Date Donated "2013-04-17"
Missing Values "N/A"
Number of Instances "6118"
Number of Web Hits "30937"
Number_of_Attributes "51"