{
  "http://en.wikipedia.org/wiki/FO(.)" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/FO(.)" } ] } ,
  "http://dbpedia.org/resource/First-order_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/FO(.)" } ] } ,
  "http://dbpedia.org/resource/FO(.)" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/FO(.)" } ,
      { "type" : "uri", "value" : "https://global.dbpedia.org/id/GDfaX" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q110921241" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "FO(.)" , "lang" : "en" } ] ,
    "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Knowledge_representation_languages" } ] ,
    "http://xmlns.com/foaf/0.1/homepage" : [ { "type" : "uri", "value" : "http://docs.idp-z3.be/en/latest/FO-dot.html" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/FO(.)?oldid=1229891037&ns=0" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/First-order_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Knowledge_representation_and_reasoning" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Satisfiability" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Negation" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Axiom" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Function_(mathematics)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Knowledge_representation_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Material_conditional" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Integer" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Type_theory" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Entailment" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Model_theory" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Boolean" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Computer_science" } ] ,
    "http://dbpedia.org/ontology/wikiPageExternalLink" : [ { "type" : "uri", "value" : "https://docs.idp-z3.be/en/latest/FO-dot.html" } ] ,
    "http://dbpedia.org/ontology/description" : [ { "type" : "literal", "value" : "knowledge representation computer programming language" , "lang" : "en" } ] ,
    "http://dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Multiple_issues" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Short_description" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Notability" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:COI" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Automated_reasoning" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:External_links" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Official_website" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Reflist" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/FO(.)" } ] } ,
  "http://dbpedia.org/resource/Knowledge_representation_and_reasoning" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/FO(.)" } ] } ,
  "http://dbpedia.org/resource/FO-dot" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/FO(.)" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/FO(.)" } ] }
}