GHC公司 39篇文献引用(1986–2023) 软件作者： Kazunori上田 相关软件： PARLOG；SICStus公司；Kima… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-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）…
达尔文 28篇文献引用(2005–2023) 软件作者： Peter Baumgartner、Alexander Fuchs、Hans de Nivelle、Cesare Tinelli 相关软件： E-Darvin；TPTP；iProver… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
LPL软件 20篇文献引用(2000–2023) 软件作者： Dave Barker-Plummer、Jon Barwise、John Etchemendy；Albert Liu、Michael Murray、Emma Pease 相关软件： EPGY；减少；OTTER… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
合同专用条款 12份文件引用(2005–2022) 软件作者： 乔·亨德里克斯；Manuel Clavel；何塞·梅塞盖尔 相关软件： 莫德；ITP；咖啡OBJ… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
雅典娜 10篇文献引用(2004–2017) 软件作者： 康斯坦丁·阿库达斯 相关软件： 雅典娜；HE-E1GODF；卡斯特罗… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
欧米茄-ANTS 9份文件引用(2001–2008) 软件作者： 克里斯托夫·本兹穆勒；沃尔克·索尔格 相关软件： 欧米茄；LOUI；陷阱… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
完备性定理 8份文件引用(2014–2018) 软件作者： 詹姆斯·马格森；汤姆·里奇 相关软件： 存档正式证据；Isabelle/HOL；FOL配件… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TiML公司 8份文件引用(2018–2022) 软件作者： Wang，P.、Wang，D.、Chlipala，A。 相关软件： TcT；z3；分离逻辑… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
FOL配件 7份文件引用(2014–2023) 软件作者： 斯特凡·贝尔霍弗；安德烈亚斯·哈尔克 相关软件： 存档正式证据；Isabelle/HOL；完备性定理… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CTL-RP公司 5份文件引用(2010–2021) 软件作者： 张澜；乌尔里希·赫斯塔特；克莱尔·狄克逊 相关软件： SPASS；TRP++；TeMP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
MadMax公司 5份文件引用(2018–2022) 软件作者： 莎拉·温克勒；乔治·莫瑟 相关软件： TPTP；推特；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MFE公司 4份文件引用(2012–2023) 软件作者： 弗朗西斯科·杜兰；卡米洛·罗查；何塞·M·阿尔瓦雷斯。 相关软件： 莫德；ITP；P审计… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
普赛克 5份文件引用(2013–2020) 软件作者： 圣菲省格拉汉·伦格兰德 相关软件： 伊莎贝尔；直觉；ILTP… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
摘要完整性 4份文件引用(2014–2018) 软件作者： 贾斯敏·克里斯蒂安·布兰切特；安德烈·波佩斯库；德米特里·特拉泰尔 相关软件： Isabelle/HOL；存档正式证据；FOL配件… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
订购的解决方案探测车 4份文件引用(2001–2022) 软件作者： 安德斯·施利奇特克鲁尔（Anders Schlichtkrull）；贾斯敏·克里斯蒂安·布兰切特；德米特里·特拉泰尔（Dmitriy Traytel）；乌韦·沃尔德曼 相关软件： 阿凡达；VAMPIRE公司；区域设置… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
经验证的校准仪 引用于3份文件(2009–2018) 软件作者： 汤姆·里奇 相关软件： 存档正式证据；Isabelle/HOL；FOL_Harrison… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
tuCLEVER公司 2份文件引用(2022–2023) 软件作者： 玛丽安娜·吉兰多；莱尔曼，比约恩；尼古拉·奥利维蒂；佩西、斯特凡诺；吉安·卢卡（Gian Luca），披萨 相关软件： GitHub；月球；Metis_… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
凯洛伊 1份文件引用(2012) 软件作者： 马蒂亚斯·乌尔布里奇；乌尔里希·盖尔曼；艾尔·加齐（El Ghazi），阿布巴克·阿赫拉夫（Aboubakr Achraf）；马纳·塔赫迪里 相关软件： 雅典娜；JKelloy；KeY… 主要字段： 计算机科学（68-XX）
QuIt公司 1份文件引用(2018) 软件作者： 格雷斯，伯恩哈德；劳拉·科瓦奇（Laura Kovács）；西蒙·罗比拉德 相关软件： VAMPIRE公司；InvGen；CVC4… 主要字段： 计算机科学（68-XX）