数据日志 282份文件引用(1978–2022) 软件作者： Ceri，S.、Gottlob，G.、Tanca，L 相关软件： 亚萨特；格林戈；Clingo… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
旋转（swrl） 32篇文献引用(2005–2022) 软件作者： Horrocks，I.、Patel Schneider，P.F.、Boley，H.、Tabet，S.、Grosof，B.、Dean，M。 相关软件： 颗粒；FaCT++；SPARQL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
图形日志 34份文件引用(1990–2022) 软件作者： 康森斯，M。；门德尔松 相关软件： XPath；SPARQL；洛雷尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；结合环与代数（16-XX）…
NP-SPEC公司 21篇文献引用(1999–2022) 软件作者： 马可·卡多利；乔瓦姆巴蒂斯塔·伊安尼；路易吉·帕洛波利；安德烈·谢尔夫（Andrea Schaerf）；多梅尼科·瓦西莱 相关软件： 平滑；ESRA；图形库… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
ASPARTIX公司 17篇文献引用(2011–2019) 软件作者： Uwe Egly；莎拉·爱丽丝·加格尔（Sarah Alice Gaggl）；斯特凡·沃尔特兰 相关软件： 邓金；MiniSat；CoQuiAAS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
MulVAL公司 8份文件引用(2010–2023) 软件作者： Ou，X.，Govindavajhala，S.，Appel，A.W。 相关软件： ADEPTS；分享；SPSS… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
数据日志LITE 9份文件引用(2002–2019) 软件作者： 乔治·戈特洛布（Georg Gottlob）；Erich Grädel；赫尔穆特·维思 相关软件： XPath；Ltur；计算TW… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
NP数据日志 6篇文献引用(2005–2016) 软件作者： 塞尔吉奥·格雷科；克里斯蒂安·莫里纳罗；伊琳娜·特鲁比通娜；埃斯特·赞帕诺 相关软件： 酸；XSB；数据日志… 主要字段： 计算机科学（68-XX）
代码任务 4份文件引用(2007–2013) 软件作者： 埃尔纳尔·哈吉耶夫；马修·韦巴埃（Mathieu Verbaere）；Oege De Moor公司 相关软件： 方面J；JHotDraw；XSB… 主要字段： 计算机科学（68-XX）
RDFox公司 5份文件引用(2020–2023) 软件作者： Nenov，Y.、Piro，R.、Motik，B.、Horrocks，I.、Wu，Z.、Banerjee，J。 相关软件： DBpedia；SPARQL；LUBM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
大数据日志 7份文件引用(2018–2022) 软件作者： 亚历山大·什卡普斯基（Alexander Shkapsky）；杨默翰；马泰奥·英特兰迪；宣丘；泰森·康迪；卡洛·扎尼奥洛 相关软件： 普雷格尔；Apache Spark；WebPIE… 主要字段： 计算机科学（68-XX）
数据日志MTL 6篇文献引用(2022–2023) 软件作者： Wałȩga，P.A。；Cuenca Grau，B。；卡明斯基，M。；科斯特列夫，E。 相关软件： LARS；克林戈；Graal… 主要字段： 计算机科学（68-XX）
千对数 6篇文献引用(2014–2022) 软件作者： 保罗·弗雷斯科尼；法布里齐奥·科斯塔；Luc De Raedt；库尔特·德·格雷夫 相关软件： ProbLog；PyTorch；Aleph… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
流浪汉 4份文件引用(2021–2022) 软件作者： Luigi Bellomarini、Georg Gottlob、Emanuel Sallinger 相关软件： 数据日志；RDFox；LUBM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
空标题 3份文件引用(2017–2022) 软件作者： Christopher R.Aberger、Susan Tu、Kunle Olukotun、Christopher Ré 相关软件： HyperBench；利格拉；图形X… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
逻辑Blox 3份文件引用(2016–2021) 软件作者： 托德·格林（Todd J.Green）；Molham Aref；格里戈里斯·卡沃纳拉基斯 相关软件： i工作台；HyperBench；空标题… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
帕戈达 4份文件引用(2015–2022) 软件作者： 周玉娇；格劳，伯纳多·昆卡；亚沃·内诺夫；马克·卡明斯基（Mark Kaminski）；伊恩·霍洛克斯 相关软件： 数据日志；Polyanna；CEX… 主要字段： 计算机科学（68-XX）
ERBlox公司 2份文件引用(2017–2019) 软件作者： 扎伊纳布巴赫马尼；利奥波德·贝托西；尼古拉斯·瓦西洛格鲁 相关软件： LogicBlox；逻辑QL；数据日志 主要字段： 计算机科学（68-XX）
数据娱乐 2份文件引用(2016–2022) 软件作者： 迈克尔·阿恩特泽尼乌斯（Michael Arntzenius）；尼拉坎坦·R·克里希纳斯瓦米。 相关软件： 汞；哈斯克尔；夏普… 主要字段： 计算机科学（68-XX）
图形生成 1份文件引用(2023) 软件作者： K.Xirogiannopoulos、V.Srinivas、A.Deshpande 相关软件： 奈亚德；利格拉；图形螺栓… 主要字段： 计算机科学（68-XX）
逻辑QL 2份文件引用（2016年至2017年） 软件作者： Terry Halpin，Spencer Rugaber，斯潘塞·鲁加伯 相关软件： 数据日志；DeepDive；风险投资… 主要字段： 计算机科学（68-XX）
RailCNL公司 1份文件引用(2017) 软件作者： 比约纳尔·卢特伯格（Björnar Luteberget）、约翰·卡米莱里（John J.Camilleri）、克里斯蒂安·约翰森（Christian Johansen）、杰拉尔多·施奈德（Gerardo Schneider） 相关软件： MiniSat；dReal；z3… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
蓄意破坏 2份文件引用(2021) 软件作者： Lexi Brent、Anton Jurisevic、Michael Kong、Eric Liu、Francois Gauthier、Vincent Gramoli、Ralph Holz、Bernhard Scholz 相关软件： GitHub；SmartCheck；eThor公司 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
叶达洛格 2份文件引用(2017–2022) 软件作者： Chin，B.、von Dincklage，D.、Ercegovac，V.、Hawkins，P.、Miller，M.S.、Och，F.J.、Olston，C.、Pereira，F。 相关软件： aspeed；LPaaS；GHC… 主要字段： 计算机科学（68-XX）
考拉 1份文件引用(2023) 软件作者： 博纳西纳（Bonacina）、玛丽亚·保拉（Maria Paola）；莎拉·温克勒 相关软件： 常春藤；常春藤；iProver… 主要字段： 计算机科学（68-XX）