PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • A very good online introduction to $p$-adics are these notes; it covers modular arithmetic leading up to Hensel's, basic analysis with the numbers, the very strange metric topology of $\Bbb Q_p$ (every point inside of a ball is a center, there are locally but not globally constant functions, etc.), and a bit of field theory and algebraic number theory.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com