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"

推薦資料集:


  • 門診上呼吸道感染病人就診後未滿七日再次因同疾病就診率 (西醫基層總額指標)

    付費方式 免費
    更新頻率 不定期
    資料來源:保險醫事服務機構醫療服務點數申報資料。 分子:按院所、病人身份證號歸戶 ,計算因上呼吸道感染於同一院所,重複就診 2次(含)以上之人數。 分母:按院所、病人身份證號歸戶,計算院所上呼吸道感染人數。 計算公式:(分子/分母)x 100% 
  • 國防報告書

    付費方式 免費
    更新頻率 不定期
    國防部依國防法第30條:「國防部應根據國家目標、國際一般情勢、軍事情勢、國防政策、國軍兵力整建、戰備整備、國防資源與運用、全民國防等,定期提出國防報告書」。
  • 列管工業區下水道名單

    付費方式 免費
    更新頻率 不定期
    列管工業區下水道名單
  • 高雄市各分局轄區重要指標

    付費方式 免費
    更新頻率 不定期
    高雄市各分局轄區重要指標
  • 高雄市動物保護處「為毛小孩找一個家」公益櫥窗計畫合作店家目錄

    付費方式 免費
    更新頻率 不定期
    提供為毛小孩找一個家公益櫥窗計畫合作店家目錄