<http://ns.inria.fr/covid19/ann/25367ea0d38021b2e83d9db4e06158029614c9d1>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/ns/oa#Annotation> .
<http://ns.inria.fr/covid19/ann/25367ea0d38021b2e83d9db4e06158029614c9d1>	<http://www.w3.org/2000/01/rdf-schema#isDefinedBy>	<http://ns.inria.fr/covid19/dataset-1-2> .
<http://ns.inria.fr/covid19/ann/25367ea0d38021b2e83d9db4e06158029614c9d1>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/ns/prov#Entity> .
<http://ns.inria.fr/covid19/ann/25367ea0d38021b2e83d9db4e06158029614c9d1>	<http://www.w3.org/2000/01/rdf-schema#label>	"named entity 'proof search'" .
<http://ns.inria.fr/covid19/ann/25367ea0d38021b2e83d9db4e06158029614c9d1>	<http://schema.org/about>	<http://ns.inria.fr/covid19/1f2ecf56f75508704aa31cbbd51a04197e90e749> .
<http://ns.inria.fr/covid19/ann/25367ea0d38021b2e83d9db4e06158029614c9d1>	<http://purl.org/dc/terms/creator>	<https://team.inria.fr/wimmics/> .
<http://ns.inria.fr/covid19/ann/25367ea0d38021b2e83d9db4e06158029614c9d1>	<http://purl.org/dc/terms/subject>	"Computer_Science" .
<http://ns.inria.fr/covid19/ann/25367ea0d38021b2e83d9db4e06158029614c9d1>	<http://www.w3.org/ns/prov#wasGeneratedBy>	<http://ns.inria.fr/covid19/ProvenanceEF> .
<http://ns.inria.fr/covid19/ann/25367ea0d38021b2e83d9db4e06158029614c9d1>	<http://www.w3.org/ns/oa#hasTarget>	<http://ns.inria.fr/covid19/ann/target/25367ea0d38021b2e83d9db4e06158029614c9d1> .
<http://ns.inria.fr/covid19/ann/25367ea0d38021b2e83d9db4e06158029614c9d1>	<http://www.w3.org/ns/oa#hasBody>	<http://www.wikidata.org/entity/Q431667> .