PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • I would also be interested in estimates for polytopes that result in other ways of bounding the metric cone -- for example, by including the inequalities $x_{i,j} \leq 1$ for all $i,j$.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net