• 荷兰语

• 在502篇文章中引用[sw05492]
• 实现组合的平台演绎、执行和属性检查。。。

• 水獭

• 引用313篇文章[sw02904]
• 当前自动演绎系统水獭是用来证明一阶逻辑中的定理。。。第四代阿贡国家实验室演绎它的祖先（可以追溯到20世纪60年代早期）包括。。。

• Z

• 引用278篇文章[sw10291]
• 除了自然的演绎微积分，见下文——仅介绍。。。对自然的广泛而乏味的阐述演绎微积分，这不是进一步使用。。。

• 数据日志

• 引用282篇文章[sw20023]
• 常用作查询语言演绎的数据库。近年来，数据日志发现。。。

• ETPS公司

• 在153篇文章中引用[sw06302号]
• 各种学科的理论，演绎的这些学科的信息系统，专家系统。。。扩展证明，将这些转换为自然演绎证明，构造自然演绎校对，翻译自然演绎... 构建自然环境的TPS交互设施演绎证据被用在。。。

• 特维尔

• 在169篇文章中引用[sw06888号]
• 指定、实现和证明演绎的程序设计语言和逻辑等系统。大。。。

• 伊兰

• 参考文献108篇[sw02179]
• 提供一个用于指定和原型化的环境演绎基于规则的语言系统。。。在逻辑框架中演绎系统可以表达和组合。。。

• XSB公司

• 引用138篇文章[sw13877]
• 逻辑编程和演绎的用于Unix和Windows的数据库系统。XSB序言。它是。。。

• 原因3

• 引用128篇文章[sw04438]
• 为什么3是一个平台演绎的程序验证。它为规范提供了丰富的语言。。。

• 测试程序集

• 引用71篇文章[sw00973]
• 各种学科的理论，演绎的这些学科的信息系统，专家系统。。。扩展证明，将这些转换为自然演绎证明，构造自然演绎校对，翻译自然演绎...

• 乐高

• 引用107篇文章[sw09685]
• 自然环境中的交互式证据开发演绎风格。它支持精化证明作为基本。。。

• 保护神

• 参考58篇文章[sw17512]
• 定义本体的接口。它还包括演绎的用于验证模型一致性的分类器。。。

• 小鬼

• 引用了50篇文章[sw09143]
• 帮助人类控制演绎的过程和人类对结果的理解。。。

• 高阶逻辑

• 引用47篇文章[sw01580]
• 高阶和模块化逻辑程序设计，以及演绎的数据库。。。

• 2.0兆帕

• 引用44篇文章[sw02589]
• 即使是一个简单的归纳或演绎的接受正规数学训练的系统。。。

• 马拉雷亚

• 引用了43篇文章[sw10278]
• 推理）是一个简单的元系统迭代组合演绎的自动推理工具。。。

• 精灵

• 引用了43篇文章[sw21361]
• 关于计算和演绎，尚未公开。在那里。。。

• 凯玛拉

• 在39篇文章中引用[sw03709]
• 混合动力系统的验证工具演绎的实代数和计算机代数证明技术。。。

• 台阶

• 引用36篇[sw17948]
• 状态系统，但将模型检查与演绎的允许验证的方法。。。

• GEX公司

• 参考33篇文章[sw09961]
• 过去二十年，包括演绎的基法、吴氏法、面积法。。。