弹丸 71篇文献引用(2006–2023) 软件作者： Sirin，E.，Parsia，B.，Grau，B.C.，Kalyanpur，A.，Katz，Y。；Clark&Parsia有限责任公司 相关软件： FaCT++；赛车手；赫密特… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
打开以编辑 8份文件引用（2002年至2006年） 软件作者： 当然，约克；Michael Erdmann；朱尔根·安吉尔；斯特芬·斯塔布；鲁迪·施图德（Rudi Studer）；德克·温克 相关软件： 石油教育；蛋白质；WebODE… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
维基百科矿工 4份文件引用(2012–2019) 软件作者： 大卫·米尔恩（David Milne）；伊恩·维滕 相关软件： DBpedia；曼陀罗；BabelNet… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
前-OWL 9份文件引用(2014–2021) 软件作者： 隆美尔·N·卡瓦略。；凯瑟琳·拉斯基。；保罗·科斯塔。 相关软件： IBAL；贝叶斯OWL；博客… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；统计学（62-XX）…
KnowledgeSeeker（知识搜索者） 2份文件引用(1996–2011) 软件作者： Edward H.Y.Lim。；Liu，James N.K。；Lee，Raymond S.T。 相关软件： Swoogle标志 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
RoWordNet网络 2份文件引用(2009–2016) 软件作者： D.Tufis、V.Barbu Mititelu、D.Stefanescu、R.Ion 相关软件： WordNet；单词2vec；自动扩展… 主要字段： 计算机科学（68-XX）
Isabelle/自由度 2份文件引用(2018–2021) 软件作者： Achim D.布鲁克。；艾特·萨杜恩（Ait-Sadoune），伊迪尔（Idir）；保罗·克里萨富利（Paolo Crisafulli）；沃尔夫，伯克哈特 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 计算机科学（68-XX）
乔塔马 1份文件引用(2009) 软件作者： Mahalakshmi，G.S。；吉萨，T.V。；阿伦·库马尔；迪内什·库马尔；马尼坎丹，S。 相关软件： WordNet（文字网） 主要字段： 计算机科学（68-XX）
GOProFormer公司 1份文件引用(2023) 软件作者： 卡比尔，A。；A.Shehu。 相关软件： MetaGO；MultiPredGO；DeepGO… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
多PredGO 1份文件引用(2023) 软件作者： Giri，Swagarika Jaharlal；普拉蒂克·杜塔；哈拉尼，Parth；斯里帕纳·萨哈 相关软件： MetaGO；GOProFormer；DeepGO… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
接通SDM 在0个文档中引用 软件作者： 卡洛斯·罗伯托（Carlos Roberto）；吉马朗斯、迪奥戈·莱莫斯；扎法隆，Geraldo F.D。；Neves，Leandro A。；安杰洛·科伦比尼。 相关软件： – 主要字段： 计算机科学（68-XX）
SCAIMO公司 1份文件引用(2009) 软件作者： 阿米尔·瓦希德·达斯特杰迪；塔巴塔拜，赛义德·古拉姆·哈桑；万·M.N.万·卡迪尔；易卜拉欣、苏哈伊米；Elahe Sarafian 相关软件： – 主要字段： 计算机科学（68-XX）
XMap（X地图）++ 1份文件引用(2012) 软件作者： Djeddi，Warith Eddine；穆罕默德·塔雷克·卡迪尔 相关软件： WordNet（文字网） 主要字段： 计算机科学（68-XX）