<http://dbpedia.org/resource/Structural_induction>	<http://www.w3.org/2000/01/rdf-schema#label>	"Inducci\u00F3n estructural"@es .
<http://dbpedia.org/resource/Structural_induction>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/resource/Method> .
<http://dbpedia.org/resource/Structural_induction>	<http://www.w3.org/2007/05/powder-s#describedby>	<https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/class/yago/Indication106797169> .
<http://dbpedia.org/resource/Structural_induction>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Loop_invariant> .
<http://dbpedia.org/resource/Structural_induction>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Logic_in_computer_science> .
<http://dbpedia.org/resource/Structural_induction>	<http://www.w3.org/2000/01/rdf-schema#label>	"Strukturelle Induktion"@de .
<http://dbpedia.org/resource/Structural_induction>	<http://www.w3.org/2007/05/powder-s#describedby>	<https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Loop_invariant> .
<http://dbpedia.org/resource/Structural_induction>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/class/yago/Indication106797169> .
<http://dbpedia.org/resource/Structural_induction>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Wellfoundedness> .
<http://dbpedia.org/resource/Structural_induction>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/ontology/Work> .
<http://dbpedia.org/resource/Structural_induction>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Mathematical_induction> .
<http://dbpedia.org/resource/Structural_induction>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Mathematical_logic> .
<http://dbpedia.org/resource/Structural_induction>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Mathematical_proofs> .
<http://dbpedia.org/resource/Structural_induction>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Mathematical_logic> .
<http://dbpedia.org/resource/Structural_induction>	<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/Structural_induction>	<http://www.w3.org/2000/01/rdf-schema#label>	"Structural induction"@en .
<http://dbpedia.org/resource/Structural_induction>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Graph_theory> .
<http://dbpedia.org/resource/Structural_induction>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/ontology/Software> .