Connection Tableaux with Lazy Paramodulation

DOI10.1007/11814771_10MaRDI QIDQ3613404zbMATH OpenOpenAlexFDO

Authors Andrei Paskevich

Publication date 12 March 2009

Published in Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11814771_10

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Connection tableaux with lazy paramodulation
• scientific article; zbMATH DE number 1341619
• scientific article; zbMATH DE number 834568
• The hyper tableaux calculus with equality and an application to finite model computation
• The disconnection tableau calculus

Cited in

(5)

• The hyper tableaux calculus with equality and an application to finite model computation
• Efficient Low-Level Connection Tableaux
• scientific article; zbMATH DE number 1882047 (Why is no real title available?)
• scientific article; zbMATH DE number 834568 (Why is no real title available?)
• Connection tableaux with lazy paramodulation

This page was built for publication: Connection Tableaux with Lazy Paramodulation

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