HOL灯 320篇文献引用(1998–2024) 软件作者： 约翰·哈里森 相关软件： Coq；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数论（11-XX）…
马什 27篇文献引用(2001–2023) 软件作者： 丹尼尔·库尔文；贾斯敏·克里斯蒂安·布兰切特；Cezary Kaliszyk；约瑟夫·乌尔班 相关软件： E定理证明器；Flyspeck；VAMPIRE… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
HOL灯QE 引用于3份文件(2018–2020) 软件作者： 雅克·卡雷特；Farmer，William M。；帕特里克·拉斯科夫斯基 相关软件： Coq；伊德里斯；重新选择… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
工作流FM 1份文件引用(2017) 软件作者： 帕帕帕纳吉奥图，Petros；雅克·弗莱里奥特 相关软件： JGraph；HOL灯；链接… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）