PropertyValue
rdf:type
rdfs:label
  • Convergence proof techniques
owl:sameAs
prov:wasDerivedFrom
skos:prefLabel
  • Convergence proof techniques
skos:altLabel
  • tool
  • contraction mappings are often used