莫德 646份文件引用(1984–2023) 软件作者： Clavel，M。；杜兰，F。；艾克，S。；林肯，P。；新墨西哥州马丁·奥列特。；莫德团队 相关软件： OBJ咖啡馆；OBJ3；ELAN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
水獭 326篇文献引用(1988–2023) 软件作者： 比尔·麦库恩；阿莫尔·蒙塔诺，何塞·阿尔弗雷多；米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
校准仪9 223篇文献引用(2006–2024) 软件作者： 威廉·麦库恩 相关软件： 梅斯4；水獭；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
OBJ3型 140篇文献引用(1989–2023) 软件作者： J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud；（基尼里） 相关软件： 莫德；OBJ咖啡馆；CASL… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）…
RRL公司 59篇文献引用(1985–2023) 软件作者： D.卡普尔；H.张 相关软件： 版次：；水獭；NQTHM… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；非结合环与代数（17-XX）…
香车叶草 50篇文献引用(1999–2022) 软件作者： 托马斯·希伦布兰德；伯恩德·洛什内尔 相关软件： VAMPIRE公司；TPTP；E定理证明器… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
日本运通银行 25篇文献引用（2002年至2022年） 软件作者： 克劳斯·哈维隆德；格里高·罗什乌 相关软件： Java路径查找器；莫德；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ITP公司 31份文件引用(2005–2023) 软件作者： Clavel，M。；帕洛米诺，M。；A.里斯科。 相关软件： 莫德；SCC；咖啡OBJ… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
E-Darvin公司 23篇文献引用(2006–2023) 软件作者： 彼得·鲍姆加特纳（Peter Baumgartner）；比约恩·佩尔泽；蒂内利、塞萨尔；亚历山大·富克斯（Alexander Fuchs）；汉斯·德尼维尔 相关软件： 达尔文；梅斯4；TPTP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
D装货商 12份文件引用(2009–2023) 软件作者： 阿德里安·里斯科；阿尔贝托·维尔德乔（Alberto Verdejo）；马丁·奥列特，纳西索；拉斐尔·卡巴列罗 相关软件： 莫德；阿尼玛；Web-TLR… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
EQP公司 13份文件引用(1997–2022) 软件作者： 威廉·麦库恩 相关软件： 水獭；Waldmeister；SPASS… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
更窄的 在11份文件中引用(1985–1995) 软件作者： 皮埃尔·雷蒂（Pierre Rety）；克洛德·基什内尔；赫莱内·基什内尔；皮埃尔·莱斯坎 相关软件： PARLOG；版次：；内核-叶… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；一般代数系统（08-XX）…
iProver设备 10篇文献引用(2010–2023) 软件作者： Korovin、Konstantin；克里斯托夫·斯特克塞尔 相关软件： iProver；TPTP；达尔文… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Java+ITP 7份文件引用(2007–2013) 软件作者： Sasse，R.，Meseguer，J。 相关软件： 莫德；爪哇风扇；K校准仪… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Twee（推特） 6篇文献引用(2018–2022) 软件作者： 北斯莫尔博内。 相关软件： Waldmeister；E定理证明器；TPTP… 主要字段： 数学逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）
库莫 5份文件引用(1999–2004) 软件作者： 约瑟夫·戈根（Joseph Goguen）、凯·林（Kai Lin）、格里戈·罗苏（Grigore Rosu）、博格丹·瓦林斯基（Bogdan Warinschi） 相关软件： OBJ咖啡馆；团结；OBJ3型 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
UTP2型 5份文件引用（2010年至2019年） 软件作者： 安德鲁·布特菲尔德 相关软件： Saoithin；Isabelle/HOL；Isabelle/UTP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
KBCV公司 3份文件引用(2011–2015) 软件作者： 托马斯·斯特纳格尔（Thomas Sternagel）；哈拉尔德·赞克 相关软件： mkbTT；CeTA；斯洛思罗普… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
BMaude公司 2份文件引用(2002–2004) 软件作者： 何塞·梅塞盖尔；格里高·罗什乌 相关软件： 莫德；OBJ咖啡馆；OBJ3型 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DyNetiKAT公司 2份文件引用(2022) 软件作者： 乔治亚娜·卡尔泰斯；侯赛因·霍贾特；穆萨维、穆罕默德·雷扎；昆卡罐Tunç 相关软件： NetKAT；蟒蛇；莫德… 主要字段： 计算机科学（68-XX）
GLE抑制素 2份文件引用(1994–1998) 软件作者： R.Caferra；M.赫敏特 相关软件： TABLEAUX公司；克里普克；数字（amp；N）… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
林肯 2份文件引用(2017–2021) 软件作者： 艾娜·林·乔治斯（Aina Linn Georges）；阿加塔·穆拉夫斯卡；奥蒂斯、肖恩；碧姬·品特卡 相关软件： GitHub；阿格达；丁香… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）