scientific article; zbMATH DE number 1330425

zbMath0925.03050MaRDI QIDQ4261066

Peter Baumgartner

Publication date: 2 September 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items

Linear and unit-resulting refutations for Horn theories, Computing answers with model elimination, Ordered tableaux: Extensions and applications, A framework for using knowledge in tableau proofs, First-order automated reasoning with theories: when deduction modulo theory meets practice, Incremental theory reasoning methods for semantic tableaux, Model elimination without contrapositives, Crumpling self-avoiding surfaces

Uses Software

• SETHEO