赛车手 53篇文献引用(2001–2022) 软件作者： Volker Haarslev、Kay Hidde、Ralf Möller、Michael Wessel 相关软件： FaCT++；颗粒；KL-ONE… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
萨塔拉克 67篇文献引用（2010年-2023年） 软件作者： 乍得·E·布朗；安德烈亚斯·提克（Andreas Teucke）；杰夫·萨克利夫（Geoff Sutcliffe）；弗兰克·泰伊；格特·斯莫尔卡；朱利安·巴克斯；克里斯·本兹米勒 相关软件： TPTP；Isabelle/HOL；LEO-II… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
KL-ONE公司 37篇文献引用(2001–2022) 软件作者： 弗兰茨·巴德；乌尔里克·萨特勒 相关软件： FaCT++；赛车手；颗粒… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
LoTREC公司 29篇文献引用(2001–2023) 软件作者： 奥利维尔·盖斯克特（Olivier Gasquet）；安德烈亚斯·赫齐格（Andreas Herzig）；多米尼克·朗金；穆罕默德·萨哈德 相关软件： PVS；SPASS；E定理证明… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；组合数学（05-XX）…
MaLeCoP公司 30篇文献引用(2011–2023) 软件作者： Josef Urban、JiříVyskočil、PetrŠtěpánek 相关软件： E定理证明器；马拉雷亚；Mizar… 主要字段： 数理逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）
泽农 21篇文献引用(2007–2022) 软件作者： 理查德·博尼肯（Richard Bonichon）；戴维·德拉哈耶（David Delahaye）；Damien Doligez 相关软件： Coq；TPTP；dedukti… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；计算机科学（68-XX）
FEMaLeCoP公司 23篇文献引用(2015–2023) 软件作者： 塞萨里·卡利西克；约瑟夫·乌尔班 相关软件： E定理证明器；MaLeCoP；精简CoP… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；几何（51-XX）…
太阳能 19份文件引用(1993–2022) 软件作者： Hidetomo Nabeshima、Koji Iwanuma、Katsumi Inoue、Oliver Ray 相关软件： E定理证明器；SPASS；SCIFF… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
斯巴达克斯 14篇文献引用（2010年至2021年） 软件作者： 丹尼尔·戈兹曼；马克·卡明斯基；格特·斯莫尔卡 相关软件： HTab；FaCT++；InKreSAT… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
E-KRHper公司 在11份文件中引用(2007–2021) 软件作者： 比约恩·佩尔泽；Christoph Wernhard公司 相关软件： E定理证明器；E-Darvin；萨奇莫… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
MAVEN公司 9份文件引用(2007–2013) 软件作者： 高盛，马克斯；埃米利亚·卡茨（Emilia Katz）；Shmuel Katz 相关软件： ProMoVer；CVPP；Aspectual Caml… 主要字段： 计算机科学（68-XX）
利维坦 6篇文献引用(2016–2021) 软件作者： 贝特罗（Matteo Bertello）；尼古拉·吉甘特（Nicola Gigante）；安吉洛·蒙塔纳里（Angelo Montanari）；马克·雷诺兹 相关软件： NuSMV；TRP++；阿尔塔… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Lotrec方案 4份文件引用(2011–2015) 软件作者： 弗朗索瓦·施瓦岑特鲁伯 相关软件： LoTREC公司；SCIFF；PVS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
TWB公司 引用于3份文件(2009–2019) 软件作者： 彼得罗·阿巴特；拉杰夫·戈雷 相关软件： LoTREC公司；MSPASS；SableCC… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
DRAGO公司 2份文件引用(2009–2014) 软件作者： L.Serafini和A.Tamilin 相关软件： 赛车手；FaCT++；颗粒… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
戈兰 2份文件引用(2022–2023) 软件作者： 朱莉·凯勒；Johann Rosain；戴维·德拉哈耶（David Delahaye）；西蒙·罗比拉德；布齐安·欣德·莉莉亚 相关软件： TPTP；存档正式证据；iProver… 主要字段： 计算机科学（68-XX）
GQML公司 2份文件引用(2002–2007) 软件作者： 提昂，V。；塞里托，S。；玛尔塔·恰尔迪亚·梅耶 相关软件： 表格；吞咽；ModLeanTAP模式 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
KEMS公司 2份文件引用(2009–2016) 软件作者： 阿道夫·内托；马塞洛·芬格 相关软件： MetTeL；Gen2sat；NESCOND… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
注册Stab 1份文件引用(2010) 软件作者： Vincent Aravantinos；卡费拉、里卡多；尼古拉斯·佩尔蒂埃 相关软件： TPTP；LOUI；VAMPIRE… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）