iProver-Eq: An Instantiation-Based Theorem Prover with Equality (Q5747761)
From MaRDI portal
scientific article; zbMATH DE number 5785448
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | iProver-Eq: An Instantiation-Based Theorem Prover with Equality |
scientific article; zbMATH DE number 5785448 |
Statements
iProver-Eq: An Instantiation-Based Theorem Prover with Equality (English)
0 references
14 September 2010
0 references
