阿贝拉 57篇文献引用(2008–2023) 软件作者： 安德鲁·加塞克 相关软件： Twelf公司；白鲸；Coq… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
KL-ONE公司 37篇文献引用(2001–2022) 软件作者： 弗兰茨·巴德；乌尔里克·萨特勒 相关软件： FaCT++；赛车手；颗粒… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
LoTREC公司 29篇文献引用(2001–2023) 软件作者： 奥利维尔·盖斯克特（Olivier Gasquet）；安德烈亚斯·赫齐格（Andreas Herzig）；多米尼克·朗金；穆罕默德·萨哈德 相关软件： PVS；SPASS；E定理证明… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；组合数学（05-XX）…
MSPASS公司 23篇文献引用(2000–2021) 软件作者： Ullrich Hustadt，Renate A.Schmidt 相关软件： TPTP；吸血鬼；E定理证明… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
三倍的 16篇文献引用(2002–2015) 软件作者： Michael Sintek；斯特凡·戴克 相关软件： SPARQL；平滑；XSB… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；天文学和天体物理学（85-XX）…
MUltlog公司 20篇文献引用(1996–2023) 软件作者： 格诺·萨尔泽；维也纳多值逻辑小组 相关软件： github；JGXYZ；VAMPIRE… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
MetTeL公司 16篇文献引用(2011–2021) 软件作者： 德米特里·蒂什科夫斯基；雷娜特·施密特（Renate A.Schmidt）。；穆罕默德·科达达迪 相关软件： LoTREC公司；KL-ONE；Gen2sat… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
CEL公司 14篇文献引用(2008–2022) 软件作者： 巴德，F.，卢茨，C.，桑蒂斯里瓦拉朋，B。 相关软件： 颗粒；FaCT++；ELK… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
HTab公司 在11份文件中引用(2009–2020) 软件作者： 纪尧姆·霍夫曼；卡洛斯·阿雷塞斯 相关软件： 斯巴达克斯；HyLoTab；HGen；…（H）… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
MASTRO公司 8份文件引用(2018–2021) 软件作者： Calvanee，D.等人。 相关软件： Ontop；SPARQL；扣… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
N3逻辑 7份文件引用(2008–2017) 软件作者： 伯纳斯-李、蒂姆；Dan Connolly；拉拉纳·卡加尔；尤西·沙夫；吉姆·亨德勒 相关软件： 平滑；MWeb；SPARQL… 主要字段： 计算机科学（68-XX）
信标 8份文件引用(2016–2022) 软件作者： Arif，M.Fareed；卡洛斯·门西娅（Carlos Mencía）；阿列克谢·伊格纳提耶夫（Alexey Ignatiev）；诺伯特·曼恩；拉斐尔·佩尼亚洛萨；若昂·西尔瓦侯爵 相关软件： HgMUS；ELK；EL2MCS… 主要字段： 计算机科学（68-XX）
HgMUS公司 7份文件引用（2015年至2022年） 软件作者： Arif，M.Fareed；卡洛斯·门西娅（Carlos Mencía）；若昂·西尔瓦侯爵 相关软件： 信标；中尉；ELK… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
无HR 6篇文献引用（2015年至2022年） 软件作者： 卡洛斯·洛佩斯；马蒂亚斯·克诺尔；约昂·莱特 相关软件： Potassco；康clude；赫密特… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
RacerPro赛车 7份文件引用(2014–2022) 软件作者： Haarslev，V.、Hidde，K.、Möller，R.、Wessel，M。 相关软件： 赫密特；赛车手；颗粒… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
EL2MCS公司 5份文件引用(2015–2018) 软件作者： Arif，M.F.，Mencía，C.，Marques-Silva，J。 相关软件： 信标；只是；HgMUS… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
伊曼德拉 5份文件引用(2020–2022) 软件作者： 格兰特·奥尼·帕斯莫尔（Grant Olney Passmore）、西蒙·克鲁恩斯（Simon Cruanes）、丹尼斯·伊格纳托维奇（Denis Ignatovich）、戴夫·艾特肯（Dave Aitken）、马特·布雷（Matt Bray 相关软件： 吸血鬼；SMT-LIB；芝诺… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
修补程序类型 5份文件引用(2003–2010) 软件作者： Michael Y.莱文。；本杰明·皮尔斯。 相关软件： 毫升；OCaml；Ott… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
塞尔夫 4份文件引用(2008–2023) 软件作者： 安德斯·沙克·奈尔森（Anders Schack-Nielsen）；卡斯滕·舒尔曼 相关软件： TALx86；洛利；混合型… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
酷 引用于3份文件(2014–2018) 软件作者： 丹尼尔·戈林；德克·帕丁森；卢茨·施罗德；弗洛里安·维德曼；托尔斯滕·魏斯曼 相关软件： LoTREC公司；精益K；E定理证明… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
名望 4份文件引用(2018–2022) 软件作者： 赵仪征；雷娜特·施密特（Renate A.Schmidt）。 相关软件： ELK；蛋白质-TS；Evonne… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
TWB公司 引用于3份文件(2009–2019) 软件作者： 彼得罗·阿巴特；拉杰夫·戈雷 相关软件： LoTREC公司；MSPASS；SableCC… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
DRAGO公司 2份文件引用(2009–2014) 软件作者： L.Serafini和A.Tamilin 相关软件： 赛车手；FaCT++；颗粒… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
预DeLo 2份文件引用(2015) 软件作者： 佐丹诺，L.，格利奥齐，V.，贾拉尔，A.，奥利维蒂，N.和波扎托，G.L 相关软件： DysToPic；精益TAP 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
Sonic公司 引用于3份文件(2004–2007) 软件作者： 安妮·亚斯敏（Anni-Yasmin Turhan）；基西格（Christian Kissig） 相关软件： 赛车手；OilEd公司；FaCT++… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
第2b页 2份文件引用(2001–2010) 软件作者： 迈克尔·巴尔达穆斯（Michael Baldamus）；Jochen的Schr“oder-Babo 相关软件： 散步；自旋蛋白；ML… 主要字段： 计算机科学（68-XX）
许慧欣 1份文件引用(2022) 软件作者： 克里斯蒂安·阿拉巴阿（Christian Alrabbaa）；弗兰茨·巴德；Stefan Borgwardt；雷蒙·达赫塞特；帕特里克·科普曼（Patrick Koopmann）；朱利安·梅恩德斯 相关软件： ELK；蛋白质-TS；名望 主要字段： 计算机科学（68-XX）
森林 在0个文档中引用 软件作者： 凯瑟琳·费希尔（Kathleen Fisher）；福斯特，内特；大卫·沃克（David Walker）；朱，Kenny Q。 相关软件： 格拉夫维兹 主要字段： ——
MoMo公司 1份文件引用（2007年） 软件作者： 叶卡捷琳娜·奥夫钦尼科娃；弗兰克·里希特 相关软件： —— 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；数学教育（97-XX）
沙克尔 1份文件引用(2022) 软件作者： 博加特，巴特；马克西姆·雅库博夫斯基（Maxime Jakubowski）；Van den Bussche，简 相关软件： —— 主要字段： 计算机科学（68-XX）