scientific article; zbMATH DE number 3444822
From MaRDI portal
Publication:4770009
zbMath0283.68058MaRDI QIDQ4770009
No author found.
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Constrained equational deduction ⋮ Basic research problems: The problem of strategy and hyperresolution ⋮ The problem of hyperparamodulation ⋮ Proof normalization for resolution and paramodulation ⋮ A finitely axiomatized formalization of predicate calculus with equality ⋮ Unification theory ⋮ Paramodulated connection graphs ⋮ The problem of guaranteeing the existence of a complete set of reductions ⋮ Horn equational theories and paramodulation