PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • The number of such primes that are less than or equal to is a function of usually denoted by .The graph of is an irregular step function that jumps by 1 for every such that is prime.This Demonstration illustrates the remarkable fact that we can replicate the jumps of this step function by using a sum that involves zeros of Dirichlet -functions.
http://www.w3.org/ns/prov#wasQuotedFrom
  • wolfram.com