scientific article; zbMATH DE number 834570

zbMath0879.03007MaRDI QIDQ4860657

Christoph Weidenbach

Publication date: 12 January 1998

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

zbMATH Keywords

first-order logicmany-sorted logictableaux methodautomated theorem-proving

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35)

Related Items (6)

Unification in sort theories and its applications ⋮ First-order automated reasoning with theories: when deduction modulo theory meets practice ⋮ SPASS & FLOTTER version 0.42 ⋮ Unification in pseudo-linear sort theories is decidable ⋮ Tableau methods for a logic with term declarations ⋮ Axiomatization of Typed First-Order Logic

This page was built for publication: