TPTP

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


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

显示结果1至20的368。
按年份排序(引文
  1. 鲍姆加特,彼得;施密特,Renate A.:自底向上模型生成方法的阻塞和其他增强(2020)
  2. 克里斯托夫,史葛,Dana S.:HOL自动化自由逻辑,范畴理论的实验应用(2020)
  3. Cialdea Mayer,马尔塔:处理名词、粘结剂、及物性和关系层次的证明者(2020)
  4. 克里斯蒂亚,Maximiliano;罗西,GiangFrango:求解有限集上的无量词一阶约束和二元关系(2020)
  5. Tekk,安德烈亚斯;魏登巴赫,克里斯托夫:SPAS-AR:一种基于近似细化的一阶定理证明器:一元浅线性片段(2020)
  6. 巴博萨,汉尼尔;雷诺兹,安得烈;El Uououi,丹尼尔;Tinelli,CasARE;巴雷特,克拉克:扩展SMT求解器到高阶逻辑(2019)
  7. Bentkamp,亚力山大;布兰切特,Jasmin;图雷特,索菲;VumimiRvii,Peta;Wordman,UWE:与Llambas的叠加(2019)
  8. 巴哈特,艾哈迈德;雷格,吉尔斯:限制组合统一(2019)
  9. 布朗,Chad E.;高蒂尔,蒂博特;卡利斯克,Cezary;Sutcliffe,杰夫;城市,约瑟夫:格伦格:一个统一的ATP挑战(2019)
  10. Ebner,加布里埃尔;HeZZL,斯特凡;莱特施,亚力山大;里斯,吉赛尔;Weller,丹尼尔:关于量子化引理的产生(2019)
  11. Furbah,Ulrich;Kr SuMeR,特蕾莎;Son,克劳蒂亚:名字不仅仅是声音和烟雾:公理选择的词嵌入(2019)
  12. 李,Di Long;Tiu,爱尔温:结合PROVIEF和自动定理证明器进行安全协议验证(2019)
  13. Lifschitz,弗拉迪米尔;吕恩,帕特里克;肖邦,托斯滕:验证TrxSCRGGIGO输入语言中程序的强等价性(2019)
  14. 穆罕默德·亚辛·哈达德、Guillaume Burel、弗雷德里克·布朗基:从TSTP文件中重构德杜克提证据的工具(扩展摘要)(2019)阿西夫
  15. Rawson,米迦勒;雷格,吉尔斯:老的还是重的?随着年龄/体重形状的优雅衰减(2019)
  16. 雷格,吉尔斯;Voronkov,安德列:基于饱和的证明搜索中的归纳(2019)
  17. 舒尔茨,Stephan;Curnes,西蒙;VumimiRVi,PATAR:更快,更高,更强:E 2.3(2019)
  18. Stnngel.,基督教;温克勒,莎拉:通过有序完成的认证等式推理(2019)
  19. 斯塔亚诺维奇-乌尔埃维,Sana:从非正式到正式证明在Euclidean几何(2019)
  20. TAMMET,TANEL:GKC:一个大型知识库的推理系统(2019)