scientific article; zbMATH DE number 3339447
From MaRDI portal
Publication:5616174
zbMath0214.02601MaRDI QIDQ5616174
Publication date: 1968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Non-resolution theorem proving ⋮ Mechanizing \(\omega\)-order type theory through unification ⋮ Renamable paramodulation for automatic theorem proving with equality ⋮ The unit-clause proof procedure with equality ⋮ Splitting and reduction heuristics in automatic theorem proving ⋮ Finding resolution proofs and using duplicate goals in AND/OR trees
