<http://webisa.webdatacommons.org/10587001>	<http://www.w3.org/ns/prov#value>	"2.mpz_t is giving some errors.does it need a header(mpz_t has bn used in domain_parameters.h and other files too)" .
<http://webisa.webdatacommons.org/10587001>	<http://www.w3.org/ns/prov#wasQuotedFrom>	<jonasfj.dk> .
<http://webisa.webdatacommons.org/prov/215740424>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://webisa.webdatacommons.org/10587001> .
<http://webisa.webdatacommons.org/10587001>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/ns/prov#Entity> .