Qu-Prolog公司 12份文件引用（1992-2006） 软件作者： 基思·克拉克；彼得·罗宾逊（Peter J.Robinson）。；理查德·黑根 相关软件： Ergo 6；KQML；莱拉… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
Jinja线程 9份文件引用(2009–2020) 软件作者： A.洛赫比勒。 相关软件： Isabelle/HOL；存档正式证据；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；凸和离散几何（52-XX）…
j预测器 5份文件引用(2007–2018) 软件作者： Feng Chen、Traian Florin Serbanuta、Grigore Rošu 相关软件： AVIO；QuickLex；快速通道… 主要字段： 计算机科学（68-XX）