水獭 326篇文献引用(1988–2023) 软件作者： 比尔·麦库恩；阿莫尔·蒙塔诺（Amor Montano）、何塞·阿尔弗雷多（Jose Alfredo）；Miranda Perea、Favio Ezequiel 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
校准仪9 223篇文献引用（2006年至2024年） 软件作者： 威廉·麦库恩 相关软件： 梅斯4；水獭；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
防手表 4份文件引用(2018–2021) 软件作者： 戈泽尔，查拉图斯特拉；Jakubův，Jan；斯蒂芬·舒尔茨（Stephan Schulz）；约瑟夫·乌尔班 相关软件： E定理证明器；BliStrTune公司；谜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
XPlain公司 1份文件引用(2019) 软件作者： jj-araujo；何塞·杜阿尔特；迈克尔·基扬 相关软件： ProverX；Waldmeister；梅斯4… 主要字段： 群论和推广（20-XX）