• TPTP

  • 引用376篇文章[sw04143]
  • 概述要求的一般指南ATP 系统 评价. 输入输出标准。。。支持测试和评价属于ATP 系统,以帮助确保性能结果准确。。。ATP 系统正在考虑中。一个共同的问题库是有意义的系统 评价...
  • QMLTP公司

  • 引用8篇文章[sw09915]
  • 测试平台和评价自动定理证明(ATP)系统对于一阶模态逻辑。。。
  • MPTP 0.2

  • 引用44篇文章[sw02589]
  • 扩展的TPTP语法,允许ATP实验。这包括,例如,一致的处理。。。Mizar计划现在由系统也可以通过记忆(如果必要的话,抽象。。。米扎尔算术评价. 我们描述了几个首字母ATP实验,都是简单的。。。检测到的时间更长ATP 系统这表明MPTP所做的“Mizar解构”。。。
  • 校对

  • 引用3篇文章[sw28654]
  • 基于设计观察表的条款评价E中的启发式算法ATP 系统和(ii)发展。。。里面有很多以前的证据ATP集中证据搜索。。。证明匹配的概念。方法是评价的在一大堆问题即将到来时。。。
  • 进程

  • 参考11篇文章[sw10191]
  • 详细的推理步骤记录在ATP(TPTP)证明,使用几个内部霍尔光推理。。。介子战术。这个系统它的性能是评价的在一个大。。。
  • ACL2

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

  • 在26篇文章中引用[sw00437]
  • 直觉逻辑定理证明(ILTP)库提供了。。。
  • 毫升

  • 引用514篇文章[sw01218]
  • ML('Meta Language')是一个通用函数。。。
  • 卫星库

  • 引用57篇文章[sw02107]
  • SATLIB是一个基准问题的集合,求解器。。。
  • 水獭

  • 第313条引用[sw02904]
  • 我们目前的自动扣除系统水獭的设计。。。
  • THF0型

  • 在14篇文章中引用[sw03310]
  • THF0是一个句法保守的扩展。。。
  • z3型

  • 引用496篇文章[sw04887]
  • Z3是一个高性能的定理证明器。。。
  • 萨奇摩

  • 引用96篇文章[sw06619]
  • SATCHMO:一个用Prolog实现的定理证明程序。这个。。。