PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • And for B I should have said If there is a one-one function with domain $B$ and range equal to all of $\mathbb{N}$, then the set $B$ is denumerable will that be a better definition ?
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com