TPTP

TPTP(定理证明者的数千个问题)是自动定理证明(ATP)系统的测试问题库。TPTP为ATP社区提供:一个全面的ATP测试问题库,可以提供一个概述和一个简单、明确的参考机制。每个问题的参考文献和其他有趣信息的综合列表。一般问题的任意大小实例(例如N皇后问题)。将问题转换为现有ATP系统格式的实用程序。概述ATP系统评估要求的一般指南。ATP系统的输入和输出标准。TPTP的主要动机是支持ATP系统的测试和评估,以帮助确保性能结果准确反映所考虑的ATP系统的能力。系统的可重复性、可重复性评价是系统测试中常见的、有意义的问题。TPTP就是这样一个库。


zbMATH中的参考文献(引用于,3标准条款)

显示372个结果中的1到20个。
按年份排序(引用)

1 2 ... 17 18 19 下一个

  1. Baumgartner,Peter;Schmidt,Renate A.:自下而上模型生成方法的阻塞和其他增强(2020)
  2. Christoph Benzmüller;Scott,Dana S.:自动化HOL中的自由逻辑,范畴理论的实验应用(2020)
  3. Cialdea Mayer,Marta:一个处理名词、绑定词、及物性和关系层次的证明者(2020)
  4. Cristiá,Maximiliano;Rossi,Gianfranco:求解有限集和二元关系上的无量词一阶约束(2020)
  5. Teucke,Andreas;Weidenbach,Christoph:SPASS-AR:基于对一元浅线性片段的近似精化的一阶定理证明器(2020)
  6. Barbosa,Haniel;Reynolds,Andrew;El Ouraoui,Daniel;Tinelli,Cesare;Barrett,Clark:将SMT求解器扩展到高阶逻辑(2019年)
  7. Alexander Bentkamp;Blanchette,Jasmin;Tourret,Sophie;Vukmirović,Petar;Waldmann,Uwe:与lambdas的叠加(2019年)
  8. Ahmed Bhayat;Reger,Giles:受限组合统一(2019)
  9. Brown,Chad E.;Gauthier,Thibault;Kaliszyk,Cezary;Sutcliffe,Geoff;Urban,Josef:GRUNGE:a grand unified ATP challenge(2019年)
  10. 艾伯纳,加布里埃尔:自动直觉定理证明的Herbrand构造(2019)
  11. 艾伯纳,加布里埃尔;赫茨尔,斯特凡;莱奇,亚历山大;里斯,吉赛尔;韦勒,丹尼尔:关于量化引理的生成(2019)
  12. Furbach,Ulrich;Krämer,Teresa;Schon,Claudia:名字不仅仅是声音和烟雾:公理选择的单词嵌入(2019)
  13. Li,Di Long;Tiu,Alwen:结合proverif和自动定理证明器进行安全协议验证(2019)
  14. Lifschitz,Vladimir;Lühne,Patrick;Schaub,Torsten:验证输入语言中程序的强等价性(2019)
  15. Mohamed Yacine El Haddad,Guillaume Burel,Frédéric Blanqui:EKSTRAKTO从TSTP文件中重建Dedukti证据的工具(扩展摘要)(2019年)阿尔十四
  16. 罗森,迈克尔;雷格,贾尔斯:老还是重?随着年龄/体重形状优雅地衰退(2019年)
  17. Reger,Giles;Riener,Martin;Suda,Martin:MACE式有限模型发现中的对称避免(2019)
  18. Reger,Giles;Voronkov,Andrei:基于饱和的证据搜索中的归纳法(2019)
  19. Stephan Schulz;Simon Cruanes;Vukmirović,Petar:更快、更高、更强:E2.3(2019年)
  20. Sternagel,Christian;Winkler,Sarah:通过有序完成的认证等式推理(2019)

1 2 ... 17 18 19 下一个