<https://github.com/topics/coq-library#rdf_load_html_response>	<http://purl.org/net/provenance/ns#retrievedBy>	_:b19926567 .
_:b19926567	<http://purl.org/net/provenance/ns#accessedService>	<https://github.com/topics/coq-library> .
_:b19926567	<http://purl.org/net/provenance/ns#performedBy>	<https://github.com/topics/coq-library#spongerInstance> .
_:b19926567	<http://www.w3.org/2007/05/powder-s#describedby>	<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/coq-library> .
_:b19926567	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://purl.org/net/provenance/ns#DataAccess> .
_:b19926567	<http://purl.org/net/provenance/ns#performedAt>	"2025-05-12T16:24:04.739562"^^<http://www.w3.org/2001/XMLSchema#dateTime> .