• LPL软件

  • 17篇参考文献[SW0860]
  • 哥德尔第一部手绘草图不完备性 定理. 这本书适合广泛使用。
  • 遗传有限集

  • 5篇参考文献[SW29 249]
  • Godel’s的伊莎贝尔证明不完备性 定理,它已经被单独的形式化了…
  • 不完全性定理

  • 2篇参考文献[SW28 612]
  • 格德尔不完备性 定理. 格德尔二不完备性 定理正式化后,仔细的介绍…第二机器辅助证明不完备性 定理. 与传统的形式化算法相比,采用PeANO算法…
  • ITP

  • 31篇参考文献[ SW09808]
  • 工具是定理证明器可以用来证明隶属函数的性质…规格,以及不完全地针对它们的指定算法,作为一种支持增量的方法…
  • 电除尘器

  • 151篇参考文献[SW06302]
  • 智力。TPS可以用来证明定理第一和高阶逻辑交互地…积极考虑,节约部分证据不完全证明和打印证明文件…
  • 埃特南诺瓦

  • 8篇参考文献[SW06360]
  • 构成一个有效的定义序列定理或有缺陷的拒绝。功能…数学分析。(后一种情况,虽然不完全迄今为止,已经包括超过1000个验证的证据…
  • 裁判

  • 7篇参考文献[SW12439 ]
  • 构成一个有效的定义序列定理或有缺陷的拒绝。功能…数学分析。(后一种情况,虽然不完全迄今为止,已经包括超过1000个验证的证据…
  • 莎莎舞

  • 5篇参考文献[SW25430]
  • 执行顺序。此外,由于不完备性归纳,用户必须验证反例…跳棋分析。而且,与一般用途不同定理萨尔萨专注于单一的任务…
  • 兰多科普

  • 1篇参考文献[SW15149]
  • 连接演算。我们提出了RANOCOP,A定理经典一阶逻辑的证明器,它集成了…在其子句形式中的文字不完全LeCANOP 2的搜索变体可以被改进…RANOCOP与LeCANOP等的性能定理TPTP文库中存在的问题和问题…
  • 辅酶Q

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

  • 2586篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…
  • HSL

  • 250篇参考文献[SW0418]
  • HSL(以前是HWWELL子程序库)是…