比格尔犬 swMATH ID: 13649 软件作者: 彼得·鲍姆加特纳(Peter Baumgartner);约书亚·巴克斯(Joshua Bax);乌韦州瓦尔德曼 描述: Beagle–层次叠加定理证明程序。Beagle是一个一阶逻辑模内建理论的自动定理证明器。它实现了层次叠加演算的改进版本。本系统描述的重点是Beagle的证明过程、背景推理设施、实现和实验结果。 主页: http://link.springer.com/chapter/10.1007%2F978-3-319-21401-6_25 相关软件: z3(零3);TPTP公司;iProver(iProver);SPASS+T系列;VAMPIRE公司;简化;CVC4型;SMT-LIB公司;睫毛;戈兰;大锤;Nitpick公司;超小卫星;Why3号机组;迪杜克蒂;布吉;ArchSAT公司;CoqInE公司;竖琴;CoqMT公司 引用于: 3文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 Beagle–层次叠加定理证明程序。 Zbl 1465.68277号彼得·鲍姆加特纳;约书亚·巴克斯;乌韦州瓦尔德曼 2015 全部的 前5名12位作者引用 1 彼得·鲍姆加特纳 1 约书亚·巴克斯 1 纪尧姆·伯勒 1 纪尧姆·伯里 1 拉斐尔·考德利埃 1 大卫·德拉哈耶 1 皮埃尔·哈尔马格兰德 1 奥利维尔·赫曼特 1 贾尔斯·里格尔 1 马丁·苏达 1 安德烈·沃伦科夫 1 乌韦州瓦尔德曼 连载1篇 1 自动推理杂志 在2个字段中引用 三 计算机科学(68-XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文