Problem corner: Robbins algebra: Conditions that make a near-Boolean algebra Boolean
From MaRDI portal
Publication:751313
DOI10.1007/BF00244359zbMath0714.68097MaRDI QIDQ751313
Publication date: 1990
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
DB lookup for MSC labels failed
Related Items
Automated proofs of equality problems in Overbeek's competition, The resonance strategy, Using hints to increase the effectiveness of an automated reasoning program: Case studies
Uses Software