scientific article; zbMATH DE number 794244

zbMATH Open0839.68092MaRDI QIDQ4847004FDOQ4847004

Authors: Maria Paola Bonacina, Jieh Hsiang 

Publication date: 28 May 1996

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

Recommendations

• Distributed deduction by clause-diffusion: Distributed contraction and the Aquarius prover
• A model and a first analysis of distributed-search contraction-based strategies
• scientific article; zbMATH DE number 1301749
• scientific article; zbMATH DE number 512823
• On the reconstruction of proofs in distributed theorem proving: A Modified Clause-Diffusion method

zbMATH Keywords

backward contractiondeduction by clause-diffusiondistributed derivation

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (5)

• Larry Wos: visions of automated reasoning
• Distributed reasoning for restricted weakly-linear disjunctive tuple-generating dependencies
• Layered clause selection for theory reasoning (short paper)
• The clause-diffusion theorem prover Peers-mcd (system description)
• Distributed deduction by clause-diffusion: Distributed contraction and the Aquarius prover

Uses Software

• OTTER

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