pl1res
Version:
Automated theorem prover for first-order predicate logic with equality based on resolution/paramodulation
| Filename | Content Type | Size | |
|---|---|---|---|
| 195 kB | |||
| 316 kB | |||
| 134 kB | |||
| 37.9 kB | |||
| 13.1 kB | |||
| 262 B | |||
| 550 B | |||
| 12.5 kB |
Automated theorem prover for first-order predicate logic with equality based on resolution/paramodulation
| Filename | Content Type | Size | |
|---|---|---|---|
| 195 kB | |||
| 316 kB | |||
| 134 kB | |||
| 37.9 kB | |||
| 13.1 kB | |||
| 262 B | |||
| 550 B | |||
| 12.5 kB |