杰拉尔德·彼得森。 建立完备性的一种技术可以得到等式定理证明。 （英语） 兹伯利0522.68087 SIAM J.计算。 12, 82-100 (1983). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于2评论引用于33文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 03B35型 证明和逻辑操作的机械化 03B10号机组 经典一阶逻辑 关键词：一阶逻辑;语义树;简化;完整性;分辨率;准调制;简化排序 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Peterson}，SIAM J.计算机。12、82--100（1983年；Zbl 0522.68087） 全文： 内政部 链接