Gabbay's separation theorem

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual Theorem
rdfs:label	Gabbay's separation theorem
owl:sameAs	dbr:Gabbay's_separation_theorem
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(D%E2%80%93H) http://en.wikipedia.org/wiki/List_of_theorems http://en.wikipedia.org/wiki/Category:Theorems
skos:prefLabel	Gabbay's separation theorem
is clgo:knownFor of	Dov Gabbay

About: clgr:Gabbay's_separation_theorem