库布斯 23篇文献引用(2002–2021) 软件作者： 阿卜杜勒瓦赫卜·阿亚里；戴维·巴恩斯 相关软件： Quaffle；semprop；部门QBF… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
semprop公司 19份文件引用(2002–2023) 软件作者： 莱茨，莱因霍尔德 相关软件： Quaffle；布洛克；QUBOS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
dCAQE公司 6篇文献引用(2019–2022) 软件作者： Tentrup，Leander；马库斯·拉贝。 相关软件： HQPre；iProver；CAQE… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
qbf2epr 1份文件引用(2021) 软件作者： 玛蒂娜·塞德尔、弗洛里安·朗辛、阿明·比尔 相关软件： E定理证明；TPTP；拉链位置… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）