Disambiguation evidence for Nikolaj Bjørner via surface form

"Nikolaj Bjørner"

Triples (5)

Triples where some other subject referred to this entity as "Nikolaj Bjørner".

Herbrand Award → notableRecipient →
"Nikolaj Bjørner"
↳ resolves to Nikolaj Bjørner
ⓘ
Z3 SMT solver → developer →
"Nikolaj Bjørner"
↳ resolves to Nikolaj Bjørner
ⓘ
linked to: Nikolaj Bjørner
Z3 → developer →
"Nikolaj Bjørner"
↳ resolves to Nikolaj Bjørner
ⓘ
linked to: Z3 SMT solver
Z3 → primaryDeveloper →
"Nikolaj Bjørner"
↳ resolves to Nikolaj Bjørner
ⓘ
linked to: Z3: An Efficient SMT Solver
"Z3: An Efficient SMT Solver" → authors →
"Nikolaj Bjørner"
↳ resolves to Nikolaj Bjørner
ⓘ
linked to: Z3: An Efficient SMT Solver