scientific article; zbMATH DE number 3690750

zbMATH Open0442.68096MaRDI QIDQ3885237FDOQ3885237

Authors: David A. Plaisted 

Publication date: 1980

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

zbMATH Keywords

resolution theorem proving

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35)

Cited In (6)

• Theorem proving with abstraction
• Deduction as an engineering science
• Gazing: An approach to the problem of definition and lemma use
• A simplified problem reduction format
• The inevitability of inconsistent abstract spaces
• A theory of abstraction

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