Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Propositional_proof_system> }
Showing triples 1 to 6 of
6
with 100 triples per page.
- Frege_system wikiPageWikiLink Propositional_proof_system.
- Proof_calculus wikiPageWikiLink Propositional_proof_system.
- Proof_complexity wikiPageWikiLink Propositional_proof_system.
- Stephen_Cook wikiPageWikiLink Propositional_proof_system.
- 2273702 isCitedBy Propositional_proof_system.
- Propositional_proof_system primaryTopic Propositional_proof_system.