Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Frege_system> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items 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 wikiPageRevisionID "489109402".
- Frege_system hasPhotoCollection Frege_system.
- Frege_system subject Category:Logic_in_computer_science.
- Frege_system subject Category:Propositional_calculus.
- 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=489109402.
- Frege_system isPrimaryTopicOf Frege_system.