序言 58篇文献引用(1984–2022) 软件作者： 丹尼尔·迪亚兹 相关软件： SICStus公司；SWI-预测；芯片… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
CiaoPP公司 51篇文献引用(1999–2022) 软件作者： Hermenegildo M.V.、Bueno F.、Puebla G.、Lopez P。 相关软件： Ciao；SICStus公司；汞… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PAKCS公司 25篇文献引用(1994–2020) 软件作者： M.Hanus、S.Antoy、B.Braßel、M.Engelke、K.Höppner、J.Koj、P.Niederau、R.Sadre、F.Steiner 相关软件： 玩具；咖喱；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
NP-SPEC公司 21篇文献引用(1999–2022) 软件作者： 马可·卡多利；乔瓦姆巴蒂斯塔·伊安尼；路易吉·帕洛波利；安德烈·谢尔夫（Andrea Schaerf）；多梅尼科·瓦西莱 相关软件： 平滑；ESRA；图形库… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
MleanCoP公司 15篇文献引用(2014–2022) 软件作者： 延斯·奥滕 相关软件： TPTP；QMLTP；E定理证明器… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
DLog（数据日志） 8份文件引用(2008–2020) 软件作者： 格格利·卢卡西（Gergely Lukácsy）；佩特尔·塞雷迪 相关软件： 精益TAP；颗粒；接通DLV… 主要字段： 计算机科学（68-XX）
代码任务 4份文件引用(2007–2013) 软件作者： 埃尔纳尔·哈吉耶夫；马修·韦巴埃（Mathieu Verbaere）；Oege De Moor公司 相关软件： 方面J；JHotDraw；XSB… 主要字段： 计算机科学（68-XX）
繁荣 7份文件引用(2007–2010) 软件作者： 利文特·洪亚迪 相关软件： 繁荣；HOL灯；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；计算机科学（68-XX）…
猫 7份文件引用(1999–2019) 软件作者： Bart Demoen；康斯坦蒂诺斯·萨戈纳斯 相关软件： XSB；YAP-Prolog；YapTab… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
千ProbLog 5份文件引用(2016–2021) 软件作者： 弗朗西斯科·奥西尼；保罗·弗雷斯科尼；吕克·德·雷德 相关软件： 探测日志；戴纳；博客… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
PROLEG公司 4份文件引用(2012–2021) 软件作者： Satoh，K.、Asai，K.、Kogawa，T.、Kubota，M.、Nakamura，M.、Nishigai，Y.、Shirakawa，K.、Takano，C。 相关软件： SCIFF；Potassco；天基信息平台 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
tptp2X型 3份文件引用(1998–2006) 软件作者： Geoff Sutcliffe；克里斯蒂安·萨特纳 相关软件： 人力资源；数学网；梅斯4… 主要字段： 数论（11-XX）；计算机科学（68-XX）
SWISH数据实验室 4份文件引用(2019–2022) 软件作者： Bogaard，T.、Wielemaker，J.、Hollink，L.、Van Ossenbruggen，J。 相关软件： 克林戈；WASP；ProbLog… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
真实的 2份文件引用(2016–2019) 软件作者： 尼科斯·安杰洛普洛斯；萨默·阿卜杜拉；乔治·贾马斯 相关软件： 字符串；原苏铁岩；SWI-预测… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
VeriFly公司 2份文件引用(2021–2022) 软件作者： Sanchez-Ordaz，Miguel A。；伊莎贝尔·加西亚·孔特雷拉斯（Isabel Garcia-Contreras）；维克托·佩雷斯（Victor Perez）；JoséF.Morales。；洛佩斯·加西亚，佩德罗；曼努埃尔五世（Manuel V.Hermenegildo）。 相关软件： 汞；CiaoPP；再见… 主要字段： 计算机科学（68-XX）
PIDoc公司 1份文件引用(2019) 软件作者： Jan Wielemaker，Anjo Anjewierden 相关软件： 探测日志；SWISH数据实验室；麦金太尔… 主要字段： 计算机科学（68-XX）