• TPTP

  • 引用370篇文章[sw04143]
  • TPTP(定理证明者的成千上万个问题)是一个自动化的测试问题库。。。定理证明系统。这个TPTP为ATP社区提供:一个综合图书馆。。。系统。校长的动机TPTP是为了支持测试和评估。。。产生具有统计学意义的结果。这个TPTP是这样一个图书馆。。。
  • 大锤

  • 参考114篇[sw07047]
  • 伊莎贝尔和TPTP图书馆。大锤提供了一个理想的试验台。。。
  • MPTP 0.2

  • 引用了43篇文章[sw02589]
  • MPTP切换到通用扩展TPTP添加依赖于术语的排序和抽象的语法。。。弗雷恩克尔)条款TPTP语法。我们描述这些扩展并解释它们是如何。。。MPTP转换为标准TPTP使用类别的相对化和抽象的非符号化的句法。。。导出并在扩展TPTP语法,允许一些ATP实验。。。
  • 梅蒂斯_

  • 引用了53篇文章[sw04439]
  • 基准。读入标准中的问题。tptp的文件格式TPTP问题。。。
  • 利奥二世

  • 引用49篇文章[sw00512]
  • 现在LEO-II可以与TPTP遵从一阶自动定理证明器,如。。。CAML及其问题表示语言是TPTP...
  • 吹毛求疵

  • 引用54篇文章[sw00622]
  • 伊莎贝尔理论和TPTP库表明,挑剔会产生更多的反例。。。
  • 达尔文

  • 引用24篇文章[sw04175]
  • 小句逻辑。它接受tptp或tme格式,非子句tptp问题。。。
  • THF0型

  • 在14篇文章中引用[sw03310]
  • 非类型一阶的保守扩张TPTP语言,添加了更高阶的语法。。。现有加工基础设施改造TPTP格式化数据,例如,解析工具,漂亮的打印工具。。。第5节)。一个特殊的特征TPTP语言,一直保存在THF0。。。
  • DCTP公司

  • 引用21篇文章[sw06621]
  • 中包含问题规范的输入文件TPTP语法,DCTP会试图证明。。。
  • 达尔文

  • 引用19篇文章[sw06852]
  • 逻辑与平等。它接受问题tptp或tme语法。非子句输入。。。
  • DPPD公司

  • 在14篇文章中引用[sw09884]
  • 产生了像TPTP(成千上万的定理证明问题)图书馆。。。
  • 进程

  • 参考11篇文章[sw10191]
  • ATP中记录的详细推理步骤(TPTP)证明,使用几个内部霍尔光推理。。。
  • tptp2X型

  • 引用5篇文章[sw10409]
  • 用于重新格式化、转换和生成的功能实用程序TPTP问题文件。特别是,它:1)转换。。。TPTP格式为现有ATP系统使用的格式。2) 应用各种变换。。。TPTP问题。3) 控制的生成TPTP来自问题的文件TPTP生成器文件。tptp2X。。。
  • SMTtoTPTP公司

  • 引用5篇文章[sw13650]
  • 格式化为TPTPTFF格式。SMT-LIB格式支持多态排序,并且经常。。。数组和某些形式的算法。这个TPTPTFF格式是一个扩展。。。TPTP自动定理证明器广泛使用的格式,增加了排序系统和算法理论。。。将SMT-LIB问题提供给TPTP系统开发人员TPTP可用系统。。。
  • QMLTP公司

  • 参考7篇文章[sw09915]
  • 用标准化扩展表示的问题TPTP语法。所有问题的状态和难度等级。。。
  • IDV公司

  • 参考7篇文章[sw21371]
  • 写在TPTP语言。IDV提供了一个交互式界面,允许。。。