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

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	An experimental programming language with a unique view of types: types are just properties (eg. ???f :: Int -> Int??? is another way of saying ???for all x, if x is an Int then f x is an Int???).
http://www.w3.org/ns/prov#wasQuotedFrom	wordpress.com