Superposition-based equality handling for analytic tableaux (Q877891)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Superposition-based equality handling for analytic tableaux |
scientific article |
Statements
Superposition-based equality handling for analytic tableaux (English)
0 references
4 May 2007
0 references
tableau calculus
0 references
