scientific article; zbMATH DE number 3690750

MaRDI QIDQ3885237zbMATH OpenFDO

Authors David A. Plaisted

Publication date 1980

zbMATH Keywords

resolution theorem proving

Mathematics Subject Classification ID

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

Cited in

(7)

• 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
• Considerations on approaches and metrics in automated theorem generation/finding in geometry

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)