scientific article; zbMATH DE number 4037804

MaRDI QIDQ3777983zbMATH OpenFDO

Authors Uwe Schöning

Publication date 1987

zbMATH Keywords

automatic theorem provinglogic programmingPROLOGresolution

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical propositional logic (03B05) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)

Cited in

(8)

• Unrestricted resolution versus N-resolution
• scientific article; zbMATH DE number 5728686 (Why is no real title available?)
• scientific article; zbMATH DE number 52096 (Why is no real title available?)
• Logics for Computer Science
• scientific article; zbMATH DE number 4114620 (Why is no real title available?)
• scientific article; zbMATH DE number 777408 (Why is no real title available?)
• On Incremental Pre-processing for SMT
• Propositional Proof Systems

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