Propositional proof system
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.
primaryTopic
Propositional proof system
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.
has abstract
In propositional calculus and ...... cal propositional tautologies.
@en
Link from a Wikipage to an external page
Wikipage page ID
29,696,524
Wikipage revision ID
704,057,289
subject
hypernym
comment
In propositional calculus and ...... cal propositional tautologies.
@en
label
Propositional proof system
@en