<http://dbpedia.org/resource/Runtime_verification>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Logic_in_computer_science> .
<http://dbpedia.org/resource/Runtime_verification>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/resource/Analysis> .
<http://dbpedia.org/resource/Runtime_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Category:Formal_methods> .
<http://dbpedia.org/resource/Runtime_verification>	<http://www.w3.org/2007/05/powder-s#describedby>	<https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Formal_verification> .
<http://dbpedia.org/resource/Runtime_verification>	<http://www.w3.org/2000/01/rdf-schema#label>	"Runtime verification"@en .
<http://dbpedia.org/resource/Runtime_verification>	<http://www.w3.org/2007/05/powder-s#describedby>	<https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Category:Formal_methods> .
<http://dbpedia.org/resource/Runtime_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Software_testing> .
<http://dbpedia.org/resource/Runtime_verification>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Formal_verification> .
<http://dbpedia.org/resource/Runtime_verification>	<http://www.w3.org/2007/05/powder-s#describedby>	<https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Software_testing> .
<http://dbpedia.org/resource/Runtime_verification>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/ontology/Work> .
<http://dbpedia.org/resource/Runtime_verification>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Formal_methods> .