PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Show there is a path, $\gamma$ from $a$ to $b$ and an analytic continuation $\{(g_t,B_t)\}_{t \in [0,1]}\}$ along $\gamma$, s.t the curve is contained in the union of all the disks, and $[f_0]_a=[g_0]_a$, $[f_n]_b=[g_1]_b$.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com