• 水獭

  • 在316篇文章中引用[sw02904]
  • 设计用来证明第一-秩序逻辑与平等。水獭推理规则。。。它包括学期 重写,学期 订购,Knuth Bendix完成,加权。。。
  • 吸血鬼

  • 引用241篇文章[sw02918]
  • 自动定理证明器第一-秩序经典逻辑。它由一个外壳组成。。。删除(可选模交换性)、包含解析,重写通过命令单位均分,和一个轻量级的基础。。。版本使用Knuth Bendix订购词典编纂路径订购最近已经实施。。。shell完全接受一个问题第一-秩序逻辑语法,将其从句化并执行。。。
  • 斋川

  • 引用9篇文章[sw10102]
  • 全自动汇流工具第一-秩序 学期 重写系统。最新版本基于。。。
  • 条件汇流

  • 参考第8条[sw13315]
  • 全自动汇流检查器第一-秩序有条件的学期 重写系统。该工具实现各种。。。
  • 选择器

  • 引用的第28条[sw00085]
  • 公式,表示为第一-秩序理论。我们展示了架构并选择了。。。向量和数组。它使用学期 重写,处理位向量的钻头爆破和引理。。。
  • 康康

  • 引用3篇文章[sw21589]
  • 面向对象的自动汇流检查器第一-秩序有条件的学期 重写系统(CTRS)。上面写着。。。
  • 术语重写

  • 1条引用[sw25893]
  • 展示Haskell图书馆第一-秩序 学期 重写基本操作岗位,条款...
  • 伊索

  • 引用5篇文章[sw10106]
  • 第一-秩序(Isabelle/HOL)的子集,将它们编码为学期 重写系统和调用。。。
  • 小流氓

  • 引用2篇文章[sw13590]
  • 叫做微流氓。小流氓重写 条款使用全局集合第一-秩序规则。规则。。。
  • Java+ITP

  • 参考第8条[sw32259]
  • 三元组被翻译成语义上等价的第一-秩序随后发送的验证条件(VCs)。。。长-学期这个项目的目标是使用可扩展的和模块化的重写逻辑语义学。。。
  • ArchSAT公司

  • 引用2篇文章[sw32252]
  • 解决第一-秩序问题。Archsat整合了画面理论、叠加和重写进入McSat核心。。。未解释的函数和谓词,以及重写另外,只要找到证据。。。校样格式:考证脚本,考证学期,dedukti证明学期...
  • 堡垒

  • 1条引用[sw28637]
  • 可在第一-秩序理论重写在这篇文章中我们报道。。。重写系统,以及处理非地面的扩展条款对于属性。。。
  • 数据中心

  • 引用3篇文章[sw26325]
  • 自动扣除第一-秩序逻辑与平等。它的特点是应用演绎模。。。基于分辨率、参数调节和学期 重写,在[RV95]中被证明是完全的。。。
  • ACL2

  • 引用283篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 数学软件

  • 参考6235篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • 超小卫星

  • 引用558篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。