scientific article; zbMATH DE number 3858460

zbMATH Open0539.68085MaRDI QIDQ3326883FDOQ3326883

Authors: Norbert Eisinger, M. Weigele 

Publication date: 1983

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Cited In (3)

• Title not available (Why is that?)
• Optimizing the clausal normal form transformation
• Using tactics to reformulate formulae for resolution theorem proving

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)