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

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	If AA is a type and a:Aa:A, b:Ab:A, and C???Id A(a,b)C \Rightarrow Id_A(a,b), then p=q:Cp=q:C just if a=b:Aa=b:A, p???reflp\Rightarrow refl, and q???reflq\Rightarrow refl.
http://www.w3.org/ns/prov#wasQuotedFrom	ncatlab.org