MleanCoP公司 15篇文献引用(2014–2022) 软件作者： 延斯·奥滕 相关软件： TPTP；QMLTP；E定理证明器… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
质量管理长期计划 12份文件引用(2012–2022) 软件作者： 托马斯·拉斯（Thomas Raths）；延斯·奥滕 相关软件： TPTP；MleanCoP；MSPASS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
FML至HOL 4份文件引用（2013-2021） 软件作者： 克里斯托夫·本兹穆勒；托马斯·拉斯 相关软件： 尼特皮克；TPTP；Satallax… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
月亮 5份文件引用（2020年-2023年） 软件作者： Marianna Girlando；卢茨斯特拉汉堡 相关软件： github；NESCOND；TABLEAUX… 主要字段： 计算机科学（68-XX）
认识逻辑 4份文件引用(2020–2021) 软件作者： 阿斯塔·哈尔克 相关软件： 存档正式证据；Isabelle/HOL；Agda… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）