PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Of course, $(d???1)^n$ really is an upper bound, since $\mu= \mathrm{dim} \,\mathbb{C}[x_1, \ldots, x_n]/(\partial f/ \partial x_i) \le (d-1)^n$ if finite by Bezout.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net