<http://dbpedia.org/resource/Sequent_calculus>	<http://www.w3.org/2007/05/powder-s#describedby>	<https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Artificial_intelligence> .
<http://dbpedia.org/resource/Sequent_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Semantics> .
<http://dbpedia.org/resource/Sequent_calculus>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/resource/Tautology> .
<http://dbpedia.org/resource/Sequent_calculus>	<http://www.w3.org/2007/05/powder-s#describedby>	<https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Proof_calculus> .
<http://dbpedia.org/resource/Sequent_calculus>	<http://www.w3.org/2000/01/rdf-schema#label>	"Sequenzenkalk\u00FCl"@de .
<http://dbpedia.org/resource/Sequent_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Category:Proof_theory> .
<http://dbpedia.org/resource/Sequent_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Proof_calculus> .
<http://dbpedia.org/resource/Sequent_calculus>	<http://www.w3.org/2007/05/powder-s#describedby>	<http://localhost:8890/about/id/entity/http/dbpedia.org/resource/Logical_conjunction> .
<http://dbpedia.org/resource/Sequent_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Logical_conjunction> .
<http://dbpedia.org/resource/Sequent_calculus>	<http://www.w3.org/2007/05/powder-s#describedby>	<https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Mathematical_logic> .
<http://dbpedia.org/resource/Sequent_calculus>	<http://www.w3.org/2000/01/rdf-schema#label>	"Sequent calculus"@en .
<http://dbpedia.org/resource/Sequent_calculus>	<http://www.w3.org/2000/01/rdf-schema#label>	"C\u00E1lculo de secuentes"@es .
<http://dbpedia.org/resource/Sequent_calculus>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Logical_calculi> .
<http://dbpedia.org/resource/Sequent_calculus>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Proof_theory> .
<http://dbpedia.org/resource/Sequent_calculus>	<http://www.w3.org/2007/05/powder-s#describedby>	<https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Category:Proof_theory> .
<http://dbpedia.org/resource/Sequent_calculus>	<http://www.w3.org/2007/05/powder-s#describedby>	<https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Semantics> .
<http://dbpedia.org/resource/Sequent_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Artificial_intelligence> .
<http://dbpedia.org/resource/Sequent_calculus>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Automated_theorem_proving> .
<http://dbpedia.org/resource/Sequent_calculus>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Mathematical_logic> .
<http://dbpedia.org/resource/Sequent_calculus>	<http://www.w3.org/2000/01/rdf-schema#label>	"Calcul des s\u00E9quents"@fr .