PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • This result is a polynomial in n for any natural number a, e.g. : And @@ (PolynomialQ[#, n] & /@ Sum[i^(Range[100]), {i, 1, n}])
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com