SETHEO公司 118篇文献引用(1990–2022) 软件作者： Letz，R。；舒曼，J。；拜耳，S。；比贝尔，W。 相关软件： TPTP；水獭；SPASS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
香车叶草 50篇文献引用(1999–2022) 软件作者： 托马斯·希伦布兰德；伯恩德·洛什内尔 相关软件： VAMPIRE公司；TPTP；E定理证明… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
精益TAP 引用于44份文件(1994–2022) 软件作者： 贝恩哈德·贝克特；约阿希姆·波塞加 相关软件： SETHEO公司；TPTP；萨奇莫… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
竖琴 15篇文献引用(1990–2020) 软件作者： Oppacher，F.（奥帕彻，F.）。；苏恩，E 相关软件： SETHEO公司；TPTP；3图… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
iProver-Eq型 10篇文献引用(2010–2023) 软件作者： Korovin、Konstantin；克里斯托夫·斯特克塞尔 相关软件： iProver；TPTP；达尔文… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
萨彻姆ID 6篇文献引用(1995–2004) 软件作者： 唐纳德·洛夫兰（Donald W.Loveland）。；阿德南·H·叶海亚。 相关软件： 萨奇莫；DWAM；DCTP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
R-SATCHMO公司 2份文件引用(2004–2005) 软件作者： 何立峰；赵玉燕；伊藤秀内里 相关软件： SATCHMOREBID；I-SATCHMO；萨奇莫… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
艾伦TAP 2份文件引用(2008–2021) 软件作者： 近，约瑟夫·P。；William E.伯德。；丹尼尔·弗里德曼（Daniel P.Friedman）。 相关软件： Freshml；leanTAP；卡伦… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
考拉 1份文件引用(2023) 软件作者： 博纳西纳（Bonacina）、玛丽亚·保拉（Maria Paola）；莎拉·温克勒 相关软件： 常春藤；常春藤；iProver… 主要字段： 计算机科学（68-XX）