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

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	A typing in S for a typable term M is the collection of all of the information other than M which appears in the final judgement of a proof derivation showing that M is typable.
http://www.w3.org/ns/prov#wasQuotedFrom	psu.edu