Disambiguation evidence for Z3 SMT solver via surface form

"Z3 theorem prover"

As object (2)

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