scientific article; zbMATH DE number 4089522

MaRDI QIDQ3818296zbMATH OpenFDO

Authors Maokang Wu

Publication date 1986

zbMATH Keywords

equivalence of unit and input refutation with equalityparamodulationresolution

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Nonequivalence of input paramodulation refutation and unit paramodulation refutation
• Problem corner: Reasoning about equality
• Theorem-proving with resolution and superposition
• scientific article; zbMATH DE number 4041864
• Resolution theorem proving

Cited in

(4)

• Nonequivalence of input paramodulation refutation and unit paramodulation refutation
• Problem corner: Reasoning about equality
• scientific article; zbMATH DE number 1762830 (Why is no real title available?)
• scientific article; zbMATH DE number 4118335 (Why is no real title available?)

This page was built for publication:

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