Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Normal_form_(natural_deduction)> ?p ?o }
Showing triples 1 to 22 of
22
with 100 triples per page.
- Normal_form_(natural_deduction) abstract "An inference of natural deduction is a normal form, according to Dag Prawitz, if no formula occurrence is both the principal premise of an elimination rule and the conclusion of an introduction rule.".
- Normal_form_(natural_deduction) wikiPageID "1105069".
- Normal_form_(natural_deduction) wikiPageLength "348".
- Normal_form_(natural_deduction) wikiPageOutDegree "3".
- Normal_form_(natural_deduction) wikiPageRevisionID "532304588".
- Normal_form_(natural_deduction) wikiPageWikiLink Category:Logic.
- Normal_form_(natural_deduction) wikiPageWikiLink Dag_Prawitz.
- Normal_form_(natural_deduction) wikiPageWikiLink Natural_deduction.
- Normal_form_(natural_deduction) wikiPageWikiLinkText "Normal form (natural deduction)".
- Normal_form_(natural_deduction) auto "yes".
- Normal_form_(natural_deduction) date "December 2009".
- Normal_form_(natural_deduction) wikiPageUsesTemplate Template:Logic-stub.
- Normal_form_(natural_deduction) wikiPageUsesTemplate Template:Unreferenced_stub.
- Normal_form_(natural_deduction) subject Category:Logic.
- Normal_form_(natural_deduction) hypernym Form.
- Normal_form_(natural_deduction) comment "An inference of natural deduction is a normal form, according to Dag Prawitz, if no formula occurrence is both the principal premise of an elimination rule and the conclusion of an introduction rule.".
- Normal_form_(natural_deduction) label "Normal form (natural deduction)".
- Normal_form_(natural_deduction) sameAs Q7051808.
- Normal_form_(natural_deduction) sameAs m.046czz.
- Normal_form_(natural_deduction) sameAs Q7051808.
- Normal_form_(natural_deduction) wasDerivedFrom Normal_form_(natural_deduction)?oldid=532304588.
- Normal_form_(natural_deduction) isPrimaryTopicOf Normal_form_(natural_deduction).