PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • You probably end up showing that $g$ must agree on any finite subset of the disc with some bounded analytic function (a priori depending on the subset), and then e.g. Morera's theorem plus approximation ought to do the job.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net