Disambiguation evidence for E prover via surface form

"E prover"

Triples (1)

Triples where some other subject referred to this entity as "E prover".

Sledgehammer → invokes →
"E prover"
↳ resolves to E prover
ⓘ