高尔夫 158份文件引用(1996–2024) 软件作者： 赫克托·J·列夫斯克（Hector J.Levesque）。；雷蒙德·雷特（Raymond Reiter）；Lespérance，伊夫斯；林方珍；理查德·谢尔（Richard B.Scherl）。 相关软件： ConGolog；AgentSpeak；METATEM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SETHEO公司 引用于118篇文献(1990–2022) 软件作者： Letz，R。；舒曼，J。；拜耳，S。；比贝尔，W。 相关软件： TPTP；水獭；SPASS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
玩具 56篇文献引用(2001–2022) 软件作者： F.J.López Fraguas，J.Sánchez Hernández 相关软件： 巴贝尔；哈斯克尔；PAKCS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MPTP 0.2 55份文件引用(2006–2021) 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；VAMPIRE公司；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GHC公司 36篇文献引用(1986–2014) 软件作者： Kazunori上田 相关软件： PARLOG；SICStus公司；基玛… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
精益TAP 44篇文献引用(1994–2022) 软件作者： 贝恩哈德·贝克特；约阿希姆·波塞加 相关软件： SETHEO公司；TPTP；萨奇莫… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
帕洛 37篇文献引用(1984–1993) 软件作者： 基思·克拉克；史蒂夫·格雷戈里 相关软件： GHC；SICStus公司；平滑… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
NRL公司 30篇文献引用(1996–2022) 软件作者： 梅多斯，凯瑟琳 相关软件： 莫德；AVISPA；OFMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
陆军装备司令部 26篇文献引用(2007–2022) 软件作者： 安德烈亚斯·波德尔斯基（Andreas Podelski）、安德烈·里巴尔琴科（Andrey Rybalchenko） 相关软件： SLAM；跟踪器；匕首… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PAKCS公司 25篇文献引用(1994–2020) 软件作者： M.Hanus、S.Antoy、B.Braßel、M.Engelke、K.Höppner、J.Koj、P.Niederau、R.Sadre、F.Steiner 相关软件： 玩具；咖喱；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
B-序言 18篇文献引用(2001–2022) 软件作者： Afany软件 相关软件： XSB；YAP-Prolog；SICStus… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
ModLeanTAP模式 19份文件引用(1998–2019) 软件作者： 贝恩哈德·贝克特；拉杰夫·戈尔 相关软件： 精益TAP；Coq；MSPASS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
特尤斯 18篇文献引用(2001–2022) 软件作者： Nadathur，G.，Mitchell，D.J。 相关软件： Twelf；阿贝拉；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
戴纳 13份文件引用(2008–2022) 软件作者： 杰森·艾斯纳；埃里克·戈德鲁斯特（Eric Goldlust）；诺亚·A·史密斯；西北部菲拉多。 相关软件： 探测日志；棱镜；kProbLog… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
FPROLOG公司 13份文件引用(1985–2023) 软件作者： T.P.马丁。；鲍德温，J.F。；B.W.皮尔斯沃思。 相关软件： FRIL；Ciao；BousiProlog… 主要字段： 数学逻辑与基础（03-XX）；群论与推广（20-XX）；统计学（62-XX）…
HYPROLOG公司 15篇文献引用(2005–2022) 软件作者： 克里斯蒂安森（Christiansen），亨宁（Henning）；维罗妮卡·达尔 相关软件： 平滑；SCIFF；棱镜… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
OPTYap公司 14篇文献引用(2001–2022) 软件作者： 里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔 相关软件： XSB；YAP-Prolog；YapOr… 主要字段： 计算机科学（68-XX）
DASWAM公司 14篇文献引用(1996–2022) 软件作者： Shen，Kish（基什·申） 相关软件： CiaoPP；Ciao；平滑… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
DLog（数据日志） 8份文件引用(2008–2020) 软件作者： 格格利·卢卡西（Gergely Lukácsy）；佩特尔·塞雷迪 相关软件： 精益TAP；颗粒；接通DLV… 主要字段： 计算机科学（68-XX）
PALS系统 9份文件引用(2001–2016) 软件作者： 维拉维德，K。；彭泰利，E。；郭，H。；G.古普塔。 相关软件： YapOr；YAP-Prolog；pCMALib… 主要字段： 偏微分方程（35-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
生物SPI 8份文件引用(2004–2022) 软件作者： – 相关软件： 棱镜；BioNetGen；游戏… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；生物学和其他自然科学（92-XX）
代码任务 4份文件引用(2007–2013) 软件作者： 埃尔纳尔·哈吉耶夫；马修·韦巴埃（Mathieu Verbaere）；Oege De Moor公司 相关软件： 方面J；JHotDraw；XSB… 主要字段： 计算机科学（68-XX）
BousiProlog公司 6篇文献引用(2017–2023) 软件作者： 伊兰佐、帕斯夸尔·朱利安、克莱门特·鲁比奥·曼扎诺 相关软件： Likelog；SWI-预测；快速… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CAT公司 7份文件引用(1999–2019) 软件作者： Bart Demoen；康斯坦蒂诺斯·萨戈纳斯 相关软件： XSB；YAP-Prolog；YapTab… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
NESCOND公司 7份文件引用(2014–2023) 软件作者： 尼古拉·奥利维蒂；吉安·卢卡（Gian Luca），披萨 相关软件： 康德莱恩；月球；KLMLean… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Rfuzzy（模糊） 4份文件引用(2011–2019) 软件作者： 苏珊娜·穆诺兹·赫南德斯（Susana Munoz-Hernandez）、维克托·巴勃罗斯·塞鲁埃洛（Victor Pablos Ceruelo）、汉内斯·斯特拉斯（Hannes Strass） 相关软件： XPath；FRIL；BousiProlog… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
DR-预测 4份文件引用(2018–2019) 软件作者： 安东尼斯·比卡基斯；君士坦丁诺·帕帕西奥多罗；格里戈里斯·安东尼奥 相关软件： DELORES公司；吐温；法律规则ML… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
埃尔戈6 6篇文献引用（1997年至2003年） 软件作者： 马克·乌廷（Mark Utting）；彼得·罗宾逊（Peter Robinson）；雷·尼克森 相关软件： Qu-Prolog；电子LOTOS；CADP… 主要字段： 计算机科学（68-XX）
国家专家 6篇文献引用（1988年-2000年） 软件作者： 克劳斯·舒尔茨；科林·克莱尔。 相关软件： 专家；斯拉特克；NAG… 主要字段： 总体主题；藏品（00-XX）；常微分方程（34-XX）；统计学（62-XX）…
CDA矿石 4份文件引用(2011–2022) 软件作者： Brandon Chisham；恩里科·蓬泰利（Enrico Pontelli）；儿子Tran Cao；本·赖特 相关软件： aspeed；LPaaS；GHC… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
CSLLean公司 5份文件引用(2010–2023) 软件作者： Alenda，R.、Olivetti，N.、Pozzato，G.L。 相关软件： 康德莱恩；KLMLean公司；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PROLEG公司 4份文件引用(2012–2021) 软件作者： Satoh，K.、Asai，K.、Kogawa，T.、Kubota，M.、Nakamura，M.、Nishigai，Y.、Shirakawa，K.、Takano，C。 相关软件： SCIFF；Potassco；天基信息平台 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
预DeLo 2份文件引用(2015) 软件作者： 佐丹诺，L.，格利奥齐，V.，贾拉尔，A.，奥利维蒂，N.和波扎托，G.L 相关软件： DysToPic；精益TAP 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
高斯-林特尔 2份文件引用(2021–2023) 软件作者： 阿卜杜拉·汗；阿列克谢·利西萨；阿列克谢·弗尼茨基 相关软件： SWI-预测；组织环境信息系统 主要字段： 代数几何（14-XX）；流形和细胞复合体（57-XX）
VeriFly公司 2份文件引用(2021–2022) 软件作者： Sanchez-Ordaz，Miguel A。；伊莎贝尔·加西亚·孔特雷拉斯（Isabel Garcia-Contreras）；维克托·佩雷斯（Victor Perez）；JoséF.Morales。；洛佩斯·加西亚，佩德罗；曼努埃尔五世（Manuel V.Hermenegildo）。 相关软件： 汞；CiaoPP；再见… 主要字段： 计算机科学（68-XX）
文特 2份文件引用(2017–2021) 软件作者： Marianna Girlando；莱尔曼，比约恩；尼古拉·奥利维蒂；吉安·卢卡（Gian Luca）；维塔利斯，昆廷 相关软件： NESCOND；康德莱恩；KLMLean… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DysToPic公司 1份文件引用(2015) 软件作者： 劳拉·佐丹奴；瓦伦蒂娜·格里奥齐；尼古拉·奥利维蒂；吉安·卢卡（Gian Luca）；卢卡·维奥兰蒂 相关软件： PreDeLo；精益TAP 主要字段： 计算机科学（68-XX）