@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix wikipedia-en:	<http://en.wikipedia.org/wiki/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
wikipedia-en:Sequent	foaf:primaryTopic	dbr:Sequent .
@prefix dbo:	<http://dbpedia.org/ontology/> .
dbr:Sequent_calculus	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Susanne_Bobzien	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Hypothetical_syllogism	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Relevance_logic	dbo:wikiPageWikiLink	dbr:Sequent .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
@prefix dbpedia-es:	<http://es.dbpedia.org/resource/> .
dbr:Sequent	owl:sameAs	dbpedia-es:Consecuente ,
		<https://global.dbpedia.org/id/4zw7s> .
@prefix yago-res:	<http://yago-knowledge.org/resource/> .
dbr:Sequent	owl:sameAs	yago-res:Sequent .
@prefix dbpedia-pt:	<http://pt.dbpedia.org/resource/> .
dbr:Sequent	owl:sameAs	dbpedia-pt:Sequente ,
		<http://ja.dbpedia.org/resource/\u30B7\u30FC\u30AF\u30A8\u30F3\u30C8> ,
		<http://zh.dbpedia.org/resource/\u76F8\u7EE7\u5F0F> .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
dbr:Sequent	owl:sameAs	wikidata:Q843632 .
@prefix dbpedia-it:	<http://it.dbpedia.org/resource/> .
dbr:Sequent	owl:sameAs	dbpedia-it:Sequente ,
		<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)> ,
		dbr:Sequent ,
		<http://rdf.freebase.com/ns/m.01lfsl> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbr:Sequent	rdfs:label	"Sequente"@pt ,
		"Consecuente"@es ,
		"Sequente"@it ,
		"\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)"@ru ,
		"\u76F8\u7EE7\u5F0F"@zh ,
		"Sequent"@en ,
		"\u30B7\u30FC\u30AF\u30A8\u30F3\u30C8"@ja .
@prefix dct:	<http://purl.org/dc/terms/> .
@prefix dbc:	<http://dbpedia.org/resource/Category:> .
dbr:Sequent	dct:subject	dbc:Proof_theory ,
		dbc:Logical_expressions .
@prefix prov:	<http://www.w3.org/ns/prov#> .
dbr:Sequent	prov:wasDerivedFrom	<http://en.wikipedia.org/wiki/Sequent?oldid=1299541318&ns=0> ;
	foaf:isPrimaryTopicOf	wikipedia-en:Sequent ;
	dbo:wikiPageWikiLink	dbr:David_Hilbert ,
		dbr:Paraconsistent_logic ,
		dbr:Semantics ,
		dbr:Coplanarity ,
		dbr:Logical_disjunction ,
		dbr:Substructural_logic ,
		dbr:John_Lemmon ,
		dbr:Multiset ,
		dbc:Logical_expressions ,
		dbr:Rule_of_inference ,
		<http://dbpedia.org/resource/Antecedent_(logic)> ,
		dbc:Proof_theory ,
		dbr:System_L ,
		<http://dbpedia.org/resource/Glivenko\u0027s_translation> ,
		<http://dbpedia.org/resource/Interpretation_(logic)> ,
		dbr:Dual-intuitionistic_logic ,
		dbr:Sequent_calculus ,
		dbr:Intuitionistic_logic ,
		<http://dbpedia.org/resource/Set_(mathematics)> ,
		dbr:Paul_Bernays ,
		dbr:Dag_Prawitz ,
		dbr:Haskell_Curry ,
		dbr:Alonzo_Church ,
		dbr:Logical_conjunction ,
		dbr:Permutation ,
		dbr:Propositional_logic ,
		dbr:Contradiction ,
		<http://dbpedia.org/resource/Tee_(symbol)> ,
		dbr:Logical_assertion ,
		<http://dbpedia.org/resource/Tautology_(logic)> ,
		dbr:Syntax ,
		dbr:Proof_calculus ,
		dbr:Mathematical_logic ,
		dbr:Well-formed_formula ,
		dbr:Gerhard_Gentzen ,
		<http://dbpedia.org/resource/Formalism_(mathematics)> ,
		dbr:Proof_theory ,
		dbr:Sequence ,
		<http://dbpedia.org/resource/Turnstile_(symbol)> ,
		dbr:Natural_deduction ,
		dbr:Consequent ,
		<http://dbpedia.org/resource/False_(logic)> ,
		dbr:Deductive_reasoning ,
		<http://dbpedia.org/resource/Judgment_(mathematical_logic)> ;
	dbo:description	"conditional assertion that if all of the antecedent conditions are true, then at least one of the consequent formulas is true"@en ,
		"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"@eo .
@prefix dbp:	<http://dbpedia.org/property/> .
@prefix dbt:	<http://dbpedia.org/resource/Template:> .
dbr:Sequent	dbp:wikiPageUsesTemplate	dbt:Cite_book ,
		dbt:Short_description ,
		dbt:Cite_journal ,
		dbt:Reflist ,
		dbt:Refimprove_section ,
		dbt:Sfn_whitelist ,
		dbt:Other_uses ,
		dbt:Prawitz_Natural_Deduction ,
		dbt:Harvnb ,
		dbt:Harvtxt ,
		dbt:Springer ;
	dbp:date	"June 2014"@en ;
	dbo:wikiPageExternalLink	<http://gdz.sub.uni-goettingen.de/dms/resolveppn/%3FPPN=GDZPPN002375508> ,
		<http://gdz.sub.uni-goettingen.de/dms/resolveppn/%3FPPN=GDZPPN002375605> ;
	dbp:id	"p/s084590"@en ;
	dbp:title	"Sequent"@en ;
	dbp:talk	"Assertion symbols in sequents do not signify provability."@en .
<http://dbpedia.org/resource/Decidability_(logic)>	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Claim	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:System_L	dbo:wikiPageWikiLink	dbr:Sequent .
<http://dbpedia.org/resource/Exportation_(logic)>	dbo:wikiPageWikiLink	dbr:Sequent .
<http://dbpedia.org/resource/Sequent_(disambiguation)>	dbo:wikiPageWikiLink	dbr:Sequent ;
	dbo:wikiPageDisambiguates	dbr:Sequent .
dbr:Sequents	dbo:wikiPageWikiLink	dbr:Sequent ;
	dbo:wikiPageRedirects	dbr:Sequent .
<http://dbpedia.org/resource/Sequent_(in_logic)>	dbo:wikiPageWikiLink	dbr:Sequent ;
	dbo:wikiPageRedirects	dbr:Sequent .
dbr:Boolean_algebra	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:List_of_mathematical_logic_topics	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Natural_deduction	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Double_negation	dbo:wikiPageWikiLink	dbr:Sequent .
<http://dbpedia.org/resource/Tautology_(rule_of_inference)>	dbo:wikiPageWikiLink	dbr:Sequent .
<http://dbpedia.org/resource/Absorption_(logic)>	dbo:wikiPageWikiLink	dbr:Sequent .
<http://dbpedia.org/resource/Transposition_(logic)>	dbo:wikiPageWikiLink	dbr:Sequent .
<http://dbpedia.org/resource/AVATAR_(MUD)>	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Cut-elimination_theorem	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Rule_of_inference	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Outline_of_logic	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Conjunction_introduction	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Monotonicity_of_entailment	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Noncommutative_logic	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Biconditional_elimination	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Biconditional_introduction	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Constructive_dilemma	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Commutativity_of_conjunction	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Destructive_dilemma	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Modus_ponens	dbo:wikiPageWikiLink	dbr:Sequent .
<http://dbpedia.org/resource/Curry\u2013Howard_correspondence>	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Disjunctive_syllogism	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Disjunction_elimination	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Disjunction_introduction	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Conjunction_elimination	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Revision_theory	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Index_of_logic_articles	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Logical_quality	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Modus_tollens	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:List_of_functional_programming_topics	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Cirquent_calculus	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Regular_category	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Hypersequent	dbo:wikiPageWikiLink	dbr:Sequent .
<http://dbpedia.org/resource/Turnstile_(symbol)>	dbo:wikiPageWikiLink	dbr:Sequent .
<http://dbpedia.org/resource/De_Morgan\u0027s_laws>	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Structural_proof_theory	dbo:wikiPageWikiLink	dbr:Sequent .
dbr:Structural_rule	dbo:wikiPageWikiLink	dbr:Sequent .