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

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	+ (** [string_of_lltype] of LLVM 2.8 has a bug: if it tries to print a recursive type, + Kabooom! *) + (* Here is a fix *) + let string_of_lltype defined_names ty =
http://www.w3.org/ns/prov#wasQuotedFrom	bitbucket.org