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

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	Dependent types: dependent types are a means to tell the compiler that here is an Int whose values are between 2 and 87 or here is a String of maximum length 12 containing only alphanumeric characters".
http://www.w3.org/ns/prov#wasQuotedFrom	stackexchange.com