scientific article; zbMATH DE number 3407195
From MaRDI portal
Publication:5672214
zbMath0257.68082MaRDI QIDQ5672214
Publication date: 1969
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 (11)
A New Algorithm for Computing Least Generalization of a Set of Atoms ⋮ The disconnection tableau calculus ⋮ Using rewriting rules for connection graphs to prove theorems ⋮ On the recognition of the tautological nature of propositional formulas ⋮ On connections and higher-order logic ⋮ Representation of proofs by colored graphs and the Hadwiger conjecture ⋮ Complexity of resolution proofs and function introduction ⋮ A nucleus of a theorem-prover described inAlgol-68 ⋮ Deduction search in calculi of general type ⋮ Linear resolution with selection function ⋮ Theorem proving with variable-constrained resolution
This page was built for publication:
