scientific article; zbMATH DE number 3212023
From MaRDI portal
Publication:5339307
zbMath0131.01201MaRDI QIDQ5339307
Publication date: 1963
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (16)
Seventy Years of Computer Science ⋮ History and Prospects for First-Order Automated Deduction ⋮ One modification of the ordering strategy in the resolution method ⋮ Unification theory ⋮ Using rewriting rules for connection graphs to prove theorems ⋮ On connections and higher-order logic ⋮ My Life as a Logician ⋮ Banishing Ultrafilters from Our Consciousness ⋮ The Strategy Challenge in SMT Solving ⋮ The unit-clause proof procedure with equality ⋮ Theorem proving with variable-constrained resolution ⋮ Beweisalgorithmen für die Prädikatenlogik ⋮ A comparative study of several proof procedures ⋮ The linked conjunct method for automatic deduction and related search techniques ⋮ A decidable fragment of predicate calculus ⋮ Representations of the language recognition problem for a theorem prover
This page was built for publication:
