TPTP

TPTP(定理证明的数千个问题)是自动定理证明(ATP)系统的测试问题库。TPTP为ATP社区提供了一个ATP测试问题的综合库,现在可以提供,以提供一个概览和一个简单、明确的参考机制。每个问题的参考文献和其他有趣信息的综合列表。泛型问题的任意大小实例(例如,N-Quess问题)。将问题转换为现有ATP系统格式的实用程序。概述ATP系统评价要求的一般准则。ATP系统的输入和输出标准。TPTP的主要动机是支持ATP系统的测试和评估,以帮助确保性能结果准确地反映正在考虑的ATP系统的能力。一个共同的问题库是必要的有意义的系统评估,有意义的系统比较,可重复性的测试,并产生统计上显著的结果。TPTP就是这样一个图书馆。


ZBMaX中的参考文献(341篇)3篇标准文章

显示结果1至20的341。
按年份排序(引文
  1. Ebner,加布里埃尔;HeZZL,斯特凡;莱特施,亚力山大;里斯,吉赛尔;Weller,丹尼尔:关于量子化引理的产生(2019)
  2. Lifschitz,弗拉迪米尔;吕恩,帕特里克;肖邦,托斯滕:验证TrxSCRGGIGO输入语言中程序的强等价性(2019)
  3. 斯塔亚诺维奇-乌尔埃维,Sana:从非正式到正式证明在Euclidean几何(2019)
  4. Bentkamp,亚力山大;布兰切特,Jasmin Christian;Cracees,西蒙;沃尔德曼,UWE:叠加(λ)-自由高阶逻辑(2018)
  5. 卡德里耶,拉斐尔:Meta DeDukTI的策略和证书(2018)
  6. CaleSeun,Koen;Smallbone,尼古拉斯:等式逻辑中一阶角公式的有效编码(2018)
  7. 克里斯蒂亚,Maximiliano;罗西,GiangFrang:一个有限集关系代数的集合求解器(2018)
  8. CZAZKA,KARISZYK,CEZARY:COQ锤:依赖型理论的自动化(2018)
  9. FelTy,艾米;MimigiLaNo,阿尔伯托;Pitka,汤屹云:包含绑定和假设上下文的语法树推理的基准(2018)
  10. Gleiss,伯恩哈德;KoaCCS,劳拉;Rabialdand西蒙:迭代迭代的量化分析(2018)
  11. Jakubuv,J.KaliSyyk,CZARARI:面向叠加的自动推理的统一排序(2018)
  12. Kotelnikov,Evgenii;Koa'cs,劳拉;Voronkov,安德列:命令程序下一个状态关系的愚蠢编码(2018)
  13. Lopez Hernandez,祖里奥茨萨尔;Korovin,康斯坦丁:一个大理论推理的抽象精化框架(2018)
  14. 彼得罗夫斯基,Bartosz;城市,约瑟夫:ATPoBoo:使用ATP反馈的二进制设置中的学习前提选择(2018)
  15. 斯莱尼,约翰;WordZeLogel-Gulo,布鲁诺:冲突解决:一个具有决策文字和冲突驱动的子句学习的一阶归结演算(2018)
  16. 斯蒂恩,亚力山大;Brimmü勒,克里斯托夫:高阶证明器Leo III(2018)
  17. 温克勒,莎拉;莫泽,格奥尔:M*DMAX:一个最大有序完备工具(2018)
  18. 克里斯托夫:量化条件逻辑的切去消除(2017)
  19. 吉尔伯特,弗雷德里克:证明的自动建构(2017)
  20. 吉尔伯特,弗雷德里克:PVS中的证明证书(2017)