• 豹子

  • 参考6篇文章[sw13554]
  • LeoPARD为所有人提供了一个解析器TPTP方言、命令行解释器和通用方法。。。
  • 阿格索尔

  • 引用4篇文章[sw13302]
  • 顺序逻辑。它读到的问题TPTPTHF格式。它是基于。。。以内部格式打印。在中显示派生TPTP格式尚未实现。因此。。。
  • 傻瓜

  • 引用3篇文章[sw14287]
  • 一阶定理证明中的排序与TPTP. 为了支持关于程序属性的推理。。。有效地证明程序属性。但是,在TPTP语言,自动第一输入语言。。。定理证明者。最后,我们讨论TPTP语言可以改变来支持傻瓜。。。
  • 提皮

  • 引用4篇文章[sw09147]
  • 提示:ATPTP-以实证分析为重点的理论开发环境。在一些理论发展任务中。。。
  • 纳米COP

  • 引用4篇文章[sw21547]
  • 一阶表单输入格式(leanCoP或TPTP). 紧凑非子句连接证明的输出。。。
  • 甲醛

  • 引用3篇文章[sw21539]
  • FML和TPTPHOL的thf0语法。它目前支持逻辑。。。
  • PSOA2TPP

  • 1条引用[sw07648]
  • 用于与PSOA RuleML互操作的参考转换器TPTP推理机PSOARuleML是最近指定的。。。psoml/a流行语法TPTP多顺序逻辑支持。。。从psoaruleml到TPTP通过规范化和翻译阶段。。。
  • 斯特拉克托

  • 1条引用[sw32250]
  • 实现了一个提取TPTPTSTP文件中的子问题和重建完整的证明。。。关于CNF问题的证明TPTP图书馆和我们可以重建。。。
  • 梅拉

  • 1条引用[sw09688]
  • 800多个来自TPTP图书馆。与以前的方法相比。。。
  • 兰多克

  • 1条引用[sw15149]
  • leanCoP和其他定理证明者TPTP图书馆和涉及大理论的问题。。。
  • 嵌入模式

  • 1条引用[sw28304]
  • 用作车削的预处理器TPTP符合定理证明者为各种证明者。。。
  • ACL2

  • 引用274篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • ILTP

  • 引用25篇文章[sw00437]
  • 逻辑库提供了直观的逻辑证明。。。
  • 超小卫星

  • 引用522篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。
  • 濑户

  • 引用了119篇文章[sw00707]
  • SETHEO:一个高性能的定理证明器。报纸。。。