Automatic proofs and counterexamples for some ortholattice identities
From MaRDI portal
Publication:293265
DOI10.1016/S0020-0190(98)00015-5zbMath1338.03114WikidataQ124814624 ScholiaQ124814624MaRDI QIDQ293265
Publication date: 9 June 2016
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S0020019098000155?np=y
Uses Software