数据日志 282份文件引用(1978–2022) 软件作者： Ceri，S.、Gottlob，G.、Tanca，L 相关软件： 亚萨特；格林戈；Clingo… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
斯莫德尔斯 231篇文献引用(1999–2022) 软件作者： 伊尔卡·尼梅尔；西蒙斯，P；Syrjänen，汤米 相关软件： 亚萨特；C模型；XSB… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
CESAR公司 160篇文献引用(1982–2023) 软件作者： Queille，J.P。；西法基斯，J。 相关软件： 自旋蛋白；SLAM；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
低成本融资 164篇文献引用(1972–2024) 软件作者： 罗宾·米尔纳 相关软件： Coq；毫升；HOL… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；范畴理论；同调代数（18-XX）…
ETPS公司 162篇文献引用(1986–2022) 软件作者： 彼得·安德鲁斯（Peter Andrews）、马修·毕晓普（Matthew Bishop）、查德·布朗（Chad E.Brown）、苏尼尔·伊萨尔（Sunil Issar）、丹·内史密斯（Dan Nesmith）、弗兰克·普芬宁（Frank Pfenning 相关软件： TPS；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
OBJ3型 140篇文献引用(1989–2023) 软件作者： J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud；（比基尼） 相关软件： 莫德；咖啡馆；CASL… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）…
VeriFast公司 75篇文献引用(2009–2023) 软件作者： 巴特·雅各布斯；简·斯曼斯；弗兰克·皮森斯 相关软件： 达夫尼；布吉；z3… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
水银 75篇文献引用(1994–2022) 软件作者： mercurylang.org网站 相关软件： 哈斯克尔；幼儿保育和教育；咖喱… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；统计学（62-XX）…
C模型 68篇文献引用(2004–2022) 软件作者： 尤利娅·利勒 相关软件： 亚萨特；平滑；格林戈… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
基瓦-2 71篇文献引用(1987–2023) 软件作者： Amsden，A.A。；Orourke，P.J。；T.D.巴特勒。 相关软件： KIVA-4；ODEPACK；CHEMKIN… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
杰森 47篇文献引用(1977–2023) 软件作者： 拉斐尔·博迪尼。；胡布纳，乔米·弗雷德；迈克尔·伍尔德里奇 相关软件： AgentSpeak；贾德克斯；2APL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
凯伊马拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
小脚 55份文件引用(2004–2023) 软件作者： J.伯丁、C.加尔卡尼奥、P.W.奥赫恩。 相关软件： VeriFast；jStar公司；臀部… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
洛利 52篇文献引用（1993年至2022年） 软件作者： 乔什·霍达斯；戴尔·米勒 相关软件： Twelf；精灵；Abella… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
CeTA公司 49篇文献引用(2009–2023) 软件作者： 雷内·蒂曼；克里斯蒂安·斯特纳格尔 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；交换代数（13-XX）…
Daikon公司 41篇文献引用(2005–2022) 软件作者： 迈克尔·D·恩斯特。；Jeff H.Perkins。；菲利普·郭（Philip J.Guo）。；斯蒂芬·麦卡曼特；卡洛斯·帕切科；马修·桑茨（Matthew S.Tschantz）。；肖，陈 相关软件： JML；胡迪尼；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
GHC公司 36篇文献引用(1986–2014) 软件作者： Kazunori上田 相关软件： PARLOG；SICStus公司；基玛… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
常春藤 45篇文献引用(2000–2023) 软件作者： 威廉·麦库恩；奥尔加·舒姆斯基 相关软件： 常春藤；z3；TPTP… 主要字段： 数学逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）
精益TAP 44篇文献引用(1994–2022) 软件作者： 贝恩哈德·贝克特；约阿希姆·波塞加 相关软件： SETHEO公司；TPTP；萨奇莫… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
Lparse（L解析） 42篇文献引用（2001年至2020年） 软件作者： 托米·西尔贾宁 相关软件： 格林戈；亚萨特；MiniSat… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
KL-ONE公司 37篇文献引用(2001–2022) 软件作者： 弗兰茨·巴德；乌尔里克·萨特勒 相关软件： FaCT++；赛车手；颗粒… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Ltur公司 40篇文献引用(1988–2022) 软件作者： 米努克斯，M。 相关软件： HgMUS；数据日志；JBool… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
GEX公司 34份文件引用(1996–2023) 软件作者： Gao，X.-S.等。 相关软件： GeoGebra；日本国债交易所；GCLC… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；数值分析（65-XX）…
LUPS公司 37篇文献引用(1999–2019) 软件作者： 何塞·朱利奥·阿尔弗雷斯；佩雷拉，路易斯·莫尼兹；哈利娜·普尔兹穆森斯卡（Halina Przymusinska）；Przymusinski，Teodor C。 相关软件： XSB；平滑；EVOLP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
jStar公司 32篇文献引用(2008–2022) 软件作者： DiStefano，D.，Parkinson，M。 相关软件： 小脚；VeriFast；Coq… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
日本运通银行 25篇文献引用(2002–2022) 软件作者： 克劳斯·哈维隆德；格里高·罗什乌 相关软件： Java PathFinder；莫德；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
爪哇风扇 30篇文献引用（2004年至2018年） 软件作者： 阿扎德·法尔赞；陈峰；何塞·梅塞盖尔；格里高·罗什乌 相关软件： 莫德；K校准仪；MMT… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
超防（Hyperproof） 27篇文献引用(1994–2022) 软件作者： Jon Barwise、John Etchemendy 相关软件： Speedith；伊莎贝尔；嘟嘟博士… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
皮塔 24篇文献引用(2010–2023) 软件作者： 法布里齐奥·里古齐（Fabrizio Riguzzi）；Swift，Terrance公司 相关软件： 探测日志；CP逻辑；棱镜… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
无MoRe 22篇文献引用（2001年至2012年） 软件作者： 愤怒，基督徒；Kathrin Konczak；托马斯·林奇 相关软件： 亚萨特；C模型；平滑… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）
阿司匹林 21篇文献引用(2015–2023) 软件作者： 格哈德·布鲁卡、詹姆斯·德尔格兰德、哈维尔·罗梅罗、托尔斯滕·绍布 相关软件： 克林戈；Potassco；WASP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
CP逻辑 20篇文献引用(2009–2023) 软件作者： Joost Vennekens；马克·德内克（Marc Denecker）；莫里斯·布吕诺格 相关软件： 探测日志；PITA；棱镜… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
GASP公司 18篇文献引用(2008–2022) 软件作者： 亚历山德罗·达尔·帕鲁；阿戈斯蒂诺·多维尔；恩里科·蓬泰利（Enrico Pontelli）；吉安弗兰科·罗西 相关软件： 克林戈；格林戈；WASP… 主要字段： 计算机科学（68-XX）
乔托 17篇文献引用(2001–2022) 软件作者： 托马斯·汉津格、本杰明·霍洛维茨、克里斯托夫·梅耶·基尔希 相关软件： 卢斯特；Uppaal公司；酯类… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
立方厘米（FD） 18篇文献引用(1998–2022) 软件作者： 范·亨特利克（Van Hentenryck），帕斯卡（Pascal）；维杰·萨拉斯瓦特；伊夫·迪维尔 相关软件： CPLEX；彗星；Choco… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
福斯 15篇文献引用(1997–2023) 软件作者： 卡拉利奇，阿拉姆；伊万·布拉特科 相关软件： UCI-ml；阿列夫；C4.5… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
sCASP公司 18篇文献引用(2018–2023) 软件作者： 华金·阿里亚斯（Joaquin Arias）、曼努埃尔·卡罗（Manuel Carro）、埃尔默·萨拉查（Elmer Salazar）、凯尔·马普尔（Kyle Marple）、戈帕尔·古普塔（Gopal Gupta） 相关软件： 克林戈；ezcsp；GitHub… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
DeepProbLog（深度探测日志） 18篇文献引用(2020–2023) 软件作者： 罗宾·曼哈夫、塞巴斯蒂安·杜曼奇奇、安吉丽卡·金米格、托马斯·德梅斯特、吕克·德雷特 相关软件： 探测日志；NeurASP；亚当… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
HasCasl公司 17篇文献引用(2002–2015) 软件作者： Lutz Schr“oder；Till Mossakowski 相关软件： CASL；哈斯克尔；Hets… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
AQCS（质量控制系统） 15篇文献引用(2000–2023) 软件作者： 南拉施恩 相关软件： QEPCAD；IbexOpt；数值… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；数值分析（65-XX）…
D装货商 12份文件引用(2009–2023) 软件作者： 阿德里安·里斯科；阿尔贝托·维尔德乔（Alberto Verdejo）；马丁·奥列特，纳西索；拉斐尔·卡巴列罗 相关软件： 莫德；阿尼玛；Web-TLR… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
铁人舰队 16篇文献引用(2017–2023) 软件作者： Hawblitzel，C.公司。；豪厄尔，J。；卡普里特索斯，M。；Lorch，J.R。；巴诺，B。；罗伯茨，M.L。；塞蒂，S.T.V。；齐尔，B 相关软件： z3；达夫尼；常春藤… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
天基信息平台 12份文件引用(2012–2021) 软件作者： 弗布拉罗，奥诺弗里奥；里尔，克里斯蒂安；弗朗西斯科·里卡 相关软件： 海狮；卡拉；APE… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
HOL-Boogie公司 14篇文献引用(2008–2019) 软件作者： Böhme，萨沙；Leino，K.Rustan M。；沃尔夫，伯克哈特 相关软件： Isabelle/HOL；Why3；布吉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
OPTYap公司 14篇文献引用(2001–2022) 软件作者： 里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔 相关软件： XSB；YAP-Prolog；YapOr… 主要字段： 计算机科学（68-XX）
科根（Cogent） 在11份文件中引用(2005–2018) 软件作者： 拜伦·库克；Daniel Kroening；娜塔莎·莎莉吉娜 相关软件： 卫星抗体；简化；旋转… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
VeriMAP公司 13份文件引用(2015–2022) 软件作者： De Angelis E、Fioravanti F、Pettorossi A、Proietti M 相关软件： z3；跟踪器；SeaHorn… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
EQP公司 13份文件引用(1997–2022) 软件作者： 威廉·麦库恩 相关软件： 水獭；Waldmeister；SPASS… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
Z3-街道 10篇文献引用(2015–2023) 软件作者： Zheng Y、Zhang X、Ganesh V 相关软件： S3；z3；通过… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
壁画 10篇文献引用(1991–2014) 软件作者： C.B.琼斯。；K.D.琼斯。；Lindsay，P.A。；R.D.摩尔。 相关软件： RAISE（提升）；落叶松；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TAS公司 在11份文件中引用(1994–2006) 软件作者： 克里斯托夫·吕斯；伯克哈特·沃尔夫 相关软件： IsaWin；伊莎贝尔；数字（amp；N）… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）
萨帕托 在11份文件中引用（2004年至2018年） 软件作者： Ball，T.、Cook，B.、Lahiri，S.K.、Zhang，L。 相关软件： CVC-Lite；糠；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
数据日志LITE 9份文件引用(2002–2019) 软件作者： 乔治·戈特洛布（Georg Gottlob）；Erich Grädel；赫尔穆特·维思 相关软件： XPath；Ltur；计算TW… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Lpopt公司 10篇文献引用(2017–2022) 软件作者： Manuel Bichler；迈克尔·莫拉克（Michael Morak）；斯特凡·沃尔特兰 相关软件： 克林戈；格林戈；格拉帕… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MAVEN公司 9份文件引用(2007–2013) 软件作者： Max Goldman；埃米利亚·卡茨（Emilia Katz）；Shmuel Katz 相关软件： ProMoVer；CVPP；Aspectual Caml… 主要字段： 计算机科学（68-XX）
Speedith公司 9份文件引用(2012–2019) 软件作者： Urbas，M.、Jamnik，M.，Stapleton，G.、Flower，J。 相关软件： 超防；伊莎贝尔；迪亚贝利… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；凸和离散几何（52-XX）…
TopLog（顶部日志） 8份文件引用(2008–2021) 软件作者： 史蒂芬·H·马格尔顿（Stephen H.Muggleton）。；桑托斯，若泽·卡洛斯·阿尔梅达；塔马多尼·内扎德（Alireza Tamaddoni-Nezhad） 相关软件： 阿列夫；太阳能；GitHub… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
DLog（数据日志） 8份文件引用(2008–2020) 软件作者： 格格利·卢卡西（Gergely Lukácsy）；佩特尔·塞雷迪 相关软件： 精益TAP；颗粒；接通DLV… 主要字段： 计算机科学（68-XX）
Metaopt公司 9份文件引用(2019–2022) 软件作者： 安德鲁·克洛珀（Andrew Cropper）；史蒂芬·H·马格尔顿。 相关软件： 梅塔戈里；GitHub；GOLEM… 主要字段： 计算机科学（68-XX）
MOCUS公司 8份文件引用(1977–2020) 软件作者： J.B.Fussell、E.B.Henry、N.H.Marshall 相关软件： FATRAM；准备/套件；ELRAFT… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
出售 9份文件引用(2019–2022) 软件作者： Manuel Bichler、Michael Morak、Stefan Woltran 相关软件： 克林戈；htd；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
特克顿 5份文件引用(1994–2003) 软件作者： 卡普尔，D。；聂，X。；D.R.穆瑟。 相关软件： RRL；NQTHM；确认… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
提洛语 6篇文献引用(2005–2022) 软件作者： Dunlop AE鱼缸JP 相关软件： JiffyTune；兰斯洛特；Mosek… 主要字段： 组合数学（05-XX）；光学、电磁理论（78-XX）；运筹学，数学规划（90-XX）…
VST-弗洛伊德 9份文件引用(2018–2023) 软件作者： 曹勤祥；Lennart Beringer；塞缪尔·格鲁特（Samuel Gruetter）；约西亚·多兹；安德鲁·W·阿佩尔。 相关软件： Coq；工具链；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
德贾武 8份文件引用(2018–2022) 软件作者： Havelund，K。；贝利德，D。；D.乌卢斯。 相关软件： LOLA；蒙保利；Java-MOP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
电动汽车 6篇文献引用(2001–2021) 软件作者： 拉尔斯-奥克·弗雷德隆德；迪利安·古罗夫；托马斯·诺尔；Mads大坝；托马斯艺术；根纳迪·楚格诺夫 相关软件： 埃尔朗；伊莎贝尔；Coq… 主要字段： 计算机科学（68-XX）
Java+ITP 7份文件引用(2007–2013) 软件作者： Sasse，R.，Meseguer，J。 相关软件： 莫德；爪哇风扇；K校准仪… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
KOOL公司 7份文件引用(2009–2016) 软件作者： Hills，M.，Rosu，G。 相关软件： K校准仪；莫德；K工具… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
RGITL公司 8份文件引用(2014–2022) 软件作者： 格哈德·谢尔霍恩（Gerhard Schellhorn）；托凡、博格丹；吉登•恩斯特（Ernst，Gidon）；Pf“ahler，Jörg；Reif，Wolfgang 相关软件： 自旋蛋白；KIV；Dafny… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
NESCOND公司 7份文件引用(2014–2023) 软件作者： 尼古拉·奥利维蒂；吉安·卢卡（Gian Luca），披萨 相关软件： 康德莱恩；月球；KLMLean… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ASPeRiX公司 4份文件引用(2009–2016) 软件作者： Claire Lefèvre、Pascal Nicolas、Stéphane Ngoma 相关软件： 亚萨特；格林戈；OMiGA… 主要字段： 计算机科学（68-XX）
证书密码 5份文件引用(2009–2017) 软件作者： 吉尔·巴特；本杰明·格雷戈里；圣地亚哥Zanella Béguelin 相关软件： Coq；Coq/SS反射；EasyCrypt… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
浓缩咖啡 6篇文献引用(1984–2020) 软件作者： R.K.Brayton、G.D.Hachtel、L.A.Hemachandra、A.R.Newton、A.L.M.Sangiovanni-Vincentelli 相关软件： MiniSat；tiny_sha3；ABC… 主要字段： 总体主题；藏品（00-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
艾朱利安 5份文件引用(2014–2020) 软件作者： 马利亚阿尔普特；黛米斯·巴利斯；弗朗西斯科·弗雷奇纳；朱莉娅·萨皮娜 相关软件： 莫德；Web-TLR；动画… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
LMS公司 5份文件引用(2010–2022) 软件作者： 蒂亚克·隆普夫（Tiark Rompf），马丁·奥德斯基（Martin Odersky） 相关软件： 科卡；博客；TMB… 主要字段： 计算机科学（68-XX）
MSVL公司 6篇文献引用(2019–2020) 软件作者： 王晓兵、丛田、段振华、梁昭 相关软件： 自旋蛋白；CPA检查员；CESAR… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
辐条 4份文件引用(2008–2020) 软件作者： Gebser，M.、Pührer，J.、Schaub，T.、Tompits，H.、Woltran，S。 相关软件： 格林戈；天基信息平台；SeaLion… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
阿尼玛 5份文件引用(2014–2023) 软件作者： 马利亚阿尔普特；黛米斯·巴利斯；弗朗西斯科·弗雷奇纳；朱莉娅·萨皮娜 相关软件： 莫德；Web-TLR；DDebugger… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
国歌 4份文件引用(2019–2020) 软件作者： Lifschitz，V.、Lühne，P.、Schaub，T。 相关软件： 格林戈；TPTP；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CLPGUI公司 3份文件引用(2009–2016) 软件作者： Fages，F.、Soliman，S.、Coolen，R。 相关软件： 彼得里韦布；生物模型；元工具… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
CSLLean公司 5份文件引用(2010–2023) 软件作者： Alenda，R.、Olivetti，N.、Pozzato，G.L。 相关软件： 康德莱恩；KLMLean公司；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DeReS公司 3份文件引用(2019–2022) 软件作者： Cholewinski，P.、Marek，V.、Truszczynski，M。 相关软件： 数据日志；中国科学院科学院；Clingo… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）