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

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	However, there is a simple and significant relationship between a theory and the set of all its GLBs, which follows from the fact that each model of a theory is a lower-bound of the theory: Theorem 4 Let ?? be a set of clauses.
http://www.w3.org/ns/prov#wasQuotedFrom	freepatentsonline.com