佩斯卡 198篇文献引用(2001–2023) 软件作者： 阿内·兰塔 相关软件： MiniML；辅酶q；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；几何（51-XX）…
OBJ咖啡馆 167篇文献引用(1997–2023) 软件作者： 森喜朗（Akira Mori）；高基町五指 相关软件： 莫德；OBJ3；CASL… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；代数几何（14-XX）…
高阶逻辑 47篇文献引用(1993–2021) 软件作者： 陈卫东；迈克尔·基弗；大卫·S·沃伦 相关软件： Hiord；swrl；XSB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
奥斯卡 45篇文献引用(1992–2023) 软件作者： 约翰·波洛克。 相关软件： AFRA；Velev SAT基准；ClaiMaker… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Ltur公司 40篇文献引用(1988–2022) 软件作者： 米努克斯，M。 相关软件： HgMUS；数据日志；JBool… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
ArgoCLP公司 14篇文献引用(2011–2023) 软件作者： 萨那斯托亚诺维奇；巴甫洛维奇，韦斯纳；贾尼契奇，普雷德拉格 相关软件： 辅酶q；GCLC；TPTP… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）…
E-KRHper公司 在11份文件中引用(2007–2021) 软件作者： 比约恩·佩尔泽；Christoph Wernhard公司 相关软件： E定理证明器；E-Darvin；萨奇莫… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
壁画 10篇文献引用(1991–2014) 软件作者： C.B.琼斯。；K.D.琼斯。；Lindsay，P.A。；R.D.摩尔。 相关软件： RAISE（提升）；落叶松；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
RALL公司 9份文件引用(1997–2014) 软件作者： 大卫·冯·奥海姆，托马斯·格里茨纳 相关软件： 拉尔夫；Isabelle/HOL；ARA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
续集 4份文件引用(1980–2018) 软件作者： 张伯林，D.D.，博伊斯，R.F。 相关软件： iSPARQL；GitHub；EvoOnt… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
UTP2型 5份文件引用（2010年至2019年） 软件作者： 安德鲁·布特菲尔德 相关软件： Saoithin；Isabelle/HOL；Isabelle/UTP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
差异_游戏_逻辑 3份文件引用(2015–2022) 软件作者： 安德烈·普拉泽 相关软件： 凯伊迈拉；贝勒红；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）