PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Now (x)?? = 1 if and only if x is a whole number, that is,ker ?? = Z. From Theorem 2.16 we deduce that ?? : R/Z ??? im ?? , and so R/Z (the reals ?? =modulo 1) is isomorphic to the group im ?? of complex numbers of modulus 1. 32.
http://www.w3.org/ns/prov#wasQuotedFrom
  • slideshare.net