scientific article; zbMATH DE number 794244

MaRDI QIDQ4847004zbMATH OpenFDO

Authors Maria Paola Bonacina, Jieh Hsiang

Publication date 28 May 1996

zbMATH Keywords

backward contractiondeduction by clause-diffusiondistributed derivation

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

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

Cited in

(7)

• Distributed deduction by clause-diffusion: Distributed contraction and the Aquarius prover
• Distributed reasoning for restricted weakly-linear disjunctive tuple-generating dependencies
• Layered clause selection for theory reasoning (short paper)
• Larry Wos: visions of automated reasoning
• On the reconstruction of proofs in distributed theorem proving: A Modified Clause-Diffusion method
• scientific article; zbMATH DE number 512823 (Why is no real title available?)
• The clause-diffusion theorem prover Peers-mcd (system description)

Describes a project that uses

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)