PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • One might want to find if there is a base ?? such that the iteration ends exactly at x = 1, by trying tetra-roots of height h, for h = {2, 3, ...}.
http://www.w3.org/ns/prov#wasQuotedFrom
  • oeis.org