<http://ns.inria.fr/covid19/PMC7309481#title>	<http://purl.org/dc/terms/subject>	"Computability theory" .
<http://ns.inria.fr/covid19/PMC7309481#title>	<http://purl.org/dc/terms/subject>	"Weapons manufacturing companies" .
<http://ns.inria.fr/covid19/PMC7309481#title>	<http://purl.org/dc/terms/subject>	"Mathematical logic" .
<http://ns.inria.fr/covid19/PMC7309481#title>	<http://purl.org/dc/terms/subject>	"Proof theory" .
<http://ns.inria.fr/covid19/PMC7309481#title>	<http://purl.org/dc/terms/subject>	"Firearm manufacturers of Germany" .