{
  "http://fr.dbpedia.org/tag/UkFrResource" : { "http://www.w3.org/ns/oa#hasTarget" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Induction_structurelle" } ] } ,
  "http://fr.dbpedia.org/tag/NlFrResource" : { "http://www.w3.org/ns/oa#hasTarget" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Induction_structurelle" } ] } ,
  "http://fr.dbpedia.org/tag/PtFrResource" : { "http://www.w3.org/ns/oa#hasTarget" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Induction_structurelle" } ] } ,
  "http://fr.dbpedia.org/resource/Algorithme_r\u00E9cursif" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Induction_structurelle" } ] } ,
  "http://fr.dbpedia.org/resource/Anatoli_Maltsev" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Induction_structurelle" } ] } ,
  "http://fr.dbpedia.org/resource/Coinduction" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Induction_structurelle" } ] } ,
  "http://fr.dbpedia.org/resource/Constructeur" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Induction_structurelle" } ] } ,
  "http://fr.dbpedia.org/resource/D\u00E9finition_par_r\u00E9currence" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Induction_structurelle" } ] } ,
  "http://fr.dbpedia.org/resource/Forme_de_Backus-Naur" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Induction_structurelle" } ] } ,
  "http://fr.dbpedia.org/resource/Induction_structurelle" : { "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "\u0421\u0442\u0440\u0443\u043A\u0442\u0443\u0440\u043D\u0430 \u0456\u043D\u0434\u0443\u043A\u0446\u0456\u044F" , "lang" : "uk" } ,
      { "type" : "literal", "value" : "Indu\u00E7\u00E3o estrutural" , "lang" : "pt" } ,
      { "type" : "literal", "value" : "\u0421\u0442\u0440\u0443\u043A\u0442\u0443\u0440\u043D\u0430\u044F \u0438\u043D\u0434\u0443\u043A\u0446\u0438\u044F" , "lang" : "ru" } ,
      { "type" : "literal", "value" : "Structural induction" , "lang" : "en" } ,
      { "type" : "literal", "value" : "Indukcja strukturalna" , "lang" : "pl" } ,
      { "type" : "literal", "value" : "Structurele inductie" , "lang" : "nl" } ,
      { "type" : "literal", "value" : "Induction structurelle" , "lang" : "fr" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#comment" : [ { "type" : "literal", "value" : "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." , "lang" : "fr" } ] ,
    "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://es.dbpedia.org/resource/Inducci\u00F3n_estructural" } ,
      { "type" : "uri", "value" : "http://nl.dbpedia.org/resource/Structurele_inductie" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Induction_structurelle" } ,
      { "type" : "uri", "value" : "http://ma-graph.org/entity/63755874" } ,
      { "type" : "uri", "value" : "http://uk.dbpedia.org/resource/\u0421\u0442\u0440\u0443\u043A\u0442\u0443\u0440\u043D\u0430_\u0456\u043D\u0434\u0443\u043A\u0446\u0456\u044F" } ,
      { "type" : "uri", "value" : "http://sr.dbpedia.org/resource/\u0421\u0442\u0440\u0443\u043A\u0442\u0443\u0440\u043D\u0430_\u0438\u043D\u0434\u0443\u043A\u0446\u0438\u0458\u0430" } ,
      { "type" : "uri", "value" : "http://fa.dbpedia.org/resource/\u0627\u0633\u062A\u0642\u0631\u0627\u06CC_\u0633\u0627\u062E\u062A\u0627\u0631\u06CC" } ,
      { "type" : "uri", "value" : "http://ru.dbpedia.org/resource/\u0421\u0442\u0440\u0443\u043A\u0442\u0443\u0440\u043D\u0430\u044F_\u0438\u043D\u0434\u0443\u043A\u0446\u0438\u044F" } ,
      { "type" : "uri", "value" : "http://g.co/kg/m/01d_g5" } ,
      { "type" : "uri", "value" : "http://pl.dbpedia.org/resource/Indukcja_strukturalna" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Structural_induction" } ,
      { "type" : "uri", "value" : "http://ja.dbpedia.org/resource/\u69CB\u9020\u7684\u5E30\u7D0D\u6CD5" } ,
      { "type" : "uri", "value" : "http://pt.dbpedia.org/resource/Indu\u00E7\u00E3o_estrutural" } ,
      { "type" : "uri", "value" : "http://zh.dbpedia.org/resource/\u7ED3\u6784\u5F52\u7EB3\u6CD5" } ,
      { "type" : "uri", "value" : "http://de.dbpedia.org/resource/Strukturelle_Induktion" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q1932759" } ,
      { "type" : "uri", "value" : "http://si.dbpedia.org/resource/\u0DC3\u0DD6\u0DBB\u0DCA\u0DBA\u0DCF\u0D9C\u0DDA_\u0DC0\u0DCA\u200D\u0DBA\u0DD4\u0DC4\u0DBA" } ] ,
    "http://dbpedia.org/ontology/wikiPageID" : [ { "type" : "literal", "value" : 10838452 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://dbpedia.org/ontology/wikiPageRevisionID" : [ { "type" : "literal", "value" : 188590510 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/The_Computer_Journal" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Coq_(logiciel)" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Forme_de_Backus-Naur" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/D\u00E9finition_alg\u00E9brique" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Cat\u00E9gorie:Structure_de_donn\u00E9es" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Cat\u00E9gorie:Logique_math\u00E9matique" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Syst\u00E8me_formel" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Cat\u00E9gorie:Raisonnement_math\u00E9matique" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Ensemble" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Liste_(informatique)" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Cat\u00E9gorie:M\u00E9thode_de_d\u00E9monstration" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/D\u00E9finition_par_r\u00E9currence" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Pr\u00E9dicat_(logique_math\u00E9matique)" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/R\u00E8gle_d'inf\u00E9rence" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Calcul_des_constructions_inductives" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Concat\u00E9nation" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Niklaus_Wirth" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/R\u00E9cursivit\u00E9" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Langage_informatique" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Arbre_enracin\u00E9" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Relation_bien_fond\u00E9e" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Terme_(logique)" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Math\u00E9matiques" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Type_r\u00E9cursif" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Relation_d'\u00E9quivalence" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/R\u00E9currence_transfinie" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Constructeur_informatique" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Entier_naturel" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Type" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Universit\u00E9_du_Maryland" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Prentice_Hall" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Nombre" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Arit\u00E9" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Fonction_totale" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/\u00C9l\u00E9ment" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Objet" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Informatique" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Relations" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Addison-Wesley" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Raisonnement_par_r\u00E9currence" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/R\u00F3zsa_P\u00E9ter" } ] ,
    "http://dbpedia.org/ontology/wikiPageExternalLink" : [ { "type" : "uri", "value" : "https://www.cs.umd.edu/class/summer2016/cmsc250/files/slides/structuralInduction.pdf" } ,
      { "type" : "uri", "value" : "http://akademiai.com/doi/abs/10.1007/BF02023919%3FjournalCode=10473" } ,
      { "type" : "uri", "value" : "http://www.ethoberon.ethz.ch/WirthPubl/AD.pdf" } ,
      { "type" : "uri", "value" : "https://pdfs.semanticscholar.org/b3fe/91923c1356a8c6dee2c725dd11fcbfeae903.pdf" } ] ,
    "http://dbpedia.org/ontology/wikiPageLength" : [ { "type" : "literal", "value" : "8770" , "datatype" : "http://www.w3.org/2001/XMLSchema#nonNegativeInteger" } ] ,
    "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Cat\u00E9gorie:Structure_de_donn\u00E9es" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Cat\u00E9gorie:M\u00E9thode_de_d\u00E9monstration" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Cat\u00E9gorie:Logique_math\u00E9matique" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Cat\u00E9gorie:Raisonnement_math\u00E9matique" } ] ,
    "http://fr.dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:Date-" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:Pas_clair" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:En" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:..." } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:Sources_\u00E0_lier" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:Portail" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:Article" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:Lien_web" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:Ouvrage" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:Palette" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://fr.wikipedia.org/wiki/Induction_structurelle?oldid=188590510&ns=0" } ] ,
    "http://fr.dbpedia.org/property/ann\u00E9e" : [ { "type" : "literal", "value" : 2001 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ,
      { "type" : "literal", "value" : 1984 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ,
      { "type" : "literal", "value" : 1985 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://fr.dbpedia.org/property/auteur" : [ { "type" : "literal", "value" : "Jason Filippou" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "Horst Reichel" , "lang" : "fr" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Niklaus_Wirth" } ,
      { "type" : "literal", "value" : "Rajeev Motwani" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "Jeffrey D. Ullman" , "lang" : "fr" } ] ,
    "http://fr.dbpedia.org/property/date" : [ { "type" : "literal", "value" : "2016-05-07" , "datatype" : "http://www.w3.org/2001/XMLSchema#date" } ,
      { "type" : "literal", "value" : 1968 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://fr.dbpedia.org/property/doi" : [ { "type" : "literal", "value" : 10.1093 , "datatype" : "http://www.w3.org/2001/XMLSchema#double" } ] ,
    "http://fr.dbpedia.org/property/isbn" : [ { "type" : "literal", "value" : 0 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://fr.dbpedia.org/property/journal" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/The_Computer_Journal" } ] ,
    "http://fr.dbpedia.org/property/langue" : [ { "type" : "literal", "value" : "en" , "lang" : "fr" } ] ,
    "http://fr.dbpedia.org/property/lieu" : [ { "type" : "literal", "value" : "Reading Mass" , "lang" : "fr" } ] ,
    "http://fr.dbpedia.org/property/lireEnLigne" : [ { "type" : "uri", "value" : "https://pdfs.semanticscholar.org/b3fe/91923c1356a8c6dee2c725dd11fcbfeae903.pdf" } ,
      { "type" : "uri", "value" : "https://www.cs.umd.edu/class/summer2016/cmsc250/files/slides/structuralInduction.pdf" } ,
      { "type" : "uri", "value" : "http://www.ethoberon.ethz.ch/WirthPubl/AD.pdf" } ] ,
    "http://fr.dbpedia.org/property/nom" : [ { "type" : "literal", "value" : "Hopcroft" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "Burstall" , "lang" : "fr" } ] ,
    "http://fr.dbpedia.org/property/num\u00E9ro" : [ { "type" : "literal", "value" : 1 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://fr.dbpedia.org/property/pages" : [ { "type" : "literal", "value" : 41 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://fr.dbpedia.org/property/pagesTotales" : [ { "type" : "literal", "value" : 521 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://fr.dbpedia.org/property/pr\u00E9nom" : [ { "type" : "literal", "value" : "John E." , "lang" : "fr" } ,
      { "type" : "literal", "value" : "R.M." , "lang" : "fr" } ] ,
    "http://fr.dbpedia.org/property/titre" : [ { "type" : "literal", "value" : "Proving Properties of Programs by Structural Induction" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "Introduction to Automata Theory, Languages, and Computation" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "Structural Induction" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "Algorithms and Data Structures" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "Structural induction on partial algebras" , "lang" : "fr" } ] ,
    "http://fr.dbpedia.org/property/volume" : [ { "type" : "literal", "value" : 12 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://fr.dbpedia.org/property/\u00E9diteur" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Addison-Wesley" } ,
      { "type" : "literal", "value" : "Akademie-Verlag" , "lang" : "fr" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Prentice_Hall" } ] ,
    "http://fr.dbpedia.org/property/num\u00E9roD'\u00E9dition" : [ { "type" : "literal", "value" : 2 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://fr.dbpedia.org/property/adresse" : [ { "type" : "literal", "value" : "Universit\u00E9 du Maryland, College Park" , "lang" : "fr" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://fr.wikipedia.org/wiki/Induction_structurelle" } ] ,
    "http://dbpedia.org/ontology/abstract" : [ { "type" : "literal", "value" : "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." , "lang" : "fr" } ] } ,
  "http://fr.dbpedia.org/resource/Interpr\u00E9tation_de_Brouwer-Heyting-Kolmogorov" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Induction_structurelle" } ] } ,
  "http://fr.dbpedia.org/resource/Raisonnement_par_r\u00E9currence" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Induction_structurelle" } ] } ,
  "http://fr.dbpedia.org/resource/Relation_bien_fond\u00E9e" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Induction_structurelle" } ] } ,
  "http://fr.dbpedia.org/resource/Terme_(logique)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Induction_structurelle" } ] } ,
  "http://fr.dbpedia.org/resource/Type_r\u00E9cursif" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Induction_structurelle" } ] } ,
  "http://fr.wikipedia.org/wiki/Induction_structurelle" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Induction_structurelle" } ] } ,
  "http://fr.dbpedia.org/tag/RuFrResource" : { "http://www.w3.org/ns/oa#hasTarget" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Induction_structurelle" } ] } ,
  "http://fr.dbpedia.org/resource/R\u00E9currence_structurelle" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Induction_structurelle" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Induction_structurelle" } ] } ,
  "http://fr.dbpedia.org/tag/EnFrResource" : { "http://www.w3.org/ns/oa#hasTarget" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Induction_structurelle" } ] } ,
  "http://fr.dbpedia.org/tag/PlFrResource" : { "http://www.w3.org/ns/oa#hasTarget" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Induction_structurelle" } ] } ,
  "http://fr.dbpedia.org/tag/WdtFrResource" : { "http://www.w3.org/ns/oa#hasTarget" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Induction_structurelle" } ] }
}