On subsumption in distributed derivations

DOI10.1007/BF00881888MaRDI QIDQ1337562zbMATH OpenOpenAlexFDO

Authors Maria Paola Bonacina, Jieh Hsiang

Publication date 10 November 1994

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00881888

zbMATH Keywords

distributed deductiondistributed subsumptionsubsumption inference rule

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 512823
• scientific article; zbMATH DE number 1342223
• A disjunctive positive refinement of model elimination and its application to subsumption deletion
• scientific article; zbMATH DE number 88997
• Subsumption algorithms based on search trees

Cites work

• scientific article; zbMATH DE number 4016226 (Why is no real title available?)
• scientific article; zbMATH DE number 3568056 (Why is no real title available?)
• scientific article; zbMATH DE number 512823 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• Automated proofs of the Moufang identities in alternative rings
• Distributed deduction by clause-diffusion: Distributed contraction and the Aquarius prover
• Theorem-proving with resolution and superposition

Cited in

(2)

• Set of support, demodulation, paramodulation: a historical perspective
• scientific article; zbMATH DE number 517009 (Why is no real title available?)

Describes a project that uses

Uses Software

• RRL
• Aquarius
• OTTER

This page was built for publication: On subsumption in distributed derivations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1337562)