About: Nested sequent calculus

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageWikiLink	dbr:Sequent_calculus dbc:Proof_theory dbc:Logical_calculi dbr:Structural_proof_theory dbr:Deep_inference
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Mathlogic-stub
dct:subject	dbc:Proof_theory dbc:Logical_calculi
rdfs:label	Nested sequent calculus (en)
owl:sameAs	wikidata:Nested sequent calculus dbpedia-global:Nested sequent calculus
prov:wasDerivedFrom	wikipedia-en:Nested_sequent_calculus?oldid=1167025750&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Nested_sequent_calculus
is dbo:wikiPageWikiLink of	dbr:Sequent_calculus dbr:Focused_proof
is foaf:primaryTopic of	wikipedia-en:Nested_sequent_calculus

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International