Generalized Completeness Theorem and Solvability of Systems of Boolean Polynomial Equations
From MaRDI portal
Publication:5600860
DOI10.1002/MALQ.19700160306zbMath0202.00704OpenAlexW2063215366MaRDI QIDQ5600860
Publication date: 1970
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19700160306
Related Items (3)
On the solvability of systems of linear equations over the ring $\mathbb{Z}$ of integers ⋮ On vector spaces over specific fields without choice ⋮ Satisfiability on hypergraphs
This page was built for publication: Generalized Completeness Theorem and Solvability of Systems of Boolean Polynomial Equations