-
TPTP
- 引用376篇文章[sw04143]
- 概述要求的一般指南ATP 系统 评价. 输入输出标准。。。支持测试和评价属于ATP 系统,以帮助确保性能结果准确。。。ATP 系统正在考虑中。一个共同的问题库是有意义的系统 评价...
-
MPTP 0.2
- 引用44篇文章[sw02589]
- 扩展的TPTP语法,允许ATP实验。这包括,例如,一致的处理。。。Mizar计划现在由系统也可以通过记忆(如果必要的话,抽象。。。米扎尔算术评价. 我们描述了几个首字母ATP实验,都是简单的。。。检测到的时间更长ATP 系统这表明MPTP所做的“Mizar解构”。。。
-
校对
- 引用3篇文章[sw28654]
- 基于设计观察表的条款评价E中的启发式算法ATP 系统和(ii)发展。。。里面有很多以前的证据ATP集中证据搜索。。。证明匹配的概念。方法是评价的在一大堆问题即将到来时。。。
-
进程
- 参考11篇文章[sw10191]
- 详细的推理步骤记录在ATP(TPTP)证明,使用几个内部霍尔光推理。。。介子战术。这个系统它的性能是评价的在一个大。。。