<http://ns.inria.fr/covid19/1f2ecf56f75508704aa31cbbd51a04197e90e749#body_text>	<http://purl.org/dc/terms/subject>	"Logical expressions" .
<http://ns.inria.fr/covid19/1f2ecf56f75508704aa31cbbd51a04197e90e749#body_text>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://ns.inria.fr/covid19/DocumentBody> .
<http://ns.inria.fr/covid19/1f2ecf56f75508704aa31cbbd51a04197e90e749#body_text>	<http://purl.org/dc/terms/subject>	"Modal logic" .
<http://ns.inria.fr/covid19/1f2ecf56f75508704aa31cbbd51a04197e90e749#body_text>	<http://purl.org/dc/terms/subject>	"Proof theory" .
<http://ns.inria.fr/covid19/1f2ecf56f75508704aa31cbbd51a04197e90e749#body_text>	<http://purl.org/vocab/frbr/core#partOf>	<http://ns.inria.fr/covid19/1f2ecf56f75508704aa31cbbd51a04197e90e749> .
<http://ns.inria.fr/covid19/1f2ecf56f75508704aa31cbbd51a04197e90e749#body_text>	<http://purl.org/dc/terms/subject>	"Programming languages created in 1972" .
<http://ns.inria.fr/covid19/1f2ecf56f75508704aa31cbbd51a04197e90e749#body_text>	<http://purl.org/dc/terms/subject>	"Search trees" .