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

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	Thus u = gx = gu = F(u, u), i.e., u is a common fixed point of F and g.
http://www.w3.org/ns/prov#wasQuotedFrom	fixedpointtheoryandapplications.com