scientific article; zbMATH DE number 3236051

MaRDI QIDQ5523671zbMATH OpenFDO

Authors S. Yu. Maslov

Publication date 1964

zbMATH Keywords

mathematical logic

Cited in

(5)

• Using resolution for deciding solvable classes and building finite models
• Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method
• What you always wanted to know about rigid \(E\)-unification
• Maslov's inverse method and decidable classes
• The complexity of the satisfiability problem for Krom formulas

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5523671)