PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Actually, maybe my question is whether < is meaningful in modular arithmetic. @Arturo as I said I am not a mathematician, and I do not understand your question. f(x) takes an integer argument and the result is an integer?
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com