scientific article; zbMATH DE number 3330761
From MaRDI portal
zbMath0208.02302MaRDI QIDQ5608782
No author found.
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Basic research problems: The problem of strategy and hyperresolution, Goal directed strategies for paramodulation, Rewrite method for theorem proving in first order theory with equality, Unnecessary inferences in associative-commutative completion procedures, Automated proofs of the Moufang identities in alternative rings, An intensional epistemic logic, Complexity of unification problems with associative-commutative operators, The ECO family, Complete demodulation for automatic theorem proving
