scientific article; zbMATH DE number 3349334
From MaRDI portal
Publication:5624685
zbMath0219.68050MaRDI QIDQ5624685
No author found.
Publication date: 1969
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Non-resolution theorem proving, A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains, Experiments with a heuristic theorem-proving program for predicate calculus with equality, Theorem proving with variable-constrained resolution, Automatic program verification. I: A logical basis and its implementation, A man-machine theorem-proving system, MRPPS?An interactive refutation proof procedure system for question-answering
