Clausal presentation of theories in deduction modulo (Q744331)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Clausal presentation of theories in deduction modulo |
scientific article |
Statements
Clausal presentation of theories in deduction modulo (English)
0 references
7 October 2014
0 references
resolution
0 references
deduction modulo
0 references
cut-free proof
0 references
clause
0 references
