invariant m(B - CaLiGraph

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual First-order theory
rdfs:label	invariant m(B
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/List_of_first-order_theories
skos:prefLabel	invariant m(B

About: clgr:invariant m(B_(17042521)