Goal-sensitive reasoning with disconnection tableaux

DOI10.1007/978-3-319-66902-1_10zbMath1496.68360OpenAlexW2752874723MaRDI QIDQ1694461

Lee A. Barnett

Publication date: 2 February 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-66902-1_10

zbMATH Keywords

theorem provinginstance-based methodsgoal-sensitivity

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Goal-sensitive reasoning with disconnection tableaux