Mechanizing complemented lattices within Mizar type system

DOI10.1007/s10817-015-9333-5zbMath1356.68189OpenAlexW2128085487WikidataQ59407587 ScholiaQ59407587MaRDI QIDQ286797

Could not fetch data.

Publication date: 26 May 2016

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-015-9333-5

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.