<http://ns.inria.fr/covid19/PMC7309514#body_text>	<http://purl.org/dc/terms/subject>	"Logical consequence" .
<http://ns.inria.fr/covid19/PMC7309514#body_text>	<http://purl.org/dc/terms/subject>	"Free theorem provers" .
<http://ns.inria.fr/covid19/PMC7309514#body_text>	<http://purl.org/dc/terms/subject>	"Software quality" .