<http://www.w3.org/2002/07/owl#>	<http://www.w3.org/2007/05/powder-s#describedby>	<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods> .
<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods>	<http://vocab.deri.ie/void#inDataset>	<https://github.com/topics/formal-methods> .
<http://www.w3.org/1999/02/22-rdf-syntax-ns#>	<http://www.w3.org/2007/05/powder-s#describedby>	<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods> .
<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods>	<http://www.openlinksw.com/schema/attribution#isDescribedUsing>	<http://rdfs.org/sioc/ns#> .
<http://dev.restore.ovi.cnr.it:8890/about/id/entity/https/github.com/topics/formal-methods#h-feed>	<http://www.w3.org/2007/05/powder-s#describedby>	<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods> .
<http://rdfs.org/sioc/ns#>	<http://www.w3.org/2007/05/powder-s#describedby>	<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods> .
<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://purl.org/ontology/bibo/Document> .
<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods>	<http://www.openlinksw.com/schema/attribution#isDescribedUsing>	<http://xmlns.com/foaf/0.1/> .
<https://github.com/topics/formal-methods#rdf_load_html_response>	<http://www.w3.org/2007/05/powder-s#describedby>	<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods> .
<http://schema.org/>	<http://www.w3.org/2007/05/powder-s#describedby>	<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods> .
<http://purl.org/dc/elements/1.1/>	<http://www.w3.org/2007/05/powder-s#describedby>	<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods> .
<https://github.com/topics/formal-methods#DataCreation>	<http://www.w3.org/2007/05/powder-s#describedby>	<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods> .
<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods>	<http://www.openlinksw.com/schema/attribution#isDescribedUsing>	<http://purl.org/ontology/bibo/> .
<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods>	<http://www.openlinksw.com/schema/attribution#isDescribedUsing>	<http://bblfish.net/work/atom-owl/2006-06-06/#> .
<http://dev.restore.ovi.cnr.it:8890/about/id/entity/https/github.com/topics/formal-methods#content>	<http://www.w3.org/2007/05/powder-s#describedby>	<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods> .
<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods>	<http://purl.org/dc/elements/1.1/title>	"https://github.com/topics/formal-methods" .
<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods>	<http://www.w3.org/2002/07/owl#sameAs>	<https://github.com/topics/formal-methods#this> .
<http://purl.org/ontology/bibo/>	<http://www.w3.org/2007/05/powder-s#describedby>	<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods> .
_:b19569805	<http://www.w3.org/2007/05/powder-s#describedby>	<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods> .
<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods>	<http://www.openlinksw.com/schema/attribution#isDescribedUsing>	<http://schema.org/> .
<http://bblfish.net/work/atom-owl/2006-06-06/#>	<http://www.w3.org/2007/05/powder-s#describedby>	<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods> .
<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods>	<http://www.openlinksw.com/schema/attribution#isDescribedUsing>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods>	<http://www.openlinksw.com/schema/attribution#isDescribedUsing>	<http://purl.org/dc/elements/1.1/> .
_:b19569804	<http://www.w3.org/2007/05/powder-s#describedby>	<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods> .
<http://xmlns.com/foaf/0.1/>	<http://www.w3.org/2007/05/powder-s#describedby>	<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods> .
<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods>	<http://www.openlinksw.com/schema/attribution#isDescribedUsing>	<http://www.w3.org/2002/07/owl#> .
<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods>	<http://schema.org/about>	<http://dev.restore.ovi.cnr.it:8890/about/id/entity/https/github.com/topics/formal-methods#h-feed> .
<http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/topics/formal-methods>	<http://xmlns.com/foaf/0.1/primaryTopic>	<http://dev.restore.ovi.cnr.it:8890/about/id/entity/https/github.com/topics/formal-methods> .