Disambiguation evidence for Leonardo de Moura via surface form

"Leonardo de Moura"

Triples (4)

Triples where some other subject referred to this entity as "Leonardo de Moura".

Herbrand Award → notableRecipient →
"Leonardo de Moura"
↳ resolves to Leonardo de Moura
ⓘ
Z3 → developer →
"Leonardo de Moura"
↳ resolves to Leonardo de Moura
ⓘ
linked to: Z3 SMT solver
Z3 → primaryDeveloper →
"Leonardo de Moura"
↳ resolves to Leonardo de Moura
ⓘ
linked to: Z3: An Efficient SMT Solver
"Z3: An Efficient SMT Solver" → authors →
"Leonardo de Moura"
↳ resolves to Leonardo de Moura
ⓘ
linked to: Z3: An Efficient SMT Solver