蛋白

蛋白质,一个具有理论界面的证明者。蛋白质(具有理论扩展界面的证明者)是基于PTTP的一阶定理证明器。除了为模型消除已知的各种标准改进之外,蛋白质还提供了基于案例推理的模型消除的变体,并且不需要逆反。这项研究是由DFG在“SwitWukktPalm DeDukTug”中赞助的。


ZBMaCT中的参考文献(15篇文章中引用)

显示结果1至15的15。
按年份排序(引文

  1. Siekmann,J.O.R.G;克里斯托夫,Autxier-SerGe:计算机支持的数学(ω)mega(2006)
  2. 克里斯托夫,迈耶,安德烈亚斯;SoGe,Volker:桥接定理证明和数学知识检索(2005)
  3. 罪人亚历克斯,克雷曼,托马斯:克瑞珀——在你的口袋里。系统描述(2005)
  4. Siekmann,J.O.R.G;克里斯托夫(:Omega):计算机支持的数学(2004)
  5. 基于知识的证据规划(1999)
  6. 鲍姆加特,彼得:联系推理中的理论推理(1998)
  7. 菲舍尔,贝尔恩德;舒曼,Johann;SnelTin,Gregor:基于演绎的软件构件检索(1998)
  8. 赖夫,沃尔夫冈;谢尔霍恩,格哈德:大定理中的定理证明(1998)
  9. 肖布、托斯滕、布吕宁、斯特凡:默认推理的Prolog技术:证明理论和编译技术(1998)
  10. 托马斯,贝尔恩德:用约束定理证明器分析银行费用计算的规则集(1998)
  11. 鲍姆加特,彼得;Furbah,Ulrich;StoZunn堡,Fried:用模型消除计算答案(1997)
  12. 菲舍尔,贝尔恩德;舒曼,Johann M. Ph.:Setho走向软件工程:ATP在软件重用中的应用(1997)
  13. 鲍姆加特、彼得:霍恩理论的线性和单位反驳(1996)
  14. 德格泰雷夫,阿纳托利;Voronkov,安德列:关于僵硬(E)-统一,你一直想知道的(1996)
  15. 鲍姆加特,彼得;FurbAh,Ulrich:无对偶模型消除(1994)