Publication:4770009
From MaRDI portal
zbMath0283.68058MaRDI QIDQ4770009
No author found.
Publication date: 1973
Related Items
Unification theory, Paramodulated connection graphs, Basic research problems: The problem of strategy and hyperresolution, The problem of hyperparamodulation, The problem of guaranteeing the existence of a complete set of reductions, Horn equational theories and paramodulation, A finitely axiomatized formalization of predicate calculus with equality