{
  "http://dbpedia.org/resource/Kleene_Award" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/IEEE_Symposium_on_Logic_in_Computer_Science" } ] } ,
  "http://dbpedia.org/resource/Jean-Pierre_Jouannaud" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/IEEE_Symposium_on_Logic_in_Computer_Science" } ] } ,
  "http://dbpedia.org/resource/Ashok_K._Chandra" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/IEEE_Symposium_on_Logic_in_Computer_Science" } ] } ,
  "http://dbpedia.org/resource/Alan_Turing_Year" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/IEEE_Symposium_on_Logic_in_Computer_Science" } ] } ,
  "http://dbpedia.org/resource/Paris_Kanellakis" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/IEEE_Symposium_on_Logic_in_Computer_Science" } ] } ,
  "http://dbpedia.org/resource/Higher-order_abstract_syntax" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/IEEE_Symposium_on_Logic_in_Computer_Science" } ] } ,
  "http://dbpedia.org/resource/IEEE_Symposium_on_Logic_in_Computer_Science" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/IEEE_Symposium_on_Logic_in_Computer_Science" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Symposium_on_Logic_in_Computer_Science" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Symposium_on_Logic_in_Computer_Science" } ] } ,
  "http://dbpedia.org/resource/Lindstr\u00F6m_quantifier" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/IEEE_Symposium_on_Logic_in_Computer_Science" } ] } ,
  "http://dbpedia.org/resource/Thomas_Streicher" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/IEEE_Symposium_on_Logic_in_Computer_Science" } ] }
}