社会可视化者 8份文件引用(2007–2013) 软件作者： 亚历山大·阿提基斯；马雷克·塞尔戈特（Marek Sergot）；杰里米·皮特 相关软件： 岛国；CCalc；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
LogiKEy公司 5份文件引用(2020–2022) 软件作者： Christoph Benzmüller、Xavier Parent、Leendert van der Torre 相关软件： Isabelle/HOL；尼特皮克；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
InstQL软件 1份文件引用(2010) 软件作者： 卢克·霍普顿；欧文·克利夫（Owen Cliffe）；玛丽娜·德沃斯；朱利安·帕吉特 相关软件： 斯莫德尔斯 主要字段： 计算机科学（68-XX）