三倍的 16篇文献引用(2002–2015) 软件作者： Michael Sintek；斯特凡·戴克 相关软件： SPARQL；平滑；XSB… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；天文学和天体物理学（85-XX）…
FPROLOG公司 13份文件引用(1985–2023) 软件作者： T.P.马丁。；鲍德温，J.F。；B.W.皮尔斯沃思。 相关软件： FRIL；Ciao；BousiProlog… 主要字段： 数学逻辑与基础（03-XX）；群论与推广（20-XX）；统计学（62-XX）…
MEBN公司 11份文件引用(2008–2018) 软件作者： 凯瑟琳·布莱克蒙·拉斯基 相关软件： 博客；PR-OWL；IBAL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；统计学（62-XX）…
ezcsp公司 13份文件引用（2009年至2022年） 软件作者： 马尔切洛·巴尔杜奇尼（Marcello Balduccini）；尤利亚·利勒 相关软件： 克林孔；克林戈；ASP… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
结束语 12份文件引用(1993–2016) 软件作者： Waldemar W.Koczkodaj公司 相关软件： —— 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
旋转 11份文件引用(2000–2015) 软件作者： W.W.科恩。 相关软件： C4.5；XPath；SSE… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
国内流离失所者3 9份文件引用(2015–2020) 软件作者： 莫里斯·布鲁诺；亨德里克·布洛克（Hendrik Blockeel）；博加特，巴特；De Cat，Broes；德普特（De Pooter，Stef）；约阿希姆·扬森；安东尼·拉巴雷；Ramon，Jan；马克·德内克（Marc Denecker）；四川省韦尔市 相关软件： 卡环；WASP；DLV… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
知道Rob 9份文件引用(2016–2020) 软件作者： 莫里茨·特诺思（Moritz Tenorth）；迈克尔·贝茨 相关软件： 博客；贝叶斯OWL；PR-OWL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；统计学（62-XX）…
MultiNet公司 10篇文献引用(2001–2010) 软件作者： 赫尔曼·赫尔比格 相关软件： —— 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
LogiKEy公司 5份文件引用(2020–2022) 软件作者： Christoph Benzmüller、Xavier Parent、Leendert van der Torre 相关软件： Isabelle/HOL；Nitpick公司；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Pykg2vec公司 2份文件引用(2021) 软件作者： Shih Yuan Yu、Sujit Rokka Chhetri、Arquimedes Canedo、Palash Goyal、Mohammad Abdullah Al-Faruque 相关软件： OpenKE；AmpliGraph；Python… 主要字段： 计算机科学（68-XX）
FLISP公司 3份文件引用(1990–2009) 软件作者： 泽农·A·索斯诺斯基。 相关软件： FPROLOG；模糊剪辑 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
FitHuBERT公司 在0个文档中引用 软件作者： Yeonghyeon Lee、Kangwok Jang、Jahyun Goo、Youngmoon Jung、Hoirin Kim 相关软件： 自由速度；DistilBERT公司；LightHuBERT… 主要字段： ——
神经KG 在0个文档中引用 软件作者： 张文、陈向南、姚震、陈明阳、朱玉山、余洪涛、黄玉凤、徐泽忠、徐亚静、张宁宇、袁宗刚、熊飞宇、陈华军 相关软件： DGL-KE；Pykg2vec；DGL… 主要字段： ——