On first-order theorem proving using generalized odd-superpositions II

zbMath0864.03008MaRDI QIDQ674715

Jinzhao Wu, Zhuo-Jun Liu

Publication date: 15 June 1997

Published in: Science in China. Series E (Search for Journal in Brave)

zbMATH Keywords

incompletenesscomplete proof systemextended odd-superpositions IIfirst-order polynomialsodd-factorsremainder method

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (1)

Linear strategy for Boolean ring based theorem proving

This page was built for publication: On first-order theorem proving using generalized odd-superpositions II