格诺·斯坦兹 DCTP 1。2–系统摘要。 （英语） Zbl 1015.68542号 Egly，Uwe（ed.）等人，《使用分析表和相关方法的自动推理》。第11届国际会议，TABLEAUX 2002，丹麦哥本哈根，2002年7月30日至8月1日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。第2381335-339页（2002年）。 小结：我们描述了定理证明程序DCTP的1.2版，它是断开演算的实现。断开演算是一种使用非刚性变量的汇合表方法。自2001年参加IJCAR系统竞赛以来，DCTP的当前版本得到了极大的扩展和增强。我们简要概述了基本的微积分和证明过程，并描述了它的一些改进和新特性。我们还介绍了关于这些新特性的一些实验结果。关于整个系列，请参见[Zbl 0993.00044号]. 引用于三文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 软件：DCTP公司 PDF格式BibTeX公司 XML格式引用 \textit{G.Stenz}，莱克特。注释计算。科学。2381335--339（2002年；Zbl 1015.68542） 全文： 链接