scientific article; zbMATH DE number 3858460

MaRDI QIDQ3326883zbMATHFDO

Authors Norbert Eisinger, M. Weigele

Publication date 1983

zbMATH Keywords

controlled splitting of problemsMarkgraf Karl theorem proving systemmodification of the clausal normal form algorithm

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 3959369
• Optimizing the clausal normal form transformation
• The 481 ways to split a clause and deal with propositional variables
• scientific article; zbMATH DE number 404251
• scientific article; zbMATH DE number 4022664

Cited in

(3)

• scientific article; zbMATH DE number 3959369 (Why is no real title available?)
• Using tactics to reformulate formulae for resolution theorem proving
• Optimizing the clausal normal form transformation

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