About: http://webisa.webdatacommons.org/402244202

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	By the claim, the fj ???s agree on theircommon domains, so that g is a function with domain x and (???m ??? x) ??(m, g|m, g(m), w).By the hypothesis of the theorem applied to g there is a unique y such that??(x, g, y, w).
http://www.w3.org/ns/prov#wasQuotedFrom	slideshare.net