scientific article; zbMATH DE number 3441640
From MaRDI portal
zbMath0281.68042MaRDI QIDQ4766612
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Evidence algorithm and inference search in first-order logics, Proof strategies in linear logic, To Vladimir Lifschitz on His 65th Birthday, Using resolution for deciding solvable classes and building finite models, The resolution method for one reducible class of formulas of the first-order modal logic S4., Non-resolution theorem proving, Metamathematical approach to proving theorems of discrete mathematics, Linear resolution with selection function
