赛车手 53篇文献引用(2001–2022) 软件作者： Volker Haarslev、Kay Hidde、Ralf Möller、Michael Wessel 相关软件： FaCT++；颗粒；KL-ONE… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
E-KRHper公司 在11份文件中引用(2007–2021) 软件作者： 比约恩·佩尔泽；Christoph Wernhard公司 相关软件： E定理证明器；E-Darvin；萨奇莫… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
MGTP公司 6篇文献引用（1995年至2013年） 软件作者： 长谷川龙子；藤田，广岛；宫崎骏小村；Shirai、Yasuyuki 相关软件： 萨奇莫；TPTP；MiniSat… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
霍恩洛格 6篇文献引用(1987–1993) 软件作者： 让·盖利埃（Jean H.Gallier）。；斯坦·拉茨 相关软件： 勒图尔 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
芦笋 3份文件引用(2005–2012) 软件作者： 基督教愤怒；托尔斯滕·绍布（Torsten Schaub）；米罗斯瓦·特鲁兹琴斯基 相关软件： 亚萨特；TPTP；Runsolver… 主要字段： 计算机科学（68-XX）
MWeb公司 3份文件引用(2011–2015) 软件作者： 分析，Anastasia；格里戈里斯·安东尼奥；卡洛斯·维加斯·达马西奥 相关软件： 平滑；SPARQL；三重… 主要字段： 计算机科学（68-XX）