{
  "http://en.wikipedia.org/wiki/Sequent" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Curry\u2013Howard_correspondence" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Cirquent_calculus" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Boolean_algebra" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/System_L" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/List_of_functional_programming_topics" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Structural_proof_theory" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Relevance_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Susanne_Bobzien" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Regular_category" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/List_of_mathematical_logic_topics" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/AVATAR_(MUD)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Decidability_(logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Sequent_(disambiguation)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] ,
    "http://dbpedia.org/ontology/wikiPageDisambiguates" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Sequents" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Sequent_(in_logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Claim" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Revision_theory" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Disjunction_elimination" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Conjunction_elimination" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Cut-elimination_theorem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Rule_of_inference" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Biconditional_elimination" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Biconditional_introduction" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Double_negation" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Hypothetical_syllogism" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Modus_tollens" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/De_Morgan's_laws" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Exportation_(logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Tautology_(rule_of_inference)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Disjunctive_syllogism" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Commutativity_of_conjunction" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Constructive_dilemma" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Destructive_dilemma" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Absorption_(logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Disjunction_introduction" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Transposition_(logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Outline_of_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Index_of_logic_articles" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Modus_ponens" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Natural_deduction" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Sequent_calculus" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Turnstile_(symbol)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Noncommutative_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Monotonicity_of_entailment" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Logical_quality" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Conjunction_introduction" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Structural_rule" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] } ,
  "http://dbpedia.org/resource/Sequent" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://pt.dbpedia.org/resource/Sequente" } ,
      { "type" : "uri", "value" : "http://es.dbpedia.org/resource/Consecuente" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ,
      { "type" : "uri", "value" : "http://yago-knowledge.org/resource/Sequent" } ,
      { "type" : "uri", "value" : "http://ja.dbpedia.org/resource/\u30B7\u30FC\u30AF\u30A8\u30F3\u30C8" } ,
      { "type" : "uri", "value" : "https://global.dbpedia.org/id/4zw7s" } ,
      { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.01lfsl" } ,
      { "type" : "uri", "value" : "http://it.dbpedia.org/resource/Sequente" } ,
      { "type" : "uri", "value" : "http://zh.dbpedia.org/resource/\u76F8\u7EE7\u5F0F" } ,
      { "type" : "uri", "value" : "http://ru.dbpedia.org/resource/\u0421\u0435\u043A\u0432\u0435\u043D\u0446\u0438\u044F_(\u0442\u0435\u043E\u0440\u0438\u044F_\u0434\u043E\u043A\u0430\u0437\u0430\u0442\u0435\u043B\u044C\u0441\u0442\u0432)" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q843632" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "\u30B7\u30FC\u30AF\u30A8\u30F3\u30C8" , "lang" : "ja" } ,
      { "type" : "literal", "value" : "\u76F8\u7EE7\u5F0F" , "lang" : "zh" } ,
      { "type" : "literal", "value" : "\u0421\u0435\u043A\u0432\u0435\u043D\u0446\u0438\u044F (\u0442\u0435\u043E\u0440\u0438\u044F \u0434\u043E\u043A\u0430\u0437\u0430\u0442\u0435\u043B\u044C\u0441\u0442\u0432)" , "lang" : "ru" } ,
      { "type" : "literal", "value" : "Sequente" , "lang" : "pt" } ,
      { "type" : "literal", "value" : "Sequent" , "lang" : "en" } ,
      { "type" : "literal", "value" : "Consecuente" , "lang" : "es" } ,
      { "type" : "literal", "value" : "Sequente" , "lang" : "it" } ] ,
    "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Proof_theory" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Logical_expressions" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Sequent?oldid=1299541318&ns=0" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Intuitionistic_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Mathematical_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Proof_theory" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Interpretation_(logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Gerhard_Gentzen" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Set_(mathematics)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Multiset" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Logical_expressions" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequence" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Paraconsistent_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Antecedent_(logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Consequent" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Paul_Bernays" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Permutation" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Logical_conjunction" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Dual-intuitionistic_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/David_Hilbert" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Rule_of_inference" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Syntax" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Logical_disjunction" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/False_(logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Haskell_Curry" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Substructural_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Coplanarity" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Deductive_reasoning" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Turnstile_(symbol)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Contradiction" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Formalism_(mathematics)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Propositional_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Dag_Prawitz" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Glivenko's_translation" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Natural_deduction" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/John_Lemmon" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Tautology_(logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Judgment_(mathematical_logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Proof_theory" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Alonzo_Church" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Semantics" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Logical_assertion" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/System_L" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Tee_(symbol)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Proof_calculus" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent_calculus" } ] ,
    "http://dbpedia.org/ontology/wikiPageExternalLink" : [ { "type" : "uri", "value" : "http://gdz.sub.uni-goettingen.de/dms/resolveppn/%3FPPN=GDZPPN002375605" } ,
      { "type" : "uri", "value" : "http://gdz.sub.uni-goettingen.de/dms/resolveppn/%3FPPN=GDZPPN002375508" } ] ,
    "http://dbpedia.org/ontology/description" : [ { "type" : "literal", "value" : "conditional assertion that if all of the antecedent conditions are true, then at least one of the consequent formulas is true" , "lang" : "en" } ,
      { "type" : "literal", "value" : "kondi\u0109a aserto de la jena formo: se \u0109iuj el la kondi\u0109oj (anta\u016Da\u0135oj) veras, do almena\u016D unu el la konsekvencoj veras" , "lang" : "eo" } ] ,
    "http://dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Sfn_whitelist" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Cite_journal" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Harvtxt" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Refimprove_section" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Harvnb" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Reflist" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Short_description" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Springer" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Prawitz_Natural_Deduction" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Cite_book" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Other_uses" } ] ,
    "http://dbpedia.org/property/date" : [ { "type" : "literal", "value" : "June 2014" , "lang" : "en" } ] ,
    "http://dbpedia.org/property/title" : [ { "type" : "literal", "value" : "Sequent" , "lang" : "en" } ] ,
    "http://dbpedia.org/property/id" : [ { "type" : "literal", "value" : "p/s084590" , "lang" : "en" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Sequent" } ] ,
    "http://dbpedia.org/property/talk" : [ { "type" : "literal", "value" : "Assertion symbols in sequents do not signify provability." , "lang" : "en" } ] } ,
  "http://dbpedia.org/resource/Hypersequent" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequent" } ] }
}