Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Frege_system> ?p ?o }
Showing triples 1 to 37 of
37
with 100 triples per page.
- Frege_system abstract "In proof complexity, a Frege system is a propositional proof system whose proofs are sequences of formulas derived using a finite set of sound and implicationally complete inference rules. Frege systems (more often known as Hilbert systems in general proof theory) are named after Gottlob Frege.".
- Frege_system wikiPageID "27801252".
- Frege_system wikiPageLength "4406".
- Frege_system wikiPageOutDegree "19".
- Frege_system wikiPageRevisionID "680396926".
- Frege_system wikiPageWikiLink Category:Logic_in_computer_science.
- Frege_system wikiPageWikiLink Category:Propositional_calculus.
- Frege_system wikiPageWikiLink Freges_propositional_calculus.
- Frege_system wikiPageWikiLink Functional_completeness.
- Frege_system wikiPageWikiLink Gottlob_Frege.
- Frege_system wikiPageWikiLink Hilbert_system.
- Frege_system wikiPageWikiLink Inference_rules.
- Frege_system wikiPageWikiLink List_of_rules_of_inference.
- Frege_system wikiPageWikiLink Natural_deduction.
- Frege_system wikiPageWikiLink Pigeonhole_principle.
- Frege_system wikiPageWikiLink Proof_complexity.
- Frege_system wikiPageWikiLink Proof_theory.
- Frege_system wikiPageWikiLink Propositional_calculus.
- Frege_system wikiPageWikiLink Propositional_formula.
- Frege_system wikiPageWikiLink Propositional_proof_system.
- Frege_system wikiPageWikiLink Resolution_(logic).
- Frege_system wikiPageWikiLink Sequent_calculus.
- Frege_system wikiPageWikiLink Soundness.
- Frege_system wikiPageWikiLinkText "Frege proofs".
- Frege_system wikiPageWikiLinkText "Frege system".
- Frege_system hasPhotoCollection Frege_system.
- Frege_system wikiPageUsesTemplate Template:Cite_article.
- Frege_system subject Category:Logic_in_computer_science.
- Frege_system subject Category:Propositional_calculus.
- Frege_system hypernym System.
- Frege_system comment "In proof complexity, a Frege system is a propositional proof system whose proofs are sequences of formulas derived using a finite set of sound and implicationally complete inference rules. Frege systems (more often known as Hilbert systems in general proof theory) are named after Gottlob Frege.".
- Frege_system label "Frege system".
- Frege_system sameAs m.0cc5yt0.
- Frege_system sameAs Q5501318.
- Frege_system sameAs Q5501318.
- Frege_system wasDerivedFrom Frege_system?oldid=680396926.
- Frege_system isPrimaryTopicOf Frege_system.