{
  "http://fr.dbpedia.org/resource/Logical_Methods_in_Computer_Science" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Preuve_interactive" } ] } ,
  "http://fr.dbpedia.org/resource/Preuve_interactive" : { "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "Preuve interactive" , "lang" : "fr" } ] ,
    "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Preuve_interactive" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q28019071" } ] ,
    "http://dbpedia.org/ontology/wikiPageID" : [ { "type" : "literal", "value" : 5685432 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://dbpedia.org/ontology/wikiPageRevisionID" : [ { "type" : "literal", "value" : 132541420 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Syst\u00E8me_de_preuve_interactive" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Assistant_de_preuve" } ] ,
    "http://dbpedia.org/ontology/wikiPageDisambiguates" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Syst\u00E8me_de_preuve_interactive" } ] ,
    "http://dbpedia.org/ontology/wikiPageLength" : [ { "type" : "literal", "value" : "208" , "datatype" : "http://www.w3.org/2001/XMLSchema#nonNegativeInteger" } ] ,
    "http://fr.dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:Homonymie" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://fr.wikipedia.org/wiki/Preuve_interactive?oldid=132541420&ns=0" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://fr.wikipedia.org/wiki/Preuve_interactive" } ] } ,
  "http://fr.wikipedia.org/wiki/Preuve_interactive" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Preuve_interactive" } ] } ,
  "http://fr.dbpedia.org/tag/WdtFrResource" : { "http://www.w3.org/ns/oa#hasTarget" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Preuve_interactive" } ] }
}