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

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 Theorem 30 we can grant that every -closed set in is of the form where and is a protection because is an -subbase in () [20].
http://www.w3.org/ns/prov#wasQuotedFrom	hindawi.com