scientific article; zbMATH DE number 1303454
From MaRDI portal
Publication:4250065
zbMath0923.03016MaRDI QIDQ4250065
Publication date: 2 August 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Boolean prime ideal theoremLindenbaum algebraorder extension principlerestricted version of the compactness theorem for propositional logicsatisfiability problem for sets of propositional clauses with 2 literals per clause
Complexity of computation (including implicit computational complexity) (03D15) Classical propositional logic (03B05) Axiomatics of classical set theory and its fragments (03E30)
Related Items (1)
This page was built for publication:
