On subsumption in distributed derivations

DOI10.1007/BF00881888zbMath0812.68110OpenAlexW2002310337MaRDI QIDQ1337562

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

Related Items (1)

Set of support, demodulation, paramodulation: a historical perspective

Uses Software

• OTTER
• Aquarius
• RRL

Cites Work

• Theorem-proving with resolution and superposition
• Automated proofs of the Moufang identities in alternative rings
• Distributed deduction by clause-diffusion: Distributed contraction and the Aquarius prover
• A Machine-Oriented Logic Based on the Resolution Principle
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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