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"

推薦資料集:


  • 台中市105年1-12月役男徵兵檢查BMI值統計表

    付費方式 免費
    更新頻率 不定期
    台中市105年1-12月役男徵兵檢查BMI值統計表
  • 民意代表

    付費方式 免費
    更新頻率 不定期
    1.新北市民意代表(含性別) 2.單位:人;% 3.各項欄位說明詳參新北市性別圖像電子檔(網址:http://www.bas.ntpc.gov.tw/content/?parent_id=10473)或電洽主計處查詢。
  • 全國公立動物收容所收容處理情形統計表二

    付費方式 免費
    更新頻率 不定期
    提供資料包含:年度、縣市別、月份、可留容動物最大值、在養數收容所、在養數委託代養、在養數小計、進所政府捕捉、進所拾獲送交、進所不擬續養、進所動物救援、進所依法沒入、進所其他、合計入所數、出所認領、領養民眾領養、領養狗場領養、領養動保團體、動保法第12條第1項第3款、動保法第12條第1項第5款、動保法第12條第1項第7款、其他法令授權、所內死亡疾病死亡、...
  • 綜合所得稅各類所得金額各縣市鄉鎮村里統計表-縣市別:嘉義縣

    付費方式 免費
    更新頻率 不定期
    綜合所得稅各類所得金額各縣市鄉鎮村里統計表-縣市別:嘉義縣 單位:金額(千元)
  • 臺灣經濟發展歷程與策略/Economic Development R.O.C. (Taiwan)

    付費方式 免費
    更新頻率 不定期
    介紹台灣經濟發展歷程與發展概況/Taiwan's Economic Development Course and Performance