scientific article; zbMATH DE number 4022664

zbMATH Open0628.68066MaRDI QIDQ3765263FDOQ3765263

Authors: Ulf R. Schmerl 

Publication date: 1987

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

Recommendations

• Resolution on formula-trees
• Resolution theorem proving
• scientific article; zbMATH DE number 4039343
• scientific article; zbMATH DE number 2222011
• A resolution rule for well-formed formulae

zbMATH Keywords

nonclausal resolution calculus on formula-trees

Mathematics Subject Classification ID

Cited In (22)

• Structural resolution for logic programming
• Resolution on formula-trees
• A formally proved, complete algorithm for path resolution with symbolic links
• Semantic trees revisited: some new completeness results
• Press-ready deduction trees in classical logic using point-plus-expressions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Resolution for quantified monosigned formulae
• Title not available (Why is that?)
• Complexity of translations from resolution to sequent calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Resolution theorem proving
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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