状态流 43篇文献引用(1989–2023) 软件作者： MathWorks公司。 相关软件： Simulink；Matlab；托勒密… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SyReC公司 引用于7份文件(2012–2023) 软件作者： Wille，R.、Offermann，S.、Drechsler，R。 相关软件： RevLib；LRinv；Quipper… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；信息与通信理论，电路（94-XX）
婴儿潮运河化 2份文件引用(2022–2023) 软件作者： 迪米特洛娃，埃琳娜；布兰迪林·斯蒂格勒；卡德尔卡，克劳斯；大卫·默鲁加拉 相关软件： 蟒蛇；麦考利2 主要字段： 信息与通信理论，电路（94-XX）
逻辑浏览器 2份文件引用(2011–2014) 软件作者： 罗内斯·洛扎诺（Roanes-Lozano），尤金尼奥（Eugenio）；阿隆索、何塞·安东尼奥；安东尼奥·埃尔南多；路易斯·莱塔。；Roanes-Mac公司{i} 作为，尤金尼奥 相关软件： 枫树；MUltlog；伊斯兰教 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
独眼巨人 1份文件引用(2022) 软件作者： 卡利塔、潘卡杰·库马尔；Singal，德鲁夫；帕拉克阿加瓦尔；萨科特Jhunjhunwala；罗伊，苏巴吉特 相关软件： 安吉利克斯；普鲁托；MACER… 主要字段： 计算机科学（68-XX）
JGXYZ公司 1份文件引用(2019) 软件作者： Geoff Sutcliffe；弗朗西斯·杰弗里·佩利蒂埃 相关软件： MUltlog；VAMPIRE公司 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
次一致性 1份文件引用(2018) 软件作者： 安德斯·施利奇特克鲁尔（Anders Schlichtkrull）；约根·维拉德森 相关软件： github；格栅；FOL_Harrison… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）