About: Focused proof

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

unknown

Property	Value
dbo:wikiPageWikiLink	dbc:Logic_programming dbr:Logic_programming dbc:Proof_theory dbr:Modal_logic dbr:Linear_logic dbc:Logic dbr:Programming_language dbr:Intuitionistic_logic dbr:System_LJ dbr:System_LK dbc:Reductionism dbr:Analytic_proof dbr:Structural_proof_theory dbr:Harrop_formula dbr:Nested_sequent_calculus
dbp:wikiPageUsesTemplate	dbt:Reflist
dct:subject	dbc:Logic_programming dbc:Proof_theory dbc:Logic dbc:Reductionism
rdfs:label	Focused proof (en)
owl:sameAs	wikidata:Focused proof dbpedia-global:Focused proof
prov:wasDerivedFrom	wikipedia-en:Focused_proof?oldid=1282508221&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Focused_proof
is dbo:wikiPageRedirects of	dbr:Focused_proofs dbr:Uniform_proofs
is dbo:wikiPageWikiLink of	dbr:Proof_theory dbr:Focused_proofs dbr:Uniform_proofs
is foaf:primaryTopic of	wikipedia-en:Focused_proof

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