LogiKEy公司 5份文件引用(2020–2022) 软件作者： Christoph Benzmüller、Xavier Parent、Leendert van der Torre 相关软件： Isabelle/HOL；尼特皮克；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
产品生命周期管理 3份文件引用(2020) 软件作者： 丹尼尔·基什内尔 相关软件： Isabelle/HOL；精益；逻辑键… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）
嵌入2检测 2份文件引用(2022–2023) 软件作者： Hansi Hettiarachchi；玛丽亚姆·阿德多伊恩·奥洛；贾格德夫·博加尔；穆罕默德·梅德哈特·加博 相关软件： 泥浆；推特新闻；保函… 主要字段： 计算机科学（68-XX）