<http://www.wikidata.org/entity/Q2555318>	<http://schema.org/description>	"subfield of computer science and logic"@en .
<http://www.wikidata.org/entity/Q2555318>	<http://www.w3.org/2007/05/powder-s#describedby>	<https://covidontheweb.inria.fr:4443/about/id/entity/http/ns.inria.fr/covid19/graph/wikidata-named-entities-full> .
<http://www.wikidata.org/entity/Q2555318>	<http://www.w3.org/2007/05/powder-s#describedby>	<http://localhost:8890/about/id/entity/http/www.wikidata.org/entity/Q11660> .
<http://www.wikidata.org/entity/Q2555318>	<http://www.w3.org/2000/01/rdf-schema#label>	"Automated reasoning"@en .
<http://www.wikidata.org/entity/Q2555318>	<http://www.w3.org/2007/05/powder-s#describedby>	<http://localhost:8890/about/id/entity/http/ns.inria.fr/covid19/graph/wikidata-named-entities-full> .
<http://www.wikidata.org/entity/Q2555318>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://wikiba.se/ontology#Item> .
<http://www.wikidata.org/entity/Q2555318>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"automated reasoning"@en .
<http://www.wikidata.org/entity/Q2555318>	<http://www.w3.org/2000/01/rdf-schema#label>	"automated reasoning"@en .
<http://www.wikidata.org/entity/Q2555318>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q2555318> .
<http://www.wikidata.org/entity/Q2555318>	<http://schema.org/name>	"automated reasoning"@en .