| http://www.w3.org/ns/prov#value | - One can use this theorem to deduce several earlier theorems, such as Theorem 1 and Theorem 2, except for some epsilon losses. (It is certainly of interest to try to see how one can remove these epsilon losses; I know this problem is currently being looked at.)
|
