Propositional proof system (Q7250416)
Jump to navigation
Jump to search
System to prove classical propositional tautologies.
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Propositional proof system |
System to prove classical propositional tautologies. |
Statements
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Propositional proof system