Thousands of Problems for Theorem Provers
E2188465
UNEXPLORED
Thousands of Problems for Theorem Provers is a comprehensive, standardized benchmark library of logic problems used to evaluate and compare automated theorem proving systems.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Thousands of Problems for Theorem Provers canonical | 2 |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.