CVC公司 45篇文献引用(2002–2021) 软件作者： 阿伦·斯塔姆（Aaron Stump）；克拉克·巴雷特（Clark W.Barrett）。；大卫·L·迪尔。 相关软件： CVC-Lite；简化；箔条… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
嵌入模式 8份文件引用(2017–2023) 软件作者： Gleißner，托比亚斯；亚历山大·斯蒂恩（Alexander Steen）；克里斯托夫·本兹穆勒 相关软件： MleanCoP；Nitpick公司；Isabelle/HOL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
GLEFatinf公司 2份文件引用（1994年至1998年） 软件作者： R.Caferra；M.赫敏特 相关软件： 表格；克里普克；数字（amp；N）… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）