Connection Tableaux with Lazy Paramodulation

DOI10.1007/11814771_10zbMATH Open1222.03015OpenAlexW2124368828MaRDI QIDQ3613404FDOQ3613404

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

Recommendations

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Efficient Low-Level Connection Tableaux
• Connection tableaux with lazy paramodulation
• The hyper tableaux calculus with equality and an application to finite model computation

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)