伊萨尔 156篇文献引用(2000–2024) 软件作者： 马卡里乌斯·温泽尔 相关软件： 伊莎贝尔；Isabelle/HOL；Coq… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；组合数学（05-XX）…
KIV公司 51篇文献引用（1988年至2022年） 软件作者： M.Heisel、B.Langenstein、W.Reif、G.Schellhorn、K.Stenzel、W.Stephan、A.Wolpers等人。 相关软件： Z；PVS；伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
KL-ONE公司 37篇文献引用(2001–2022) 软件作者： 弗兰茨·巴德；乌尔里克·萨特勒 相关软件： FaCT++；赛车手；颗粒… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
二进制多重关系 2份文件引用(2016–2020) 软件作者： Hitoshi Furusawa；乔治·斯特鲁斯 相关软件： 存档正式证据；Isabelle/HOL；克莱纳代数… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
KAD公司 2份文件引用(2019–2022) 软件作者： 维克多·B·F·戈麦斯、沃尔特·古特曼、彼得·霍夫纳、乔治·斯特鲁斯、特贾克·韦伯 相关软件： 存档正式证据；Bellerophon公司；变压器语义… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
利瓦塔 1份文件引用(2019) 软件作者： Ondrej Lengal；吉里·西马切克；托马斯·沃伊纳；马丁·赫鲁斯卡；卢卡斯·霍利克 相关软件： 餐前小吃；反链；LTL2BA… 主要字段： 计算机科学（68-XX）