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

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	PVS, whose logic is a simple type theory extended with dependent types and subtyping (but without polymorphism), provides monolithic axiomatic packages for datatypes [26] and codatatypes =-=[11]-=-.
http://www.w3.org/ns/prov#wasQuotedFrom	psu.edu