Superposition calculus (Q7644107)
Jump to navigation
Jump to search
used in logic for equational first-order reasoning
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Superposition calculus |
used in logic for equational first-order reasoning |
Statements
Identifiers
Sitelinks
Wikipedia(2 entries)
- cawiki Càlcul de superposició
- enwiki Superposition calculus