自动变电站 8份文件引用(2015–2024) 软件作者： S.Schäfer、T.Tebbi、G.Smolka 相关软件： Coq；github；流行标记… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
FOOL（足球） 4份文件引用(2015–2021) 软件作者： 科特利尼科夫（Kotelnikov），叶夫根尼（Evgenii）；劳拉·科夫亚茨（Laura Kov'acs）；安德烈·沃伦科夫 相关软件： TPTP；大锤；SMT-LIB… 主要字段： 计算机科学（68-XX）
林肯 3份文件引用(2017–2022) 软件作者： 艾娜·林·乔治斯（Aina Linn Georges）；阿加塔·穆拉夫斯卡；奥蒂斯、肖恩；碧姬·品特卡 相关软件： 白鲸；TALx86；洛利… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）