@prefix oa:	<http://www.w3.org/ns/oa#> .
@prefix tag-fr:	<http://fr.dbpedia.org/tag/> .
@prefix dbpedia-fr:	<http://fr.dbpedia.org/resource/> .
tag-fr:UkFrResource	oa:hasTarget	dbpedia-fr:Induction_structurelle .
tag-fr:NlFrResource	oa:hasTarget	dbpedia-fr:Induction_structurelle .
tag-fr:PtFrResource	oa:hasTarget	dbpedia-fr:Induction_structurelle .
@prefix dbo:	<http://dbpedia.org/ontology/> .
<http://fr.dbpedia.org/resource/Algorithme_r\u00E9cursif>	dbo:wikiPageWikiLink	dbpedia-fr:Induction_structurelle .
dbpedia-fr:Anatoli_Maltsev	dbo:wikiPageWikiLink	dbpedia-fr:Induction_structurelle .
dbpedia-fr:Coinduction	dbo:wikiPageWikiLink	dbpedia-fr:Induction_structurelle .
dbpedia-fr:Constructeur	dbo:wikiPageWikiLink	dbpedia-fr:Induction_structurelle .
<http://fr.dbpedia.org/resource/D\u00E9finition_par_r\u00E9currence>	dbo:wikiPageWikiLink	dbpedia-fr:Induction_structurelle .
dbpedia-fr:Forme_de_Backus-Naur	dbo:wikiPageWikiLink	dbpedia-fr:Induction_structurelle .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia-fr:Induction_structurelle	rdfs:label	"\u0421\u0442\u0440\u0443\u043A\u0442\u0443\u0440\u043D\u0430 \u0456\u043D\u0434\u0443\u043A\u0446\u0456\u044F"@uk ,
		"Indu\u00E7\u00E3o estrutural"@pt ,
		"\u0421\u0442\u0440\u0443\u043A\u0442\u0443\u0440\u043D\u0430\u044F \u0438\u043D\u0434\u0443\u043A\u0446\u0438\u044F"@ru ,
		"Structural induction"@en ,
		"Indukcja strukturalna"@pl ,
		"Structurele inductie"@nl ,
		"Induction structurelle"@fr ;
	rdfs:comment	"En math\u00E9matiques et davantage en informatique, la d\u00E9finition r\u00E9cursive ou induction structurelle est un proc\u00E9d\u00E9 de d\u00E9finition conjointe d'un type (classe ou ensemble) et d'objets (\u00E9l\u00E9ments) qui le compose au moyen de r\u00E8gles de construction (constructeurs) qui agencent ou structurent ces objets."@fr .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbpedia-fr:Induction_structurelle	owl:sameAs	<http://es.dbpedia.org/resource/Inducci\u00F3n_estructural> .
@prefix dbpedia-nl:	<http://nl.dbpedia.org/resource/> .
dbpedia-fr:Induction_structurelle	owl:sameAs	dbpedia-nl:Structurele_inductie ,
		dbpedia-fr:Induction_structurelle ,
		<http://ma-graph.org/entity/63755874> ,
		<http://uk.dbpedia.org/resource/\u0421\u0442\u0440\u0443\u043A\u0442\u0443\u0440\u043D\u0430_\u0456\u043D\u0434\u0443\u043A\u0446\u0456\u044F> ,
		<http://sr.dbpedia.org/resource/\u0421\u0442\u0440\u0443\u043A\u0442\u0443\u0440\u043D\u0430_\u0438\u043D\u0434\u0443\u043A\u0446\u0438\u0458\u0430> ,
		<http://fa.dbpedia.org/resource/\u0627\u0633\u062A\u0642\u0631\u0627\u06CC_\u0633\u0627\u062E\u062A\u0627\u0631\u06CC> ,
		<http://ru.dbpedia.org/resource/\u0421\u0442\u0440\u0443\u043A\u0442\u0443\u0440\u043D\u0430\u044F_\u0438\u043D\u0434\u0443\u043A\u0446\u0438\u044F> ,
		<http://g.co/kg/m/01d_g5> .
@prefix dbpedia-pl:	<http://pl.dbpedia.org/resource/> .
dbpedia-fr:Induction_structurelle	owl:sameAs	dbpedia-pl:Indukcja_strukturalna .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbpedia-fr:Induction_structurelle	owl:sameAs	dbr:Structural_induction ,
		<http://ja.dbpedia.org/resource/\u69CB\u9020\u7684\u5E30\u7D0D\u6CD5> ,
		<http://pt.dbpedia.org/resource/Indu\u00E7\u00E3o_estrutural> ,
		<http://zh.dbpedia.org/resource/\u7ED3\u6784\u5F52\u7EB3\u6CD5> .
@prefix dbpedia-de:	<http://de.dbpedia.org/resource/> .
dbpedia-fr:Induction_structurelle	owl:sameAs	dbpedia-de:Strukturelle_Induktion .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
dbpedia-fr:Induction_structurelle	owl:sameAs	wikidata:Q1932759 ,
		<http://si.dbpedia.org/resource/\u0DC3\u0DD6\u0DBB\u0DCA\u0DBA\u0DCF\u0D9C\u0DDA_\u0DC0\u0DCA\u200D\u0DBA\u0DD4\u0DC4\u0DBA> ;
	dbo:wikiPageID	10838452 ;
	dbo:wikiPageRevisionID	188590510 ;
	dbo:wikiPageWikiLink	dbpedia-fr:The_Computer_Journal ,
		<http://fr.dbpedia.org/resource/Coq_(logiciel)> ,
		dbpedia-fr:Forme_de_Backus-Naur ,
		<http://fr.dbpedia.org/resource/D\u00E9finition_alg\u00E9brique> ,
		<http://fr.dbpedia.org/resource/Cat\u00E9gorie:Structure_de_donn\u00E9es> ,
		<http://fr.dbpedia.org/resource/Cat\u00E9gorie:Logique_math\u00E9matique> ,
		<http://fr.dbpedia.org/resource/Syst\u00E8me_formel> ,
		<http://fr.dbpedia.org/resource/Cat\u00E9gorie:Raisonnement_math\u00E9matique> ,
		dbpedia-fr:Ensemble ,
		<http://fr.dbpedia.org/resource/Liste_(informatique)> ,
		<http://fr.dbpedia.org/resource/Cat\u00E9gorie:M\u00E9thode_de_d\u00E9monstration> ,
		<http://fr.dbpedia.org/resource/D\u00E9finition_par_r\u00E9currence> ,
		<http://fr.dbpedia.org/resource/Pr\u00E9dicat_(logique_math\u00E9matique)> ,
		<http://fr.dbpedia.org/resource/R\u00E8gle_d\u0027inf\u00E9rence> ,
		dbpedia-fr:Calcul_des_constructions_inductives ,
		<http://fr.dbpedia.org/resource/Concat\u00E9nation> ,
		dbpedia-fr:Niklaus_Wirth ,
		<http://fr.dbpedia.org/resource/R\u00E9cursivit\u00E9> ,
		dbpedia-fr:Langage_informatique ,
		<http://fr.dbpedia.org/resource/Arbre_enracin\u00E9> ,
		<http://fr.dbpedia.org/resource/Relation_bien_fond\u00E9e> ,
		<http://fr.dbpedia.org/resource/Terme_(logique)> ,
		<http://fr.dbpedia.org/resource/Math\u00E9matiques> ,
		<http://fr.dbpedia.org/resource/Type_r\u00E9cursif> ,
		<http://fr.dbpedia.org/resource/Relation_d\u0027\u00E9quivalence> ,
		<http://fr.dbpedia.org/resource/R\u00E9currence_transfinie> ,
		dbpedia-fr:Constructeur_informatique ,
		dbpedia-fr:Entier_naturel ,
		dbpedia-fr:Type ,
		<http://fr.dbpedia.org/resource/Universit\u00E9_du_Maryland> ,
		dbpedia-fr:Prentice_Hall ,
		dbpedia-fr:Nombre ,
		<http://fr.dbpedia.org/resource/Arit\u00E9> ,
		dbpedia-fr:Fonction_totale ,
		<http://fr.dbpedia.org/resource/\u00C9l\u00E9ment> ,
		dbpedia-fr:Objet ,
		dbpedia-fr:Informatique ,
		dbpedia-fr:Relations ,
		dbpedia-fr:Addison-Wesley ,
		<http://fr.dbpedia.org/resource/Raisonnement_par_r\u00E9currence> ,
		<http://fr.dbpedia.org/resource/R\u00F3zsa_P\u00E9ter> ;
	dbo:wikiPageExternalLink	<https://www.cs.umd.edu/class/summer2016/cmsc250/files/slides/structuralInduction.pdf> ,
		<http://akademiai.com/doi/abs/10.1007/BF02023919%3FjournalCode=10473> ,
		<http://www.ethoberon.ethz.ch/WirthPubl/AD.pdf> ,
		<https://pdfs.semanticscholar.org/b3fe/91923c1356a8c6dee2c725dd11fcbfeae903.pdf> .
@prefix xsd:	<http://www.w3.org/2001/XMLSchema#> .
dbpedia-fr:Induction_structurelle	dbo:wikiPageLength	"8770"^^xsd:nonNegativeInteger .
@prefix dct:	<http://purl.org/dc/terms/> .
dbpedia-fr:Induction_structurelle	dct:subject	<http://fr.dbpedia.org/resource/Cat\u00E9gorie:Structure_de_donn\u00E9es> ,
		<http://fr.dbpedia.org/resource/Cat\u00E9gorie:M\u00E9thode_de_d\u00E9monstration> ,
		<http://fr.dbpedia.org/resource/Cat\u00E9gorie:Logique_math\u00E9matique> ,
		<http://fr.dbpedia.org/resource/Cat\u00E9gorie:Raisonnement_math\u00E9matique> .
@prefix prop-fr:	<http://fr.dbpedia.org/property/> .
@prefix ns14:	<http://fr.dbpedia.org/resource/Mod\u00E8le:> .
dbpedia-fr:Induction_structurelle	prop-fr:wikiPageUsesTemplate	ns14:Date- ,
		ns14:Pas_clair ,
		ns14:En ,
		<http://fr.dbpedia.org/resource/Mod\u00E8le:...> ,
		<http://fr.dbpedia.org/resource/Mod\u00E8le:Sources_\u00E0_lier> ,
		ns14:Portail ,
		ns14:Article ,
		ns14:Lien_web ,
		ns14:Ouvrage ,
		ns14:Palette .
@prefix prov:	<http://www.w3.org/ns/prov#> .
dbpedia-fr:Induction_structurelle	prov:wasDerivedFrom	<http://fr.wikipedia.org/wiki/Induction_structurelle?oldid=188590510&ns=0> ;
	<http://fr.dbpedia.org/property/ann\u00E9e>	2001 ,
		1984 ,
		1985 ;
	prop-fr:auteur	"Jason Filippou"@fr ,
		"Horst Reichel"@fr ,
		dbpedia-fr:Niklaus_Wirth ,
		"Rajeev Motwani"@fr ,
		"Jeffrey D. Ullman"@fr ;
	prop-fr:date	"2016-05-07"^^xsd:date ,
		1968 ;
	prop-fr:doi	10.109299999999999287 ;
	prop-fr:isbn	0 ;
	prop-fr:journal	dbpedia-fr:The_Computer_Journal ;
	prop-fr:langue	"en"@fr ;
	prop-fr:lieu	"Reading Mass"@fr ;
	prop-fr:lireEnLigne	<https://pdfs.semanticscholar.org/b3fe/91923c1356a8c6dee2c725dd11fcbfeae903.pdf> ,
		<https://www.cs.umd.edu/class/summer2016/cmsc250/files/slides/structuralInduction.pdf> ,
		<http://www.ethoberon.ethz.ch/WirthPubl/AD.pdf> ;
	prop-fr:nom	"Hopcroft"@fr ,
		"Burstall"@fr ;
	<http://fr.dbpedia.org/property/num\u00E9ro>	1 ;
	prop-fr:pages	41 ;
	prop-fr:pagesTotales	521 ;
	<http://fr.dbpedia.org/property/pr\u00E9nom>	"John E."@fr ,
		"R.M."@fr ;
	prop-fr:titre	"Proving Properties of Programs by Structural Induction"@fr ,
		"Introduction to Automata Theory, Languages, and Computation"@fr ,
		"Structural Induction"@fr ,
		"Algorithms and Data Structures"@fr ,
		"Structural induction on partial algebras"@fr ;
	prop-fr:volume	12 ;
	<http://fr.dbpedia.org/property/\u00E9diteur>	dbpedia-fr:Addison-Wesley ,
		"Akademie-Verlag"@fr ,
		dbpedia-fr:Prentice_Hall ;
	<http://fr.dbpedia.org/property/num\u00E9roD\u0027\u00E9dition>	2 ;
	prop-fr:adresse	"Universit\u00E9 du Maryland, College Park"@fr .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix wikipedia-fr:	<http://fr.wikipedia.org/wiki/> .
dbpedia-fr:Induction_structurelle	foaf:isPrimaryTopicOf	wikipedia-fr:Induction_structurelle ;
	dbo:abstract	"En math\u00E9matiques et davantage en informatique, la d\u00E9finition r\u00E9cursive ou induction structurelle est un proc\u00E9d\u00E9 de d\u00E9finition conjointe d'un type (classe ou ensemble) et d'objets (\u00E9l\u00E9ments) qui le compose au moyen de r\u00E8gles de construction (constructeurs) qui agencent ou structurent ces objets. L'on peut ainsi d\u00E9finir des nombres, des listes, des arbres, des relations, et plus g\u00E9n\u00E9ralement, toute structure math\u00E9matique (langage, syst\u00E8me, \u2026). En permettant par le m\u00EAme principe de d\u00E9finir un pr\u00E9dicat total[pas clair] i.e. qui est d\u00E9fini partout, l'induction structurelle est aussi une m\u00E9thode de d\u00E9monstration d'une propri\u00E9t\u00E9 sur une structure."@fr .
<http://fr.dbpedia.org/resource/Interpr\u00E9tation_de_Brouwer-Heyting-Kolmogorov>	dbo:wikiPageWikiLink	dbpedia-fr:Induction_structurelle .
<http://fr.dbpedia.org/resource/Raisonnement_par_r\u00E9currence>	dbo:wikiPageWikiLink	dbpedia-fr:Induction_structurelle .
<http://fr.dbpedia.org/resource/Relation_bien_fond\u00E9e>	dbo:wikiPageWikiLink	dbpedia-fr:Induction_structurelle .
<http://fr.dbpedia.org/resource/Terme_(logique)>	dbo:wikiPageWikiLink	dbpedia-fr:Induction_structurelle .
<http://fr.dbpedia.org/resource/Type_r\u00E9cursif>	dbo:wikiPageWikiLink	dbpedia-fr:Induction_structurelle .
wikipedia-fr:Induction_structurelle	foaf:primaryTopic	dbpedia-fr:Induction_structurelle .
tag-fr:RuFrResource	oa:hasTarget	dbpedia-fr:Induction_structurelle .
<http://fr.dbpedia.org/resource/R\u00E9currence_structurelle>	dbo:wikiPageWikiLink	dbpedia-fr:Induction_structurelle ;
	dbo:wikiPageRedirects	dbpedia-fr:Induction_structurelle .
tag-fr:EnFrResource	oa:hasTarget	dbpedia-fr:Induction_structurelle .
tag-fr:PlFrResource	oa:hasTarget	dbpedia-fr:Induction_structurelle .
tag-fr:WdtFrResource	oa:hasTarget	dbpedia-fr:Induction_structurelle .