Birkhoff's theorem (equational logic)

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual Formal science
rdfs:label	Birkhoff's theorem (equational logic)
owl:sameAs	dbr:Birkhoff's_theorem_(equational_logic)
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Formal_sciences
skos:prefLabel	Birkhoff's theorem (equational logic)

About: clgr:Birkhoff's_theorem_(equational_logic)