PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • It can vanish in at most one of these quarters, and if so there is at least one other quarter which is not adjacent to that quarter; thus there is a quarter in which $|f^{(n)}|\gt \beta_{n+1}(L)/(L/4)$, and we obtain a contradiction by choosing $\beta_{n+1}(L)=(L/4)\beta_n(L/4)$.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com