水獭 326篇文献引用(1988–2023) 软件作者： 比尔·麦库恩；阿莫尔·蒙塔诺（Amor Montano）、何塞·阿尔弗雷多（Jose Alfredo）；米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
VAMPIRE公司 308份文件引用(1985–2023) 软件作者： 亚历山大·里亚扎诺夫；安德烈·沃伦科夫 相关软件： TPTP；E定理证明器；SPASS… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；几何（51-XX）…
E定理证明器 229篇文献引用(2001–2023) 软件作者： 斯蒂芬·舒尔茨 相关软件： VAMPIRE公司；TPTP；SPASS… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
SPASS公司 204篇文献引用(1996–2023) 软件作者： C Weidenbach、U Brahm、T Hillenbrand 相关软件： VAMPIRE公司；TPTP；E定理证明器… 主要字段： 数理逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）…
ETPS公司 162篇文献引用(1986–2022) 软件作者： 彼得·安德鲁斯（Peter Andrews）、马修·毕晓普（Matthew Bishop）、查德·布朗（Chad E.Brown）、苏尼尔·伊萨尔（Sunil Issar）、丹·内史密斯（Dan Nesmith）、弗兰克·普芬宁（Frank Pfenning）、习宏伟（Hongwei Xi） 相关软件： TPS；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
测试程序集 78篇文献引用(1990–2022) 软件作者： Andrews，Peter B。；乍得·E·布朗。 相关软件： TPTP；ETPS；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
梅蒂斯_ 58篇文献引用（1987年-2023年） 软件作者： Joe Leslie-Hurd；metis-users@gilith.com 相关软件： Isabelle/HOL；E定理证明器；TPTP… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
泽农 21篇文献引用(2007–2022) 软件作者： 理查德·博尼肯（Richard Bonichon）；戴维·德拉哈耶（David Delahaye）；Damien Doligez 相关软件： 辅酶q；TPTP；dedukti… 主要字段： 数理逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
E-Darvin公司 23篇文献引用(2006–2023) 软件作者： 彼得·鲍姆加特纳（Peter Baumgartner）；比约恩·佩尔泽；蒂内利、塞萨尔；亚历山大·富克斯（Alexander Fuchs）；汉斯·德尼维尔 相关软件： 达尔文；梅斯4；TPTP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
地板 17篇文献引用(1992–2023) 软件作者： 韦登巴赫（Christoph Weidenbach）；伯恩德·盖德；乔治·洛克 相关软件： SPASS；水獭；TPTP… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
E-KRHper公司 在11份文件中引用(2007–2021) 软件作者： 比约恩·佩尔泽；Christoph Wernhard公司 相关软件： E定理证明器；E-Darvin；萨奇莫… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
iProver-Eq型 10篇文献引用(2010–2023) 软件作者： Korovin、Konstantin；克里斯托夫·斯特克塞尔 相关软件： iProver；TPTP；达尔文… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
取消QL 10篇文献引用(2006–2018) 软件作者： 彼得·布内曼（Peter Buneman）、玛丽·费尔南德斯（Mary Fernandez）、丹·苏西乌（Dan Suciu） 相关软件： XPath；XQuery；减少… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
水瓶座 4份文件引用（1994年至2004年） 软件作者： 博纳西纳（Bonacina）、玛丽亚·保拉（Maria Paola）；Jieh乡 相关软件： 水獭；气象；帕塞农… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
西格玛KEE 4份文件引用(2009–2020) 软件作者： 亚当·皮斯（Adam Pease）；斯蒂芬·舒尔茨 相关软件： E定理证明器；VAMPIRE公司；SRASS… 主要字段： 计算机科学（68-XX）
摘要完整性 4份文件引用(2014–2018) 软件作者： 贾斯敏·克里斯蒂安·布兰切特；安德烈·波佩斯库；德米特里·特拉泰尔 相关软件： Isabelle/HOL；存档正式证据；FOL配件… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
RDL公司 4份文件引用(2001–2005) 软件作者： 亚历山德罗·阿曼多；卢卡·孔帕尼亚（Luca Compagna）；西尔维奥·兰伊斯 相关软件： NQTHM；ACL2；剑桥LCF… 主要字段： 计算机科学（68-XX）
达塔克 引用于3份文件(1998–2010) 软件作者： 劳伦·维格纳龙 相关软件： RSBR_；ElemStatLearn；里奥纳… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
FOL_哈里森 2份文件引用(2018) 软件作者： 亚历山大·伯奇·詹森（Alexander Birch Jensen）、安德斯·施利奇特克鲁尔（Anders Schlichtkrull）、约根·维拉德森（Jorgen Villadsen） 相关软件： 经验证的校准仪；存档正式证据；FOL配件… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
NuMDG公司 2份文件引用(2011–2012) 软件作者： 阿贝德，赛义德；亚辛·莫赫塔里；艾特·穆罕默德（Ait-Mohamed），奥特曼（Otmane）；索菲涅·塔哈尔 相关软件： Velev SAT基准；NuSMV公司 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
EufDPLL公司 1份文件引用(2008) 软件作者： 特维雷蒂纳，奥尔加；威格·威瑟林克 相关软件： ATERM；Barcelogic工具 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
考拉 1份文件引用(2023) 软件作者： 博纳西纳（Bonacina）、玛丽亚·保拉（Maria Paola）；莎拉·温克勒 相关软件： 常春藤；常春藤；iProver… 主要字段： 计算机科学（68-XX）