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

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	In the propositions as types-paradigm, every proposition is a type, and also every type is identified with a proposition (the proposition that it is an inhabited type).
http://www.w3.org/ns/prov#wasQuotedFrom	ncatlab.org