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）…
测试程序集 78篇文献引用(1990–2022) 软件作者： Andrews，Peter B。；乍得·E·布朗。 相关软件： TPTP；ETPS；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数理逻辑与基础（03-XX）…
GHC公司 36篇文献引用(1986–2014) 软件作者： Kazunori上田 相关软件： PARLOG；基马；哈斯克尔… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
雅典娜 10篇文献引用(2004–2017) 软件作者： 康斯坦丁·阿库达斯 相关软件： 雅典娜；HE-E1GODF；卡斯特罗… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
凯姆 1份文件引用（2005年） 软件作者： Huang，X.、Kerber，M.、Kohlhase，M.，Melis，E.、Nesmith，D.、Richts，J.、Siekmann，J。 相关软件： 欧米茄；狮子座；MKRP公司 主要字段： 计算机科学（68-XX）