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"

推薦資料集:


  • 綜合所得稅所得淨額20分位未申報統計分析表

    付費方式 免費
    更新頻率 不定期
    綜合所得稅所得淨額20分位未申報統計分析表 單位:金額(千元)
  • 10420-01-11-2 臺中市立各級學校教職員獎懲人次按獎懲狀況分

    付費方式 免費
    更新頻率 不定期
    臺中市立各級學校教職員獎懲人次按獎懲狀況分
  • 總統創新獎得獎專輯

    付費方式 免費
    更新頻率 不定期
    本書係蒐錄總統創新獎之獲獎團體及個人之創新故事,訴諸獲獎者創新成果於全球引領產業世代交替的關鍵地位,或其在國際舞台上塑造臺灣獨特價值之成就,供各界效法及學習
  • 桃園市刑事案件分類發生數、破獲數及嫌疑犯人數

    付費方式 免費
    更新頻率 不定期
    桃園市警政統計資料,各類刑案發生數、破獲數及嫌疑犯人數
  • 桃園市身心障礙類別、向度之鑑定醫院名冊

    付費方式 免費
    更新頻率 不定期
    桃園市身心障礙類別、向度之鑑定醫院名冊