• 水獭

  • 312篇参考文献[SW02904]
  • 水獭被设计成证明 定理陈述在第一-排序逻辑相等。水獭。。。
  • 电除尘器

  • 151篇参考文献[SW06302]
  • 定理 证明系统前者是自动的。定理证明者第一-排序逻辑…只包含相关的命令证明 定理交互地。TPS和ETPS在公共LISP中运行…
  • 吸血鬼

  • 220篇参考文献[SW0918]
  • 完全接受问题第一-排序逻辑语法,将其语法化并执行…结果到内核。当A定理证明这个系统产生了一个可验证的证据…
  • 常春藤

  • 30篇参考文献[SW10269]
  • 预处理器和验证检查器第一-排序逻辑。本案例研究表明非ACL2…性能可以证明关于复合程序。什么都不是证明关于非ACL2…应用是分辨率/参数化自动化定理 证明第一-排序逻辑。顶部ACL2功能采取…
  • TPS

  • 70篇参考文献[SW0933]
  • 定理 证明系统前者是自动的。定理证明者第一-排序逻辑…只包含相关的命令证明 定理交互地。TPS和ETPS在公共LISP中运行…
  • 公主

  • 23篇参考文献[ SW068 72]
  • 定理 证明进入第一-排序逻辑模线性整数运算。公主是定理证明者…
  • 普罗赫

  • 11篇参考文献[SW10191]
  • 更多涉及重写,以充分第一-排序 定理 证明采用介子策略。系统…
  • CVC4

  • 94篇参考文献[SW0985]
  • 定理证明了可满足性模理论(SMT)问题。它可以用来证明有效性(或,双重性,可满足性)第一-排序大量建造的公式…
  • ILTP

  • 23篇参考文献[SWO4437 ]
  • 自动测试和基准测试定理 证明(ATP)系统第一-排序命题直观逻辑…
  • 回肠

  • 13篇参考文献[SW0977]
  • 基于连接的连接定理 证明直觉主义的第一-排序逻辑。我们提出了一个从句连词…
  • 情商

  • 12篇参考文献[SW15620]
  • 自动化的定理 证明程序用于第一-排序等式逻辑它的优点是很好的实现…稳定和抛光作为我们的主要产品定理证明水獭。但是它已经获得了几个…
  • MPTP 0.2

  • 43篇参考文献[SW02589]
  • 米扎尔问题定理 证明(MPTP)系统及第一实验结果与…当前可用的库(MML)第一-排序自动化的定理提升者(ATPS)(反之亦然)从证明上下文中提取第一-排序实际使用的实例。这些特点…已经完成。关于每第五个非算术定理证明在完全自主模式下…
  • QMLTP

  • 7篇参考文献[SW0915]
  • 图书馆第一-排序模态逻辑量化模态逻辑定理 证明(QMLTP)库提供…自动化测试与评估定理 证明(ATP)系统第一-排序模态逻辑主要的…
  • 盖特1.1

  • 30篇参考文献[SW02442]
  • 这是需要的排序操纵和证明这个定理. 从规格,GEOTER…定理进入一个英文或中文的陈述,进入一个第一-排序逻辑公式,或进入…绘制一个或几个图表定理绘制的图表可以动画化…拖动,并保存为PASScript文件;证明这个定理使用五个代数中的任何一个…
  • 傻瓜

  • 3篇参考文献[SW1487]
  • 第一类布尔排序第一-排序 定理 证明TPTP。支持关于…的推理用布尔值操作的程序定理能够自然处理的人…翻译成第一-排序逻辑与定理可以使用PROVER证明程序属性…语言,自动化的输入语言第一-排序 定理PROVER,使用布尔…
  • 杰莫尔

  • 11篇参考文献[SW0978]
  • 基于连接定理 证明成为交互式证明助手。JPROMER是第一-排序直觉主义的定理
  • FOL拟合

  • 4篇参考文献[SW28 611]
  • Melvin Fitting的书第一-排序逻辑与自动化定理 证明“。形式化涵盖…排序逻辑、语义、模型存在定理一个自然演绎证明微积分连同…
  • 雅典娜

  • 10篇参考文献[SW09667 ]
  • 编程语言,自由神弥涅尔瓦是一个高-排序传统语言中的功能语言…定理 证明系统,雅典娜是基于许多排序第一-排序逻辑。许多排序的第一
  • 完备性定理

  • 7篇参考文献[SW28 562]
  • 完备性第一-排序逻辑是证明紧随其后第一五页的韦纳…对称论证。Margetson正式化了这个定理到2000年初。ISAR转换是谢谢…
  • 平方码

  • 38篇参考文献[SW03056]
  • 计算SqEMA算法第一-排序当量和证明模态公式的正则性,从而…单调性。对于第一和最一般的,扩展SemSQEMA证明一个大的正确性…林顿单调性的特殊模态定理并对阿克曼施加额外的要求…