狮子座III 21篇文献引用(2015–2023) 软件作者： 亚历山大·斯蒂恩（Alexander Steen）；马克斯·维斯涅夫斯基（Max Wisniewski）；克里斯托夫·本兹穆勒 相关软件： 沙达拉；TPTP；Isabelle/HOL… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
LIPSAT公司 6篇文献引用(2018–2021) 软件作者： 马塞洛·芬格；桑德罗·普雷托 相关软件： MiniSat；玲玲；Yices… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；测量和集成（28-XX）…
Gen2卫星 引用于3份文件(2016–2019) 软件作者： 尤尼·佐哈尔；安娜·扎曼斯基 相关软件： MetTeL；Coq；直觉… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
ILLTP公司 引用于3份文件(2019–2021) 软件作者： 卡洛斯·奥拉特（Carlos Olarte）；瓦莱里亚·德·佩瓦；伊莱恩·皮门特尔（Elaine Pimentel）；吉赛尔·雷斯 相关软件： 洛利；z3；DeepProbLog… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
Z语法 引用于3份文件(2015–2019) 软件作者： 乔瓦尼·博尼奥洛（Giovanni Boniolo）；马塞洛·达戈斯蒂诺；Paolo Di Fiore码头 相关软件： UniProt；哈斯克尔；OTTER… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
GLEFatinf公司 2份文件引用（1994年至1998年） 软件作者： R.Caferra；M.赫敏特 相关软件： 表格；克里普克；数字（amp；N）… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
次一致性 1份文件引用（2018年） 软件作者： 安德斯·施利奇特克鲁尔（Anders Schlichtkrull）；约根·维拉德森 相关软件： github；格栅；FOL_Harrison… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）