PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • For the other direction, of course, there is some sort of upper bound, since there are only finitely many knot complements with a triangulation by $\leq n$ tetrahedra, so just take the one with the maximal crossing number!
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net