On the completeness of arbitrary selection strategies for paramodulation

DOI10.1007/3-540-48224-5_77MaRDI QIDQ4535075zbMATH OpenFDO

Authors Miquel Bofill, Guillem Godoy

Publication date 12 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2076/20760951

zbMATH Keywords

automated deduction

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• On Arbitrary Selection Strategies for Basic Superposition
• On restrictions of ordered paramodulation with simplification
• Goal directed strategies for paramodulation
• Paramodulation with Well-founded Orderings
• scientific article; zbMATH DE number 67451

Cited in

(5)

• Local simplification
• Selecting the selection
• On Arbitrary Selection Strategies for Basic Superposition
• Paramodulation with Well-founded Orderings
• The blossom of finite semantic trees

This page was built for publication: On the completeness of arbitrary selection strategies for paramodulation

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