水獭 326篇文献引用(1988–2023) 软件作者： 比尔·麦库恩；阿莫尔·蒙塔诺（Amor Montano）、何塞·阿尔弗雷多（Jose Alfredo）；米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 相关软件： TPTP；吸血鬼；SPASS… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
VAMPIRE公司 308份文件引用(1985–2023) 软件作者： 亚历山大·里亚扎诺夫；安德烈·沃伦科夫 相关软件： TPTP；E定理证明；SPASS… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；几何（51-XX）…
E定理证明器 229篇文献引用(2001–2023) 软件作者： 斯蒂芬·舒尔茨 相关软件： 吸血鬼；TPTP；SPASS… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
校准仪9 223篇文献引用(2006–2024) 软件作者： 威廉·麦库恩 相关软件： Mace4；水獭；E定理证明… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
SPASS公司 204篇文献引用(1996–2023) 软件作者： C Weidenbach、U Brahm、T Hillenbrand 相关软件： 吸血鬼；TPTP；E定理证明… 主要字段： 数理逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）…
重新记录 171篇文献引用(1997–2024) 软件作者： 安德烈亚斯·多尔兹曼（Andreas Dolzmann）；托马斯·斯图尔姆；沃尔克·魏斯芬宁 相关软件： QEPCAD；z3；枫树… 主要字段： 数理逻辑与基础（03-XX）；交换代数（13-XX）；计算机科学（68-XX）…
ETPS公司 162篇文献引用(1986–2022) 软件作者： 彼得·安德鲁斯（Peter Andrews）、马修·毕晓普（Matthew Bishop）、查德·布朗（Chad E.Brown）、苏尼尔·伊萨尔（Sunil Issar）、丹·内史密斯（Dan Nesmith）、弗兰克·普芬宁（Frank Pfenning 相关软件： TPS；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
大锤 165篇文献引用（2010年-2023年） 软件作者： Nik苏尔塔纳；布兰切特，贾斯敏·克里斯蒂安；劳伦斯·C·鲍尔森。 相关软件： Isabelle/HOL；伊莎贝尔；Coq… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
SETHEO公司 118篇文献引用(1990–2022) 软件作者： Letz，R。；舒曼，J。；拜耳，S。；比贝尔，W。 相关软件： TPTP；水獭；SPASS… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数值分析（65-XX）…
Nitpick公司 79份文件引用(1999–2023) 软件作者： 布兰切特，贾斯敏·克里斯蒂安；托比亚斯·尼普科 相关软件： Isabelle/HOL；大锤；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；组合数学（05-XX）…
测试程序集 78篇文献引用(1990–2022) 软件作者： Andrews，Peter B。；乍得·E·布朗。 相关软件： TPTP；ETPS；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
巴贝尔 72份文件引用(1988–2013) 软件作者： 马里奥·罗德里格斯-阿塔莱霍 相关软件： 内核LEAF；玩具；咖喱… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
iProver（iProver） 67篇文献引用(2008–2023) 软件作者： 康斯坦丁·科洛文 相关软件： TPTP；吸血鬼；SPASS… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
凯伊 55份文件引用(2000–2023) 软件作者： http://www.key-project.org/people.html 相关软件： JML；ESC/Java；卡拉卡拉… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数值分析（65-XX）…
凯伊迈拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数理逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
梅蒂斯_ 58篇文献引用（1987年-2023年） 软件作者： Joe Leslie-Hurd；metis-users@gilith.com 相关软件： Isabelle/HOL；E定理证明；TPTP… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
LEO-II型 52篇文献引用（2008年至2021年） 软件作者： Benzmüller，C.，Paulson，L.，Theiss，F.，Fietzke，A 相关软件： 沙达拉；TPTP；Isabelle/HOL… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
高阶逻辑 47篇文献引用(1993–2021) 软件作者： 陈卫东；迈克尔·基弗；大卫·S·沃伦 相关软件： Hiord；swrl；XSB… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
奥斯卡 45篇文献引用(1992–2023) 软件作者： 约翰·波洛克。 相关软件： AFRA；Velev SAT基准；ClaiMaker… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
常春藤 45篇文献引用(2000–2023) 软件作者： 威廉·麦库恩；奥尔加·舒姆斯基 相关软件： 常春藤；z3；TPTP… 主要字段： 数理逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）
精益TAP 44篇文献引用(1994–2022) 软件作者： 贝恩哈德·贝克特；约阿希姆·波塞加 相关软件： SETHEO公司；TPTP；萨奇莫… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
SQEMA公司 40篇文献引用(2005–2021) 软件作者： 威廉·康雷迪（Willem Conradie）；瓦伦丁·戈兰科 相关软件： Isabelle/HOL；认识逻辑；存档正式证据… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
查找器 39篇文献引用(1993–2020) 软件作者： 约翰·斯莱尼 相关软件： Mace4；萨奇莫；TPTP… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；有序，格，有序代数结构（06-XX）…
精益CoP 40篇文献引用(2001–2023) 软件作者： 延斯·奥顿 相关软件： 依兰CoP；TPTP；VAMPIRE… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
图形日志 34份文件引用(1990–2022) 软件作者： 康森斯，M。；门德尔松 相关软件： XPath；SPARQL；洛雷尔… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；结合环与代数（16-XX）…
箔 21篇文献引用(1991–2022) 软件作者： J.R.昆兰；R.M.卡梅隆-琼斯 相关软件： C4.5；GOLEM公司；UCI-ml… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；统计学（62-XX）…
质量管理清单 32篇文献引用(2007–2023) 软件作者： 托尔斯滕·阿滕柯奇；乔纳森·格拉塔奇 相关软件： QPL；奎珀；qGCL… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；几个复变量和分析空间（32-XX）…
伊朗CoP 32篇文献引用(2005–2022) 软件作者： 延斯·奥滕 相关软件： 精益CoP；TPTP；VAMPIRE… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
公主 30篇文献引用（2010年-2023年） 软件作者： Angelo Brillout、Daniel Kroening、Philipp Rümmer、Thomas Wahl 相关软件： FOCI；z3；Eldarica… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
超防（Hyperproof） 27篇文献引用(1994–2022) 软件作者： Jon Barwise、John Etchemendy 相关软件： Speedith；伊莎贝尔；嘟嘟博士… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
倾斜倾斜 29篇文献引用(2005–2021) 软件作者： 托马斯·拉思；延斯·奥顿 相关软件： TPTP；依兰CoP；Imogen… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
达尔文 28篇文献引用(2005–2023) 软件作者： Peter Baumgartner、Alexander Fuchs、Hans de Nivelle、Cesare Tinelli 相关软件： E-Darvin；TPTP；iProver… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CoqHammer公司 28篇文献引用(2017–2023) 软件作者： 库卡斯·扎伊卡；塞萨里·卡利西克 相关软件： Coq；E定理证明；VAMPIRE… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；代数几何（14-XX）…
MSPASS公司 23篇文献引用(2000–2021) 软件作者： Ullrich Hustadt，Renate A.Schmidt 相关软件： TPTP；吸血鬼；E定理证明… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
毒蛇 25篇文献引用(2016–2023) 软件作者： 彼得·穆勒（Peter Müller）、马尔特·施沃尔霍夫（Malte Schwerhoff）、亚历山大·萨默斯（Alexander J.Summers） 相关软件： VeriFast；达夫尼；z3… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数值分析（65-XX）…
泽农 21篇文献引用(2007–2022) 软件作者： 理查德·博尼肯（Richard Bonichon）；戴维·德拉哈耶（David Delahaye）；Damien Doligez 相关软件： Coq；TPTP；dedukti… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；计算机科学（68-XX）
E-Darvin公司 23篇文献引用(2006–2023) 软件作者： 彼得·鲍姆加特纳（Peter Baumgartner）；比约恩·佩尔泽；蒂内利、塞萨尔；亚历山大·福克斯；汉斯·德尼维尔 相关软件： 达尔文；Mace4；TPTP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
DCTP公司 21篇文献引用(2001–2017) 软件作者： Letz，R.，Stenz，G 相关软件： E定理证明；SPASS；VAMPIRE… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
太阳能 19份文件引用(1993–2022) 软件作者： Hidetomo Nabeshima、Koji Iwanuma、Katsumi Inoue、Oliver Ray 相关软件： E定理证明；SPASS；SCIFF… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
集成电路 19份文件引用（2001年至2016年） 软件作者： Jean-Christophe Filliátre；猫头鹰，山姆；哈拉尔德街；Natarajan Shankar 相关软件： CVC-Lite；CVC；箔条… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；场论与多项式（12-XX）…
MUltlog公司 20篇文献引用(1996–2023) 软件作者： 格诺·萨尔泽；维也纳多值逻辑小组 相关软件： github；JGXYZ；VAMPIRE… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
FORS公司 15篇文献引用(1997–2023) 软件作者： 卡拉利奇，阿拉姆；伊万·布拉特科 相关软件： UCI-ml；阿列夫；C4.5… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
ModLeanTAP模式 19份文件引用(1998–2019) 软件作者： 贝恩哈德·贝克特；拉杰夫·戈雷 相关软件： 精益TAP；Coq；MSPASS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
可控硅 10篇文献引用(2000–2018) 软件作者： 伊曼·布尔吉巴；贝莱德·莫阿 相关软件： 自旋蛋白；NuSMV；PVS… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
地板 17篇文献引用(1992–2023) 软件作者： 韦登巴赫（Christoph Weidenbach）；伯恩德·盖德；乔治·洛克 相关软件： SPASS；水獭；TPTP… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
FODD-计划 15篇文献引用(2008–2022) 软件作者： Joshi，S。；R.卡顿。 相关软件： FluCaP；图形平面图；高尔夫… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
HARP（HARP） 15篇文献引用(1990–2020) 软件作者： Opacher，F。；苏恩，E 相关软件： SETHEO公司；TPTP；3TAP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
AQCS（质量控制系统） 15篇文献引用(2000–2023) 软件作者： 南拉施恩 相关软件： QEPCAD；IbexOpt；数值… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；数值分析（65-XX）…
MleanCoP公司 16篇文献引用(2014–2023) 软件作者： 延斯·奥滕 相关软件： TPTP；QMLTP；E定理证明… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
蚱蜢 14篇文献引用(2015–2023) 软件作者： R.Piskac、T.Wies和D.Zufferey 相关软件： 达夫尼；VeriFast；毒蛇… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
HOL-Boogie公司 14篇文献引用(2008–2019) 软件作者： Böhme，萨沙；Leino，K.Rustan M。；沃尔夫，伯克哈特 相关软件： Isabelle/HOL；Why3；布吉… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
MEBN公司 在11份文件中引用(2008–2018) 软件作者： 凯瑟琳·布莱克蒙·拉斯基 相关软件： 博客；PR-OWL；IBAL… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；统计学（62-XX）…
蒙保利 14篇文献引用(2015–2024) 软件作者： D.Basin、M.Harvan、F.Klaedtke、E.Zalinescu 相关软件： LOLA；德贾武；天线… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
临时雇员 15篇文献引用(2004–2021) 软件作者： 乌尔里希·赫斯塔特；鲍里斯·科涅夫（Boris Konev）；亚历山大·里亚扎诺夫；安德烈·沃伦科夫 相关软件： 吸血鬼；TSPASS；TRP++… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
ArgoCLP公司 14篇文献引用(2011–2023) 软件作者： 萨那斯托亚诺维奇；巴甫洛维奇，韦斯纳；Janičić，普雷德拉格 相关软件： Coq；GCLC；TPTP… 主要字段： 数理逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）…
SMTCoq公司 14篇文献引用(2017–2022) 软件作者： Ekici，B.等人。 相关软件： Coq；Isabelle/HOL；CVC4… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；几何（51-XX）…
THF0 14篇文献引用(2008–2019) 软件作者： 克里斯托夫·本兹穆勒；弗洛里安·拉贝（Florian Rabe）；杰夫·萨特克利夫 相关软件： TPTP；E定理证明；Isabelle/HOL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
E-KRHper公司 在11份文件中引用(2007–2021) 软件作者： 比约恩·佩尔泽；Christoph Wernhard公司 相关软件： E定理证明；E-Darvin；萨奇莫… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
EQP公司 13份文件引用(1997–2022) 软件作者： 威廉·麦库恩 相关软件： 水獭；Waldmeister；SPASS… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
工厂 在11份文件中引用(2011–2020) 软件作者： 安德鲁·麦卡伦、卡尔·舒尔茨、萨米尔·辛格 相关软件： 教会；IBAL；ProbLog… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
PRocH公司 12份文件引用(2013–2018) 软件作者： Cezary Kaliszyk；约瑟夫·乌尔班 相关软件： HOL灯；Flyspeck；E定理证明… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
质量管理长期计划 12份文件引用(2012–2022) 软件作者： 托马斯·拉斯（Thomas Raths）；延斯·奥滕 相关软件： TPTP；MleanCoP；MSPASS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
浸透 在11份文件中引用(1996–2023) 软件作者： Harald Ganzinger、Robert Nieuwenhuis、Pilar Nivela 相关软件： 吸血鬼；SPASS；地板… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
萨帕托 在11份文件中引用(2004–2018) 软件作者： Ball，T.、Cook，B.、Lahiri，S.K.、Zhang，L。 相关软件： CVC-Lite；糠；E定理证明… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
雅典娜 10篇文献引用(2004–2017) 软件作者： 康斯坦丁·阿库达斯 相关软件： 雅典娜；HE-E1GODF；卡斯特罗… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
国内流离失所者3 9份文件引用(2015–2020) 软件作者： 莫里斯·布鲁诺；亨德里克·布洛克（Hendrik Blockeel）；博加特，巴特；De Cat，Broes；德普特（De Pooter，Stef）；约阿希姆·扬森；安东尼·拉巴雷；Ramon，Jan；马克·德内克（Marc Denecker）；四川省韦尔市 相关软件： 卡环；WASP；DLV… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
iProver设备 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）
DLog（数据日志） 8份文件引用(2008–2020) 软件作者： 格格利·卢卡西（Gergely Lukácsy）；佩特尔·塞雷迪 相关软件： 精益TAP；颗粒；接通DLV… 主要字段： 计算机科学（68-XX）
RelNN公司 9份文件引用(2020–2023) 软件作者： 塞耶德·梅赫兰·卡泽米（Seyed Mehran Kazemi）、大卫·普尔（David Poole） 相关软件： ProbLog；亚当；DeepProbLog… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
特克顿 5份文件引用(1994–2003) 软件作者： 卡普尔，D。；聂，X。；D.R.穆瑟。 相关软件： RRL；NQTHM；确认… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
TensorLog公司 9份文件引用(2018–2023) 软件作者： 威廉·科恩；杨，范；凯瑟琳·里瓦德·马扎蒂斯 相关软件： 深度探测日志；ProbLog；亚当… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；概率论与随机过程（60-XX）…
合金* 7份文件引用(2017–2023) 软件作者： Milicevic，A.，Near，J.P.，Kang，E.，Jackson，D。 相关软件： z3；波尔多；GitHub… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；组合数学（05-XX）…
完备性定理 8份文件引用(2014–2018) 软件作者： 詹姆斯·马格森；汤姆·里奇 相关软件： 存档正式证据；Isabelle/HOL；FOL配件… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
德贾武 8份文件引用(2018–2022) 软件作者： Havelund，K。；Peled博士。；D.乌卢斯。 相关软件： LOLA；蒙保利；Java-MOP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
Java+ITP 7份文件引用(2007–2013) 软件作者： Sasse，R.，Meseguer，J。 相关软件： 莫德；爪哇风扇；K校准仪… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
LIRA公司 7份文件引用（2008年至2021年） 软件作者： Becker，B.、Dax，C.、Eisinger，J.、Klaedtke，F。 相关软件： 睫毛；cvc3；TaPAS… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；计算机科学（68-XX）
马特朗 8份文件引用(2018–2022) 软件作者： 弗洛里斯·吉尔茨 相关软件： LaraDB；APL；xarray… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
FOL配件 7份文件引用(2014–2023) 软件作者： 斯特凡·贝尔霍弗；安德烈亚斯·哈尔克 相关软件： 存档正式证据；Isabelle/HOL；完备性定理… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
MGTP公司 6篇文献引用(1995–2013) 软件作者： 长谷川龙子；藤田宏；宫崎骏小村；Shirai、Yasuyuki 相关软件： 萨奇莫；TPTP；MiniSat… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
SyncGen（同步发电机） 7份文件引用(2004–2016) 软件作者： 邓向华；马修·德怀尔（Matthew B.Dwyer）。；约翰·哈特克利夫；Masaaki Mizuno 相关软件： 班德拉；ESC/Java；PVS… 主要字段： 计算机科学（68-XX）
塔克 7份文件引用(2007–2012) 软件作者： 大卫·巴尔德（David Baelde）；戴尔·米勒；斯诺，扎卡里 相关软件： 阿贝拉；贝德维尔；Twelf… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
水瓶座 4份文件引用(1994–2004) 软件作者： 博纳西纳（Bonacina）、玛丽亚·保拉（Maria Paola）；Jieh乡 相关软件： 水獭；气象；帕塞农… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
ASPeRiX公司 4份文件引用(2009–2016) 软件作者： 克莱尔·莱夫维尔（Claire Lefèvre）、帕斯卡尔·尼古拉斯（Pascal Nicolas）、圣埃芬·恩戈马（Stéphane Ngoma） 相关软件： 亚萨特；格林戈；天哪… 主要字段： 计算机科学（68-XX）
霍恩洛格 6篇文献引用(1987–1993) 软件作者： 让·盖利埃（Jean H.Gallier）。；斯坦·拉茨 相关软件： 勒图尔 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
ModGen公司 6篇文献引用(1996–2019) 软件作者： Kim S.、Zhang H。 相关软件： Mace4；猎鹰；萨奇莫… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
摇滚乐 6篇文献引用（2015年至2022年） 软件作者： 简·诺斯纳（Jan Noessner）；马蒂亚斯·尼珀特；海纳·斯塔肯施密特（Heiner Stuckenschmidt） 相关软件： 塔菲；ProbLog；炼金术… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
国歌 4份文件引用(2019–2020) 软件作者： Lifschitz，V.、Lühne，P.、Schaub，T。 相关软件： 格林戈；TPTP；VAMPIRE… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）