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

MaRDI QIDQ674715zbMATH OpenFDO

Authors Jinzhao Wu, Zhuojun 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)

Recommendations

• A superposition oriented theorem prover
• First-order theorem proving: foreword
• Theorem-proving with resolution and superposition
• scientific article; zbMATH DE number 1300967
• On first-order theories with provability operator
• Propositional proof systems, the consistency of first order theories and the complexity of computations
• scientific article; zbMATH DE number 1765677
• scientific article; zbMATH DE number 4035785
• Special issue: Advances in first-order theorem proving
• scientific article; zbMATH DE number 4210102

Cited in

(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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q674715)