<http://ns.inria.fr/covid19/1afa03e493afeb67e3bdd8b4551ea6f74c0fb8cc>	<http://purl.org/dc/elements/1.1/creator>	"Rakamari\u0107, Zvonimir" .
<http://ns.inria.fr/covid19/1afa03e493afeb67e3bdd8b4551ea6f74c0fb8cc>	<http://purl.org/dc/terms/abstract>	<http://ns.inria.fr/covid19/1afa03e493afeb67e3bdd8b4551ea6f74c0fb8cc#abstract> .
<http://ns.inria.fr/covid19/1afa03e493afeb67e3bdd8b4551ea6f74c0fb8cc>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://purl.org/ontology/bibo/AcademicArticle> .
<http://ns.inria.fr/covid19/1afa03e493afeb67e3bdd8b4551ea6f74c0fb8cc>	<http://purl.org/ontology/bibo/doi>	"10.1007/978-3-030-51074-9_2" .
<http://ns.inria.fr/covid19/1afa03e493afeb67e3bdd8b4551ea6f74c0fb8cc>	<http://purl.org/dc/elements/1.1/creator>	"Baranowski, Marek" .
<http://ns.inria.fr/covid19/1afa03e493afeb67e3bdd8b4551ea6f74c0fb8cc>	<http://ns.inria.fr/covid19/property/hasTitle>	<http://ns.inria.fr/covid19/1afa03e493afeb67e3bdd8b4551ea6f74c0fb8cc#title> .
<http://ns.inria.fr/covid19/1afa03e493afeb67e3bdd8b4551ea6f74c0fb8cc>	<http://purl.org/dc/elements/1.1/creator>	"He, Shaobo" .
<http://ns.inria.fr/covid19/1afa03e493afeb67e3bdd8b4551ea6f74c0fb8cc>	<http://purl.org/spar/fabio/hasPubMedCentralId>	"PMC7324132" .
<http://ns.inria.fr/covid19/1afa03e493afeb67e3bdd8b4551ea6f74c0fb8cc>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://schema.org/ScholarlyArticle> .
<http://ns.inria.fr/covid19/1afa03e493afeb67e3bdd8b4551ea6f74c0fb8cc>	<http://schema.org/publication>	"Automated Reasoning" .
<http://ns.inria.fr/covid19/1afa03e493afeb67e3bdd8b4551ea6f74c0fb8cc>	<http://xmlns.com/foaf/0.1/sha1>	"1afa03e493afeb67e3bdd8b4551ea6f74c0fb8cc" .
<http://ns.inria.fr/covid19/1afa03e493afeb67e3bdd8b4551ea6f74c0fb8cc>	<http://purl.org/dc/terms/license>	"no-cc" .
<http://ns.inria.fr/covid19/1afa03e493afeb67e3bdd8b4551ea6f74c0fb8cc>	<http://schema.org/url>	<https://doi.org/10.1007/978-3-030-51074-9_2> .
<http://ns.inria.fr/covid19/1afa03e493afeb67e3bdd8b4551ea6f74c0fb8cc>	<http://purl.org/dc/elements/1.1/creator>	"Lechner, Mathias" .
<http://ns.inria.fr/covid19/1afa03e493afeb67e3bdd8b4551ea6f74c0fb8cc>	<http://purl.org/dc/elements/1.1/creator>	"Nguyen, Thanh" .
<http://ns.inria.fr/covid19/1afa03e493afeb67e3bdd8b4551ea6f74c0fb8cc>	<http://purl.org/dc/terms/source>	"PMC" .
<http://ns.inria.fr/covid19/1afa03e493afeb67e3bdd8b4551ea6f74c0fb8cc>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://purl.org/spar/fabio/ResearchPaper> .
<http://ns.inria.fr/covid19/1afa03e493afeb67e3bdd8b4551ea6f74c0fb8cc>	<http://ns.inria.fr/covid19/property/hasBody>	<http://ns.inria.fr/covid19/1afa03e493afeb67e3bdd8b4551ea6f74c0fb8cc#body_text> .
<http://ns.inria.fr/covid19/1afa03e493afeb67e3bdd8b4551ea6f74c0fb8cc>	<http://purl.org/dc/terms/title>	"An SMT Theory of Fixed-Point Arithmetic" .
<http://ns.inria.fr/covid19/1afa03e493afeb67e3bdd8b4551ea6f74c0fb8cc>	<http://purl.org/dc/terms/issued>	"2020-05-30"^^<http://www.w3.org/2001/XMLSchema#date> .
<http://ns.inria.fr/covid19/1afa03e493afeb67e3bdd8b4551ea6f74c0fb8cc>	<http://www.w3.org/2000/01/rdf-schema#isDefinedBy>	<http://ns.inria.fr/covid19/dataset-1-2> .