• TPTP

  • 368篇参考文献[SW04143]
  • TPTP(数以千计的定理证明器的问题)是一个自动化测试问题库。定理证明(ATP)系统。这个TPTP提供ATP社区:一个综合图书馆…系统主要动机TPTP是为了支持测试和评估…生产有统计学意义的结果。这个TPTP是这样一个图书馆…
  • SMT-LIB

  • 177篇参考文献[SW04103]
  • 同样的方式,例如,TPTP图书馆已经为定理证明做了…
  • 大锤

  • 113篇参考文献[SW07047 ]
  • 伊莎贝尔和基准测试的多样性TPTP图书馆大锤提供了一个理想的试验台…
  • MPTP 0.2

  • 43篇参考文献[SW02589]
  • MPTP切换到通用扩展TPTP语法添加了与术语相关的类别和抽象…弗兰克尔)条款TPTP语法。我们描述这些扩展,并解释它们如何…MPTP转换为标准TPTP利用分类的相对化和抽象的去匿名化的句法。导出并在扩展中进行编码TPTP语法,允许一些ATP实验…
  • 利奥二世

  • 49篇参考文献[SW0512]
  • 目前LYO-II可以合作TPTP兼容的一阶自动定理证明…CAML及其问题表示语言TPTP
  • 挑剔

  • 54篇参考文献[SW0622]
  • 伊莎贝尔理论与实验结果TPTP图书馆指出,NITPY会产生更多的反例…
  • 达尔文

  • 24篇参考文献[SW04175]
  • 从句逻辑它接受制定的问题。TPTP或TME格式,非句法语TPTP问题。。。
  • HR

  • 29篇参考文献[SW1092]
  • 基准定理的产生TPTPATP系统测试问题库
  • THF0

  • 14篇参考文献[SW033 10]
  • 非类型第一阶的保守扩张TPTP语言,为高阶添加语法…适应现有基础设施的加工TPTP格式化数据,例如解析工具,漂亮的打印工具…第5节)一个特殊的特点TPTP语言,一直保持在THF0…
  • E-DARVIN

  • 19篇参考文献[SW08052]
  • 逻辑相等。它接受问题TPTP或TME语法。非从句输入…
  • DPPD

  • 14篇参考文献[SW0984]
  • 来产生类似的东西TPTP(数以千计的定理证明问题)库…
  • 普罗赫

  • 11篇参考文献[SW10191]
  • 在ATP中记录的详细推理步骤TPTP证明,使用几个内部的HOL光推断…
  • TPT2X

  • 5篇参考文献[SW10409]
  • 用于重新格式化、转换和生成的功能实用程序TPTP问题文件。特别是,它:1)转换…TPTP格式为现有ATP系统使用的格式。2)应用各种变换…TPTP问题。3)控制生成TPTP问题文件从TPTP生成文件。TPT2X…
  • SMTOTPTP

  • 5篇参考文献[SW13650]
  • 格式化为TPTPTFF格式。SMT-LIB格式支持多态性排序,并且经常…数组和某些形式的算术运算。这个TPTPTFF格式是一个扩展…TPTP格式广泛使用的自动定理证明,添加排序系统和算术理论…使SMT-LIB问题可用TPTP系统开发人员TPTP可用的系统…
  • QMLTP

  • 7篇参考文献[SW0915]
  • 标准化扩展中的问题TPTP语法。所有问题的状态和难度等级…