Short single axioms for Boolean algebra
type: Item
instance of: scholarly article
title: Short single axioms for Boolean algebra
zbMATH Open document ID: 1014.06012
DOI: 10.1023/A:1020542009983
author: Robert Veroff
author: Branden Fitelson
author: Andrew Feist
author: Larry Wos
author: William McCune
author: Kenneth D. Harris
published in: Journal of Automated Reasoning
publication date: 2003-04-28T00:00:00Z
Mathematics Subject Classification ID: 06E05
Mathematics Subject Classification ID: 06-04
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1902321
zbMATH Keywords: Boolean algebra
zbMATH Keywords: Sheffer stroke
zbMATH Keywords: single axiom
zbMATH Keywords: single equational axioms
MaRDI profile type: Publication
full work available at URL: a:1020542009983
OpenAlex ID: W1536277859
Wikidata QID: Q60061107
description: scientific article; zbMATH DE number 1902321