scientific article; zbMATH DE number 1341475
From MaRDI portal
Publication:4263014
zbMath0931.03016MaRDI QIDQ4263014
Wolfgang Ahrendt, Martin Giese
Publication date: 28 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
elimination of existential quantifiersautomated proof searchcalculi for full first-order predicate logicSkolem termsuse of Hilbert's epsilon terms for automated theorem proving
Related Items (6)
A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux ⋮ Resolution with order and selection for hybrid logics ⋮ \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps ⋮ Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs ⋮ Hilbert's epsilon as an operator of indefinite committed choice ⋮ Machine learning guidance for connection tableaux
This page was built for publication:
