<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q16887380> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q4671286> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q1914636> .
<http://www.wikidata.org/entity/Q852732>	<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/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q2996394> .
<http://www.wikidata.org/entity/Q852732>	<http://www.w3.org/2007/05/powder-s#describedby>	<https://covidontheweb.inria.fr:4443/about/id/entity/http/www.wikidata.org/entity/Q60502> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q3249551> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q9332> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q3249551> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q11862829> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q483247> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q2996394> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q11862829> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q483247> .
<http://www.wikidata.org/entity/Q852732>	<http://www.w3.org/2000/01/rdf-schema#label>	"proof theory"@en .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q475023> .
<http://www.wikidata.org/entity/Q852732>	<http://schema.org/description>	"branch of mathematical logic"@en .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q1166618> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q16722960> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q2990593> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q16722960> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q2990593> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q336> .
<http://www.wikidata.org/entity/Q852732>	<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/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q9081> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q20937557> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q14912053> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q9081> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q20937557> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q1150070> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q14912053> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q11028> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q1150070> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q8078> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q2200417> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q11028> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q2200417> .
<http://www.wikidata.org/entity/Q852732>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://wikiba.se/ontology#Item> .
<http://www.wikidata.org/entity/Q852732>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"proof theory"@en .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q852732> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q64732777> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q488383> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q26907166> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q4026292> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q488383> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q1190554> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q1047113> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q781413> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q7184903> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q13878858> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q492> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q1047113> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q58415929> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q64732777> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q492> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q7184903> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q13878858> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q5891> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q58415929> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q26907166> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q1190554> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q4026292> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q22299483> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q781413> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q99527517> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q22299433> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q35120> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q14819853> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q35120> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q22299433> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q16887380> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q22299483> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q99527517> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q1914636> .
<http://www.wikidata.org/entity/Q852732>	<http://schema.org/name>	"proof theory"@en .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q9332> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q14819853> .
<http://www.wikidata.org/entity/Q852732>	<http://www.wikidata.org/prop/direct/P279>	<http://www.wikidata.org/entity/Q816264> .