{
  "http://en.wikipedia.org/wiki/Metalogic" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Laws_of_Form" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Meta-knowledge" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Type\u2013token_distinction" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Hypothetical_syllogism" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/History_of_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Law_of_thought" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Metalogic" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/M\u00E9talogique" } ,
      { "type" : "uri", "value" : "http://bg.dbpedia.org/resource/\u041C\u0435\u0442\u0430\u043B\u043E\u0433\u0438\u043A\u0430" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q1366730" } ,
      { "type" : "uri", "value" : "http://pl.dbpedia.org/resource/Metalogika" } ,
      { "type" : "uri", "value" : "http://ja.dbpedia.org/resource/\u30E1\u30BF\u8AD6\u7406\u5B66" } ,
      { "type" : "uri", "value" : "http://uk.dbpedia.org/resource/\u041C\u0435\u0442\u0430\u043B\u043E\u0433\u0456\u043A\u0430" } ,
      { "type" : "uri", "value" : "http://sw.cyc.com/concept/Mx4rv68KkpwpEbGdrcN5Y29ycA" } ,
      { "type" : "uri", "value" : "http://az.dbpedia.org/resource/Metam\u0259ntiq" } ,
      { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.022fvr" } ,
      { "type" : "uri", "value" : "http://de.dbpedia.org/resource/Metalogik" } ,
      { "type" : "uri", "value" : "http://ko.dbpedia.org/resource/\uBA54\uD0C0\uB17C\uB9AC\uD559" } ,
      { "type" : "uri", "value" : "http://ky.dbpedia.org/resource/\u041C\u0435\u0442\u0430\u043B\u043E\u0433\u0438\u043A\u0430" } ,
      { "type" : "uri", "value" : "http://nl.dbpedia.org/resource/Metalogica" } ,
      { "type" : "uri", "value" : "http://fa.dbpedia.org/resource/\u0641\u0631\u0627\u0645\u0646\u0637\u0642" } ,
      { "type" : "uri", "value" : "http://hy.dbpedia.org/resource/\u0544\u0565\u057F\u0561\u057F\u0580\u0561\u0574\u0561\u0562\u0561\u0576\u0578\u0582\u0569\u0575\u0578\u0582\u0576" } ,
      { "type" : "uri", "value" : "http://sk.dbpedia.org/resource/Metalogika" } ,
      { "type" : "uri", "value" : "http://ru.dbpedia.org/resource/\u041C\u0435\u0442\u0430\u043B\u043E\u0433\u0438\u043A\u0430" } ,
      { "type" : "uri", "value" : "http://no.dbpedia.org/resource/Metalogikk" } ,
      { "type" : "uri", "value" : "http://id.dbpedia.org/resource/Metalogika" } ,
      { "type" : "uri", "value" : "http://pt.dbpedia.org/resource/Metal\u00F3gica" } ,
      { "type" : "uri", "value" : "https://global.dbpedia.org/id/P51b" } ,
      { "type" : "uri", "value" : "http://kk.dbpedia.org/resource/\u041C\u0435\u0442\u0430\u043B\u043E\u0433\u0438\u043A\u0430" } ,
      { "type" : "uri", "value" : "http://ro.dbpedia.org/resource/Metalogic\u0103" } ,
      { "type" : "uri", "value" : "http://es.dbpedia.org/resource/Metal\u00F3gica" } ,
      { "type" : "uri", "value" : "http://simple.dbpedia.org/resource/Metalogic" } ,
      { "type" : "uri", "value" : "http://ar.dbpedia.org/resource/\u0645\u0627_\u0628\u0639\u062F_\u0627\u0644\u0645\u0646\u0637\u0642" } ,
      { "type" : "uri", "value" : "http://sv.dbpedia.org/resource/Metalogik" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "\u0645\u0627 \u0628\u0639\u062F \u0627\u0644\u0645\u0646\u0637\u0642" , "lang" : "ar" } ,
      { "type" : "literal", "value" : "Metalogik" , "lang" : "de" } ,
      { "type" : "literal", "value" : "Metalogic" , "lang" : "en" } ,
      { "type" : "literal", "value" : "Metalogika" , "lang" : "pl" } ,
      { "type" : "literal", "value" : "\u30E1\u30BF\u8AD6\u7406\u5B66" , "lang" : "ja" } ,
      { "type" : "literal", "value" : "Metal\u00F3gica" , "lang" : "pt" } ,
      { "type" : "literal", "value" : "Metalogica" , "lang" : "nl" } ,
      { "type" : "literal", "value" : "\u041C\u0435\u0442\u0430\u043B\u043E\u0433\u0438\u043A\u0430" , "lang" : "ru" } ,
      { "type" : "literal", "value" : "Metalogik" , "lang" : "sv" } ,
      { "type" : "literal", "value" : "Metalogika" , "lang" : "in" } ,
      { "type" : "literal", "value" : "\uBA54\uD0C0\uB17C\uB9AC\uD559" , "lang" : "ko" } ,
      { "type" : "literal", "value" : "Metal\u00F3gica" , "lang" : "es" } ,
      { "type" : "literal", "value" : "\u041C\u0435\u0442\u0430\u043B\u043E\u0433\u0456\u043A\u0430" , "lang" : "uk" } ,
      { "type" : "literal", "value" : "M\u00E9talogique" , "lang" : "fr" } ] ,
    "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Metalogic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Metaphilosophy" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Formal_logic" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Metalogic?oldid=1284965171&ns=0" } ] ,
    "http://purl.org/linguistics/gold/hypernym" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Study" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Metalogic" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic_programming" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Truth_value" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Name" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/First-order_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Gerhard_Gentzen" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/L\u00F6wenheim\u2013Skolem_theorem" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Metamathematics" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Natural_number" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Interpretation_(logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_language" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Wilhelm_Ackermann" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Axiom" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_system" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Validity_(logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Reference" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Emil_Leon_Post" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Tarski's_undefinability_theorem" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Empty_set" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/G\u00F6del's_incompleteness_theorems" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Deductive_system" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/G\u00F6del's_completeness_theorem" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Paul_Bernays" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Decidability_(logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Semantics" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_proof" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Proof_theory" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Mathematical_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Cantor's_theorem" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Soundness" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Charles_Sanders_Peirce" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Propositional_calculus" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Semiotics" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Consistency" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Model_theory" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Monadic_predicate_calculus" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Entscheidungsproblem" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Set_(mathematics)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Alphabet" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Cut-elimination_theorem" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Predicate_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Meaning_(linguistics)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_(logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Rudolf_Carnap" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Foundations_of_mathematics" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Theorem" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/David_Hilbert" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Metaphilosophy" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/String_(computer_science)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Mathematical_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Structure_(mathematical_logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Argument" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Metatheory" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Type\u2013token_distinction" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent_calculus" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Leopold_L\u00F6wenheim" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Thoralf_Skolem" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Rule_of_inference" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Metalogic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Sense_and_reference" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Completeness_(logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Logical_consequence" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Power_set" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Symbol_(formal)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Uncountability" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Aristotle" } ] ,
    "http://dbpedia.org/ontology/description" : [ { "type" : "literal", "value" : "dzia\u0142 logiki matematycznej" , "lang" : "pl" } ,
      { "type" : "literal", "value" : "\u0438\u0437\u0443\u0447\u0435\u043D\u0438\u0435 \u043C\u0435\u0442\u0430\u0442\u0435\u043E\u0440\u0438\u0438 \u043B\u043E\u0433\u0438\u043A\u0438" , "lang" : "ru" } ,
      { "type" : "literal", "value" : "rama de la l\u00F3gica que estudia las propiedades y los componentes de los sistemas formales" , "lang" : "es" } ,
      { "type" : "literal", "value" : "study of the properties of logical systems" , "lang" : "en" } ] ,
    "http://dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Portal" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Commonscat-inline" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Metalogic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Poemquote" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Main" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Prose" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Short_description" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:SpringerEOM" } ] ,
    "http://dbpedia.org/property/id" : [ { "type" : "literal", "value" : "Meta-logic&oldid=14952" , "lang" : "en" } ] ,
    "http://dbpedia.org/property/title" : [ { "type" : "literal", "value" : "Meta-logic" , "lang" : "en" } ] ,
    "http://dbpedia.org/property/authorFirst" : [ { "type" : "literal", "value" : "A.G." , "lang" : "en" } ] ,
    "http://dbpedia.org/property/authorLast" : [ { "type" : "literal", "value" : "Dragalin" , "lang" : "en" } ] } ,
  "http://dbpedia.org/resource/Geoffrey_Hunter_(logician)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] ,
    "http://dbpedia.org/ontology/mainInterest" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] ,
    "http://dbpedia.org/property/mainInterests" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Exportation_(logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Meta-logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Material_implication_(rule_of_inference)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Associative_property" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Index_of_philosophy_articles_(I\u2013Q)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Anton_G\u00FCnther" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/The_Origin_of_German_Tragic_Drama" : { "http://dbpedia.org/ontology/nonFictionSubject" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/If_and_only_if" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Philosophy_of_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Frege's_theorem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/First-order_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Metamathematics" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Triple_bar" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Double_negation" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Tautology_(rule_of_inference)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Jes\u00FAs_Padilla_G\u00E1lvez" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Absorption_(logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Transposition_(logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Critique_of_Impure_Reason" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Doxastic_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Effective_method" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Categorical_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Commutative_property" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Distributive_property" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Functional_predicate" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Outline_of_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Edmund_Husserl" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Conjunction_introduction" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Biconditional_elimination" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Biconditional_introduction" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Constructive_dilemma" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Commutativity_of_conjunction" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Destructive_dilemma" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Steven_James_Bartlett" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Modus_ponens" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Disjunctive_syllogism" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Disjunction_elimination" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Disjunction_introduction" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Conjunction_elimination" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Conceptual_system" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Automated_reasoning" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Index_of_logic_articles" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Modus_tollens" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Completeness_(logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Meta_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Methodology_of_deductive_sciences" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Deductive_science" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/History_of_metalogic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Willard_Van_Orman_Quine" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Andrzej_Grzegorczyk" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Pure_mathematics" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Turnstile_(symbol)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/List_of_Greek_and_Latin_roots_in_English/M" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Prop\u00E6dia" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/De_Morgan's_laws" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] } ,
  "http://dbpedia.org/resource/Existential_graph" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Metalogic" } ] }
}