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

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	Without even mentioning Curry-Howard isomorphism, it seems quite natural to think of types as of (unary) predicates, and of assertions that such value has such type as of propositions.
http://www.w3.org/ns/prov#wasQuotedFrom	lambda-the-ultimate.org