MPTP 0.2 55份文件引用(2006–2021) 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；VAMPIRE公司；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
LogiMOO公司 8份文件引用(1997–2012) 软件作者： 保罗·塔劳（Paul Tarau）；De Bosschere，科恩；达尔，维罗妮卡；斯蒂芬·罗什福特 相关软件： 奥兹；SICStus公司；序言… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）