• TPTP

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

• QMLTP

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

• MPTP 0.2

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

• 校对表

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

• 普罗赫

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

• ACL2

• 262篇参考文献[ SW000 060]
• ACL2是一种编程语言，其中…

• 辅酶Q

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

• ILTP

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

• 利奥二世

• 42篇参考文献[SW0512]
• Leo II是一个独立的、基于分辨率的更高的…

• 枣灰蝶属

• 139篇参考文献[SW0961]
• 软件系统定理提供了统一的逻辑…

• TPS

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

• 毫升

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

• SATLIB

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

• 水獭

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

• THF0

• 12篇参考文献[SW033 10]
• THF0是……的语法保守延伸。

• SMT-LIB

• 160篇参考文献[SW04103]
• SMT-LIB创建的预期是…

• CPLIB

• 81篇参考文献[SW04150 ]
• CSPLIB是一个测试题库。

• 霍尔

• 450篇参考文献[SW054 92]
• 高阶逻辑（HOL）是一种编程环境…

• 萨奇莫

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

• i-StoCHMO

• 6篇参考文献[SW062622]
• i-SACCHMO：我们介绍的SAMCHO的改进…