精益TAP 44篇文献引用(1994–2022) 软件作者： 贝恩哈德·贝克特；约阿希姆·波塞加 相关软件： SETHEO公司；TPTP；萨奇莫… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-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）…
MSPASS（多通道） 23篇文献引用(2000–2021) 软件作者： Ullrich Hustadt，Renate A.Schmidt 相关软件： TPTP；吸血鬼；E定理证明… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
ModLeanTAP模式 19份文件引用(1998–2019) 软件作者： 贝恩哈德·贝克特；拉杰夫·戈雷 相关软件： 精益TAP；Coq；MSPASS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MetTeL公司 16篇文献引用（2011年至2021年） 软件作者： 蒂什科夫斯基，德米特里；雷娜特·施密特（Renate A.Schmidt）。；穆罕默德·科达达迪 相关软件： LoTREC；KL-ONE；Gen2sat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MleanCoP公司 14篇文献引用(2014–2023) 软件作者： 延斯·奥滕 相关软件： TPTP；QMLTP；E定理证明… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
CoLoSS公司 13份文件引用(2009–2020) 软件作者： G.Calin、R.Myers、D.Pattinson、L.Schröder 相关软件： FaCT++；颗粒；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
HTab公司 11份文件引用(2009–2020) 软件作者： 纪尧姆·霍夫曼；卡洛斯·阿雷塞斯 相关软件： 斯巴达克斯；HyLoTab；HGen；…（H）… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
质量管理长期计划 12份文件引用(2012–2022) 软件作者： 托马斯·拉斯（Thomas Raths）；延斯·奥滕 相关软件： TPTP；MleanCoP公司；MSPASS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
数据日志LITE 9份文件引用(2002–2019) 软件作者： 格奥尔格·戈特洛布；Erich Grädel；赫尔穆特·维思 相关软件： XPath；Ltur；ComputeTW… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
元游戏 9份文件引用(1991–2009) 软件作者： 马库斯·穆勒·奥尔姆（Markus Müller-Olm）、海森柳（Haiseung Yoo） 相关软件： 自旋蛋白；GDL；jETI公司 主要字段： 算子理论（47-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
InKreSAT公司 9份文件引用(2013–2022) 软件作者： 马克·卡明斯基（Mark Kaminski）；托比亚斯·特比 相关软件： 斯巴达克斯；BDDTab；FaCT++… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
嵌入模式 8份文件引用(2017–2023) 软件作者： Gleißner，托拜厄斯；亚历山大·斯蒂恩（Alexander Steen）；克里斯托夫·本兹穆勒 相关软件： MleanCoP公司；Nitpick公司；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
克里普克 8份文件引用(1980–2005) 软件作者： 迈克尔·A·麦克罗比。；Thistlewaite，Paul B。；罗伯特·梅耶（Robert K.Meyer）。 相关软件： TABLEAUX公司；GLEFatinf公司 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
HyLoRes公司 引用于7份文件(2002–2020) 软件作者： Areces，C。；J.Heguiabehere。 相关软件： 斯巴达克斯；HyLoTab；HTab… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
FML至HOL 5份文件引用(2013–2023) 软件作者： 克里斯托夫·本兹穆勒；托马斯·拉斯 相关软件： Nitpick公司；TPTP；沙达拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
机械化语义库 5份文件引用(2011–2015) 软件作者： Appel，A.W.，Dockins，R.，Hobor，A 相关软件： Coq；pthreads；布吉… 主要字段： 数学逻辑与基础（03-XX）；一般拓扑（54-XX）；计算机科学（68-XX）
MoSeL公司 5份文件引用(2018–2023) 软件作者： Robbert Krebbers；雅克·亨利·乔丹（Jacques-Henri Jourdan）；Ralf Jung；约瑟夫·塔萨罗蒂；Kaiser，Jan-Oliver；阿明·蒂曼尼；亚瑟·查古埃罗（Arthur Charguéraud）；德雷克·德雷尔 相关软件： Coq；蚱蜢；VeriFast… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
酷 引用于3份文件(2014–2018) 软件作者： 丹尼尔·戈林；德克·帕丁森；卢茨·施罗德；弗洛里安·维德曼；托尔斯滕·维曼 相关软件： LoTREC；精益K；E定理证明… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
认识逻辑 4份文件引用(2020–2021) 软件作者： 阿斯塔·哈尔克 相关软件： 存档正式证据；Isabelle/HOL；Agda… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
LWB公司 引用于3份文件(1996–2009) 软件作者： 拉杰夫·戈尔；沃尔夫冈·海恩勒；阿兰·豪尔丁 相关软件： MiniSat；吸血鬼；MSPASS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MNiBLoS（移动互联网操作系统） 引用于3份文件(2016–2023) 软件作者： 阿曼达·维达尔 相关软件： Fuzzydl；z3；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GQML公司 2份文件引用(2002–2007) 软件作者： 提昂，V。；塞里托，S。；玛尔塔·恰尔迪亚·梅耶 相关软件： TABLEAUX公司；吞咽；ModLeanTAP模式 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
KAD公司 2份文件引用（2019年至2022年） 软件作者： 维克多·B·F·戈麦斯、沃尔特·古特曼、彼得·霍夫纳、乔治·斯特鲁斯、特贾克·韦伯 相关软件： 存档正式证据；Bellerophon公司；变压器语义… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）