TPTP

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


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

显示结果301到320,共372个。
按年份排序(引用)
  1. Schulz,Stephan;Sutcliffe,Geoff:系统描述:Grande1.0(2002)
  2. Siekmann,J.;Benzmüller,C.;Fiedler,A.;Meier,A.;Pollet,M.:(\Omega)MEGA:(\sqrt2)的证明开发是不合理的(2002年)
  3. Zimmer,Jürgen;Kohlhase,Michael:系统描述:用于分布式数学推理的MathWeb软件总线(2002)
  4. 克里斯托夫·肖尔德布兰德,2001;扩展的定义
  5. Letz,Reinhold;Stenz,Gernot:模型消除和连接表程序(2001)
  6. Nieuwenhuis,Robert;Hillenbrand,Thomas;Riazanov,Alexandre;Voronkov,Andrei:对定理证明的索引技术的评价(2001)
  7. Schulz,Stephan:学习搜索控制知识以证明方程定理(2001)
  8. 舒尔茨,斯蒂芬:系统摘要:e0。第61卷(2001年)
  9. Sutcliffe,Geoff;Suttner,Christian:评估通用自动定理证明系统(2001)
  10. 沃斯,拉里:《征服梅雷迪斯单一公理》(2001)
  11. Balsiger,Peter;Heuerding,Alain;Schwendimann,Stefan:命题模态逻辑的基准方法K,KT,S4(2000)
  12. Brown,Marianne;Sutcliffe,Geoff:系统描述:PTTP+滑翔机。语义引导PTTP(2000)
  13. Denzinger,Jörg;Schulz,Stephan:从多次验证尝试中自动获取搜索控制知识。(2000年)
  14. Egly,Uwe;Rath,Thomas:定义翻译到正常形式的实用变体(2000)
  15. Fuchs,Marc:小句引理在表观结石中的控制使用(2000)
  16. 长谷川,龙佐;藤田,广石;Koshimura,Miyuki:使用分支引理的有效最小模型生成(2000)
  17. Ibens,Ortrun:使用析取约束的连接表计算中的搜索空间压缩(2000)
  18. Koshimura,Miyuki;Hasegawa,Ryuzo:模型生成的证明简化及其应用(2000)
  19. 梅尔,安德烈亚斯:系统描述:流浪汉。机器发现证明到断言级自然演绎证明的转换(2000)
  20. Schulz,Stephan:学习等式推导的搜索控制知识。(迪斯,杜慕岑)(2000年)