X减少 引用于53份文件(2003–2020) 软件作者： Haruo Hosoya，Benjamin C.Pierce（本杰明·皮尔斯） 相关软件： CDuce；XPath；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
TiML公司 8份文件引用(2018–2022) 软件作者： Wang，P.，Wang，D.，Chlipala，A。 相关软件： TcT；z3；分离逻辑… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Z2sal公司 5份文件引用(2008–2012) 软件作者： J Derrick，S North，A J H Simons公司 相关软件： 自旋蛋白；Z；Z/EVES… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
蒙哥 引用于3份文件(2018–2020) 软件作者： 库扎帕斯、迪米特里奥斯；奥尔内拉Dardha；罗利·佩雷拉；西蒙·盖伊。 相关软件： session-ocaml；睫毛；z3（零3） 主要字段： 计算机科学（68-XX）
背包 1份文件引用（2014年） 软件作者： 斯科特·基尔帕特里克；德里克·德雷尔（Derek Dreyer）；西蒙·佩顿·琼斯；西蒙·马洛 相关软件： MixML；哈斯克尔 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）