ProbLog（问题日志） 119篇文献引用(2007–2023) 软件作者： Joris Renkens；范登·布勒克（Van Den Broeck），盖伊（Guy）；齐格弗里德·尼杰森 相关软件： 棱镜；PITA；CP逻辑… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
VeriFast公司 75篇文献引用(2009–2023) 软件作者： 巴特·雅各布斯；Jan Smans；弗兰克·皮森 相关软件： 达夫尼；布吉；z3… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GASP公司 18篇文献引用(2008–2022) 软件作者： 亚历山德罗·达尔·帕鲁；阿戈斯蒂诺·多维尔；恩里科·蓬泰利；Gianfranco罗西 相关软件： 克林戈；格林戈；WASP… 主要字段： 计算机科学（68-XX）
iProver-Eq型 10篇文献引用(2010–2023) 软件作者： Korovin、Konstantin；克里斯托夫·斯特克塞尔 相关软件： iProver；TPTP；达尔文… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Lpopt公司 10篇文献引用(2017–2022) 软件作者： Manuel Bichler；迈克尔·莫拉克（Michael Morak）；斯特凡·沃尔特兰 相关软件： 克林戈；格林戈；格拉帕… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
出售 9份文件引用（2019年至2022年） 软件作者： Manuel Bichler、Michael Morak、Stefan Woltran 相关软件： 克林戈；htd；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
lp2正常 8份文件引用(2014–2023) 软件作者： 乔里·博曼森 相关软件： 克林戈；WASP；ASSAT… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
霍恩洛格 6篇文献引用(1987–1993) 软件作者： 让·盖利埃（Jean H.Gallier）。；斯坦·拉茨 相关软件： 勒图尔 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
IsaFoL公司 5份文件引用(2016–2018) 软件作者： Branchette，J.C.、Fleury，M.、Schlichtkrull，A.、Traytel，D。 相关软件： 存档正式证据；Isabelle/HOL；versat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TSAT公司++ 引用于3份文件(2005–2008) 软件作者： 亚历山德罗·阿曼多；克劳迪奥·卡斯泰里尼；恩里科·金奇利亚（Enrico Giunchiglia）；伊迪尼，马西莫；马可·马拉提亚 相关软件： CVC；SMT-LIB；箔条… 主要字段： 计算机科学（68-XX）
艾伦TAP 2份文件引用(2008–2021) 软件作者： 近，约瑟夫·P。；William E.伯德。；丹尼尔·弗里德曼（Daniel P.Friedman）。 相关软件： Freshml；精益TAP；卡伦… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DyNetiKAT公司 2份文件引用(2022) 软件作者： 乔治亚娜·卡尔泰斯；侯赛因·霍贾特；穆萨维、穆罕默德·雷扎；昆卡罐Tunç 相关软件： NetKAT；蟒蛇；莫德… 主要字段： 计算机科学（68-XX）
RailCNL公司 1份文件引用(2017) 软件作者： 比约纳尔·卢特伯格（Björnar Luteberget）、约翰·卡米莱里（John J.Camilleri）、克里斯蒂安·约翰森（Christian Johansen）、杰拉尔多·施奈德（Gerardo Schneider） 相关软件： 迷你卫星；dReal；z3… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
xASP（xASP） 1份文件引用(2022) 软件作者： 特里厄，莱利；Tran Cao Son；马塞洛·巴尔杜奇尼 相关软件： 中国科学院科学院；DiscASP；xclingo公司 主要字段： 计算机科学（68-XX）