EQP (Q5323984)
Jump to navigation
Jump to search
software program
- equational prover
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | EQP |
software program |
|
Statements
1 reference
18 June 2016
0 references
Identifiers
Sitelinks
Wikipedia(2 entries)
- enwiki Equational prover
- frwiki EQP