PropertyValue
rdf:type
rdfs:label
  • Axiom of reducibility
owl:sameAs
prov:wasDerivedFrom
skos:prefLabel
  • Axiom of reducibility
skos:altLabel
  • axiom of reducibility
  • axioms of reducibility
is clgo:notableIdea of