Consequentia mirabilis

Property	Value
rdf:type	owl:NamedIndividual Latin logical phrase Theorem in propositional logic
rdfs:label	Consequentia mirabilis
owl:sameAs	dbr:Consequentia_mirabilis
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Theorems_in_propositional_logic http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(A%E2%80%93C) http://en.wikipedia.org/wiki/Category:Latin_logical_phrases
skos:prefLabel	Consequentia mirabilis
skos:altLabel	then Clavius' Law
is clgo:knownFor of	Christopher Clavius

About: clgr:Consequentia_mirabilis