scientific article; zbMATH DE number 1552522

zbMath0971.03018MaRDI QIDQ4524782

Bernhard Beckert, Reiner Hähnle

Publication date: 29 July 2001

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

zbMATH Keywords

automated theorem provingautomated deductionanalytic tableauxnon-clausal tableauxtableaux for full first-order logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items

The disconnection tableau calculus, Depth-first proof search without backtracking for free-variable clausal tableaux, Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\)