scientific article; zbMATH DE number 4118335

zbMATH Open0683.03006MaRDI QIDQ4732442

Maokang Wu

Publication date: 1988

Title of this publication is not available (Why is that?)

zbMATH Keywords

completeness of a resolution deduction method for Horn logic with equalityinput semi-lock refutation

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

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 Q4732442)