Regular Derivations in Basic Superposition-Based Calculi

DOI10.1007/11591191_21MaRDI QIDQ5387846zbMATH OpenOpenAlexFDO

Authors Vladimir Aleksić, Anatoli I. Degtyarev

Publication date 27 May 2008

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• On Arbitrary Selection Strategies for Basic Superposition
• scientific article; zbMATH DE number 1303343
• Completion of first-order clauses with equality by strict superposition
• scientific article; zbMATH DE number 1348470
• Theorem-proving with resolution and superposition

Cited in

(3)

• AC simplifications and closure redundancies in the superposition calculus
• On Arbitrary Selection Strategies for Basic Superposition
• Positive deduction modulo regular theories

This page was built for publication: Regular Derivations in Basic Superposition-Based Calculi

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