Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q7250416> ?p ?o }
Showing triples 1 to 47 of
47
with 100 triples per page.
- Q7250416 subject Q7451559.
- Q7250416 subject Q7464734.
- Q7250416 subject Q7470263.
- Q7250416 subject Q7478371.
- Q7250416 subject Q8279957.
- Q7250416 subject Q8840630.
- Q7250416 abstract "In propositional calculus and proof complexity a propositional proof system (pps), also called a Cook–Reckhow propositional proof system, is system for proving classical propositional tautologies.".
- Q7250416 wikiPageExternalLink index.html.
- Q7250416 wikiPageExternalLink node9.html.
- Q7250416 wikiPageExternalLink book.
- Q7250416 wikiPageExternalLink catalogue.asp?isbn=9780521517294.
- Q7250416 wikiPageExternalLink ds1.ps.
- Q7250416 wikiPageExternalLink ds2.ps.
- Q7250416 wikiPageExternalLink ecm.pdf.
- Q7250416 wikiPageExternalLink 1304-001.ps.
- Q7250416 wikiPageExternalLink reckhow_thesis.pdf.
- Q7250416 wikiPageWikiLink Q1034411.
- Q7250416 wikiPageWikiLink Q1051925.
- Q7250416 wikiPageWikiLink Q1377907.
- Q7250416 wikiPageWikiLink Q1572108.
- Q7250416 wikiPageWikiLink Q15846555.
- Q7250416 wikiPageWikiLink Q1762039.
- Q7250416 wikiPageWikiLink Q1771121.
- Q7250416 wikiPageWikiLink Q1806121.
- Q7250416 wikiPageWikiLink Q188276.
- Q7250416 wikiPageWikiLink Q200694.
- Q7250416 wikiPageWikiLink Q2030088.
- Q7250416 wikiPageWikiLink Q209555.
- Q7250416 wikiPageWikiLink Q236975.
- Q7250416 wikiPageWikiLink Q2393193.
- Q7250416 wikiPageWikiLink Q287954.
- Q7250416 wikiPageWikiLink Q5501318.
- Q7250416 wikiPageWikiLink Q628036.
- Q7250416 wikiPageWikiLink Q62870.
- Q7250416 wikiPageWikiLink Q693083.
- Q7250416 wikiPageWikiLink Q714691.
- Q7250416 wikiPageWikiLink Q7249999.
- Q7250416 wikiPageWikiLink Q7451559.
- Q7250416 wikiPageWikiLink Q7464734.
- Q7250416 wikiPageWikiLink Q7470263.
- Q7250416 wikiPageWikiLink Q7478371.
- Q7250416 wikiPageWikiLink Q7821369.
- Q7250416 wikiPageWikiLink Q8279957.
- Q7250416 wikiPageWikiLink Q8840630.
- Q7250416 wikiPageWikiLink Q955748.
- Q7250416 comment "In propositional calculus and proof complexity a propositional proof system (pps), also called a Cook–Reckhow propositional proof system, is system for proving classical propositional tautologies.".
- Q7250416 label "Propositional proof system".