• TPTP

  • 341篇参考文献[SW04143]
  • 概述要求的一般指南三磷酸腺苷 系统 评价. 输入和输出标准…支持测试评价属于三磷酸腺苷 系统,以帮助确保性能结果准确…三磷酸腺苷 系统正在考虑中。有意义的共同图书馆是有意义的。系统 评价
  • QMLTP

  • 7篇参考文献[SW0915]
  • 测试平台评价自动定理证明(自动定理证明)三磷酸腺苷系统对于一阶模态逻辑…
  • MPTP 0.2

  • 42篇参考文献[SW02589]
  • 扩展TPTP语法,允许多个三磷酸腺苷实验这包括,例如,一致的处理…MIZAR方案现在由系统同样,记住(如果必要的话)抽象…米扎尔算术评价. 我们描述了几个初始三磷酸腺苷实验,两者都很容易…更长时间检测到三磷酸腺苷 系统这表明MPTP的“MiZar解构”…
  • 校对表

  • 1篇参考文献[SW28 64]
  • 基于设计表的子句评价E中的启发法三磷酸腺苷 系统和(ii)开发…里面装载了许多以前的证据三磷酸腺苷并用…证明匹配的概念。方法是评价的一大堆问题即将来临…
  • 普罗赫

  • 11篇参考文献[SW10191]
  • 详细的推理步骤记录在三磷酸腺苷(TPTP)证明,使用几个内部的HOL光推断…介子策略这个系统描述了它的性能评价的这里有一个大的…
  • 辅酶Q

  • 1689篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统. IT
  • ILTP

  • 22篇参考文献[SWO4437 ]
  • 直觉逻辑定理证明(ILTP)库提供…
  • TPS

  • 68篇参考文献[SW0933]
  • TPS和ETPS分别是定理证明…
  • 毫升

  • 490篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • SATLIB

  • 57篇参考文献[SW02107]
  • SATLIB是基准问题的集合,求解器…
  • 水獭

  • 301篇参考文献[SW02904]
  • 我们目前的自动扣除系统水獭的设计…
  • 萨奇莫

  • 91篇参考文献[SW0619]
  • StCHIMO:Prolog中实现的一个定理证明器。这个。。。