Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Propositional_proof_system> }
Showing triples 1 to 5 of
5
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.
- Propositional_proof_system primaryTopic Propositional_proof_system.