scientific article; zbMATH DE number 1552534

zbMath0971.68141MaRDI QIDQ4524794

Michael Kohlhase

Publication date: 30 October 2001

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

zbMATH Keywords

automated theorem proving

Mathematics Subject Classification ID

Related Items

Steps toward a computational metaphysics ⋮ Hilbert's epsilon as an operator of indefinite committed choice ⋮ Higher-Order Multi-Valued Resolution