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