scientific article; zbMATH DE number 4213954

MaRDI QIDQ3360832zbMATH OpenFDO

Authors K. Sh. Pkhakadze

Publication date 1990

zbMATH Keywords

algorithmspropositional algebraunsatisfiability

Mathematics Subject Classification ID

Classical propositional logic (03B05) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Cited in

(6)

• Polynomial algorithm of limited propositional deduction
• Proposition algebra
• scientific article; zbMATH DE number 6001202 (Why is no real title available?)
• scientific article; zbMATH DE number 3639177 (Why is no real title available?)
• scientific article; zbMATH DE number 782043 (Why is no real title available?)
• scientific article; zbMATH DE number 915924 (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 Q3360832)