Encyclopedia : E : EE : EEQ (3 articles)

---

---

 

E equational theorem prover
E is a modern, high performance theorem prover for full first-order logic with equality. It has been developed primarily in the Automated Reasoning Group at TU Munich. The system is based on the equational superposition calculus. In contrast to most other current provers, the implementation actuall..

 

---

From Wikipedia, the Free Encyclopedia. Article contents subject to the GNU Free Documentation License.

---

Search Titles

0

1

2

3

4

5

6

7

8

9

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

?