伊莎贝尔/HOL 1076份文件引用(1996–2024) 软件作者： 沃尔夫冈·纳拉斯切夫斯基（Wolfgang Naraschewski）；托比亚斯·尼普科 相关软件： 伊莎贝尔；辅酶q；HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
伊莎贝尔 742份文件引用(1990–2024) 软件作者： 拉里·保尔森（Larry Paulson）、托比亚斯·尼普科（Tobias Nipkow）、马卡里乌斯·温泽尔（Makarius Wenzel） 相关软件： Isabelle/HOL；HOL；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
HOL灯 320篇文献引用（1998年至2024年） 软件作者： 约翰·哈里森 相关软件： 辅酶q；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
腿 116篇文献引用(1991–2023) 软件作者： 罗，Z.，波拉克，R。 相关软件： 辅酶q；Nuprl；自动… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
伊莎贝尔/采埃孚 70篇文献引用（1993年-2023年） 软件作者： 劳伦斯·保尔森 相关软件： 伊莎贝尔；辅酶q；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；代数拓扑（55-XX）…
CP逻辑 20篇文献引用(2009–2023) 软件作者： Joost Vennekens；马克·德内克（Marc Denecker）；莫里斯·布吕诺格 相关软件： ProbLog；PITA；棱镜… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
IsaFoL公司 5份文件引用(2016–2018) 软件作者： Branchette，J.C.、Fleury，M.、Schlichtkrull，A.、Traytel，D。 相关软件： 存档正式证据；Isabelle/HOL；versat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
LogAnswer（日志应答） 2份文件引用(2008) 软件作者： 乌尔里希·富巴赫；英戈·格里克纳；赫尔曼·赫尔比格；佩尔泽，比约恩 相关软件： E-KRHper；WordNet；Abella… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）