PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • It must be also mentioned that in Mathematica, Maple, and other powerful mathematical software packages, the Favard constants are represented by sums of and related functions, which are calculated by the use of Euler-Maclaurin summation and functional equations.
http://www.w3.org/ns/prov#wasQuotedFrom
  • hindawi.com