scientific article; zbMATH DE number 3236051
From MaRDI portal
zbMath0146.24603MaRDI QIDQ5523671
Publication date: 1964
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Using resolution for deciding solvable classes and building finite models, Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method, Maslov's inverse method and decidable classes, What you always wanted to know about rigid E-unification, The complexity of the satisfiability problem for Krom formulas