{
  "http://en.wikipedia.org/wiki/Journal_of_Automated_Reasoning" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] } ,
  "http://dbpedia.org/resource/Tobias_Nipkow" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] } ,
  "http://dbpedia.org/resource/Index_of_philosophical_literature" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] } ,
  "http://dbpedia.org/resource/Peter_B._Andrews" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] } ,
  "http://dbpedia.org/resource/Outline_of_thought" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] } ,
  "http://dbpedia.org/resource/Automated_reasoning" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] } ,
  "http://dbpedia.org/resource/Ulrike_Sattler" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] } ,
  "http://dbpedia.org/resource/List_of_logic_journals" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] } ,
  "http://dbpedia.org/resource/List_of_computer_science_journals" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] } ,
  "http://dbpedia.org/resource/Deepak_Kapur" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] } ,
  "http://dbpedia.org/resource/Jasmin_Blanchette" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] } ,
  "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" : { "http://www.w3.org/1999/02/22-rdf-syntax-ns#type" : [ { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q1092563" } ,
      { "type" : "uri", "value" : "http://www.w3.org/2002/07/owl#Thing" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q234460" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q386724" } ,
      { "type" : "uri", "value" : "http://schema.org/CreativeWork" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/ontology/Work" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/ontology/PeriodicalLiterature" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/ontology/AcademicJournal" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/ontology/WrittenWork" } ] ,
    "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q6294821" } ,
      { "type" : "uri", "value" : "http://yago-knowledge.org/resource/Journal_of_Automated_Reasoning" } ,
      { "type" : "uri", "value" : "http://ar.dbpedia.org/resource/\u0645\u062C\u0644\u0629_\u0627\u0644\u0645\u0646\u0637\u0642_\u0627\u0644\u0622\u0644\u064A" } ,
      { "type" : "uri", "value" : "https://global.dbpedia.org/id/4p1DE" } ,
      { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.0bwj539" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] ,
    "http://xmlns.com/foaf/0.1/name" : [ { "type" : "literal", "value" : "Journal of Automated Reasoning" , "lang" : "en" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "\u0645\u062C\u0644\u0629 \u0627\u0644\u0645\u0646\u0637\u0642 \u0627\u0644\u0622\u0644\u064A" , "lang" : "ar" } ,
      { "type" : "literal", "value" : "Journal of Automated Reasoning" , "lang" : "en" } ] ,
    "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Logic_in_computer_science" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Springer_Science+Business_Media_academic_journals" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Logic_journals" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Computer_science_journals" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Academic_journals_established_in_1983" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Formal_methods_publications" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:English-language_journals" } ] ,
    "http://xmlns.com/foaf/0.1/homepage" : [ { "type" : "uri", "value" : "https://www.springer.com/computer/theoretical+computer+science/journal/10817" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Journal_of_Automated_Reasoning?oldid=1235663812&ns=0" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Logic_in_computer_science" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Springer_Science+Business_Media" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Publications_established_in_1983" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Larry_Wos" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Springer_Science+Business_Media_academic_journals" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Vrije_Universiteit_Amsterdam" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Theorem" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Impact_factor" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Jasmin_Blanchette" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Scopus" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Science_Citation_Index_Expanded" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_reasoning" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Formal_methods_publications" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Editor_in_chief" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Logic_journals" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:English-language_journals" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Computer_science" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Computer_science_journals" } ] ,
    "http://dbpedia.org/ontology/wikiPageExternalLink" : [ { "type" : "uri", "value" : "http://www.springerlink.com/openurl.asp%3Fgenre=issue&issn=0168-7433&issue=current" } ,
      { "type" : "uri", "value" : "https://www.springer.com/computer/theoretical+computer+science/journal/10817" } ] ,
    "http://dbpedia.org/ontology/description" : [ { "type" : "literal", "value" : "revista cient\u00EDfica" , "lang" : "es" } ,
      { "type" : "literal", "value" : "\u043D\u0430\u0443\u043A\u043E\u0432\u0438\u0439 \u0436\u0443\u0440\u043D\u0430\u043B" , "lang" : "uk" } ,
      { "type" : "literal", "value" : "journal" , "lang" : "en" } ,
      { "type" : "literal", "value" : "revue scientifique" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "\u0935\u0948\u091C\u094D\u091E\u093E\u0928\u093F\u0915 \u092A\u0924\u094D\u0930\u093F\u0915\u093E" , "lang" : "hi" } ,
      { "type" : "literal", "value" : "\u0633\u0627\u06CC\u0646\u064E\u0633\u06CC \u0631\u0650\u0633\u0627\u0644\u06C1\u0655" , "lang" : "ks" } ,
      { "type" : "literal", "value" : "v\u011Bdeck\u00FD \u010Dasopis" , "lang" : "cs" } ,
      { "type" : "literal", "value" : "wissenschaftliche Fachzeitschrift" , "lang" : "de" } ,
      { "type" : "literal", "value" : "\u0645\u062C\u0644\u0629" , "lang" : "ar" } ,
      { "type" : "literal", "value" : "wetenschappelijk tijdschrift van Springer Science+Business Media" , "lang" : "nl" } ,
      { "type" : "literal", "value" : "rivista scientifica" , "lang" : "it" } ] ,
    "http://dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Reflist" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Infobox_journal" } ] ,
    "http://dbpedia.org/property/title" : [ { "type" : "literal", "value" : "Journal of Automated Reasoning" , "lang" : "en" } ] ,
    "http://dbpedia.org/property/website" : [ { "type" : "uri", "value" : "https://www.springer.com/computer/theoretical+computer+science/journal/10817" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Journal_of_Automated_Reasoning" } ] ,
    "http://dbpedia.org/property/editor" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Jasmin_Blanchette" } ] ,
    "http://dbpedia.org/ontology/oclc" : [ { "type" : "literal", "value" : "263592661" } ] ,
    "http://dbpedia.org/property/oclc" : [ { "type" : "literal", "value" : 263592661 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://dbpedia.org/property/link" : [ { "type" : "uri", "value" : "http://www.springerlink.com/openurl.asp%3Fgenre=issue&issn=0168-7433&issue=current" } ] ,
    "http://dbpedia.org/property/frequency" : [ { "type" : "literal", "value" : 8 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://dbpedia.org/property/publisher" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Springer_Science+Business_Media" } ] ,
    "http://dbpedia.org/ontology/abbreviation" : [ { "type" : "literal", "value" : "J. Autom. Reason." } ] ,
    "http://dbpedia.org/property/abbreviation" : [ { "type" : "literal", "value" : "J. Autom. Reason." , "lang" : "en" } ] ,
    "http://dbpedia.org/property/history" : [ { "type" : "literal", "value" : 1983 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://dbpedia.org/ontology/frequencyOfPublication" : [ { "type" : "literal", "value" : "8/year" } ] ,
    "http://dbpedia.org/ontology/issn" : [ { "type" : "literal", "value" : "1573-0670" } ,
      { "type" : "literal", "value" : "0168-7433" } ] ,
    "http://dbpedia.org/ontology/publisher" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Springer_Science+Business_Media" } ] ,
    "http://dbpedia.org/ontology/firstPublicationYear" : [ { "type" : "literal", "value" : "1983" , "datatype" : "http://www.w3.org/2001/XMLSchema#gYear" } ] ,
    "http://dbpedia.org/ontology/coden" : [ { "type" : "literal", "value" : "JAREEW" } ] ,
    "http://dbpedia.org/ontology/impactFactor" : [ { "type" : "literal", "value" : 1.431 , "datatype" : "http://www.w3.org/2001/XMLSchema#double" } ] ,
    "http://dbpedia.org/ontology/impactFactorAsOf" : [ { "type" : "literal", "value" : "2019" , "datatype" : "http://www.w3.org/2001/XMLSchema#gYear" } ] ,
    "http://dbpedia.org/ontology/lccn" : [ { "type" : "literal", "value" : "sf93093541" } ] ,
    "http://dbpedia.org/property/issn" : [ { "type" : "literal", "value" : 168 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://dbpedia.org/property/lccn" : [ { "type" : "literal", "value" : "sf93093541" , "lang" : "en" } ] ,
    "http://dbpedia.org/property/link1Name" : [ { "type" : "literal", "value" : "Online access" , "lang" : "en" } ] ,
    "http://dbpedia.org/property/coden" : [ { "type" : "literal", "value" : "JAREEW" , "lang" : "en" } ] ,
    "http://dbpedia.org/property/discipline" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Computer_science" } ] ,
    "http://dbpedia.org/property/eissn" : [ { "type" : "literal", "value" : 1573 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://dbpedia.org/property/impact" : [ { "type" : "literal", "value" : 1.431 , "datatype" : "http://www.w3.org/2001/XMLSchema#double" } ] ,
    "http://dbpedia.org/property/impactYear" : [ { "type" : "literal", "value" : 2019 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://dbpedia.org/property/mathscinet" : [ { "type" : "literal", "value" : "J. Automat. Reason." , "lang" : "en" } ] ,
    "http://dbpedia.org/ontology/academicDiscipline" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Computer_science" } ] ,
    "http://dbpedia.org/ontology/editor" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Jasmin_Blanchette" } ] } ,
  "http://dbpedia.org/resource/Index_of_logic_articles" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] } ,
  "http://dbpedia.org/resource/Mizar_system" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] } ,
  "http://dbpedia.org/resource/Rippling" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] } ,
  "http://dbpedia.org/resource/Douglas_Lenat" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] } ,
  "http://dbpedia.org/resource/J._Autom._Reason." : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] } ,
  "http://dbpedia.org/resource/J._Automat._Reason." : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] } ,
  "http://dbpedia.org/resource/J_Autom_Reason" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] } ,
  "http://dbpedia.org/resource/J_Autom_Reasoning" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] } ,
  "http://dbpedia.org/resource/J_Automat_Reason" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] } ,
  "http://dbpedia.org/resource/The_Journal_of_Automated_Reasoning" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] } ,
  "http://dbpedia.org/resource/Andrzej_Trybulec" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Journal_of_Automated_Reasoning" } ] }
}