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

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	...ach expression, runs the type checker, deletes some of the candidate types based on the errors (if any) reported by the type checker, and repeats this process until the type checker reports no errors =-=[FF01]-=-.
http://www.w3.org/ns/prov#wasQuotedFrom	psu.edu