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

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	Suppose that AA is a type which has decidable equality in the propositions as types logic (which is not the logic of h-propositions usually used in HoTT).
http://www.w3.org/ns/prov#wasQuotedFrom	ncatlab.org