Disambiguation evidence for Nikolaj Bjørner via surface form
"Z3 SMT solver"
As subject (6)
Triples where this entity appears as subject under the
label "Z3 SMT solver".
| Predicate | Object |
|---|---|
| developer |
Microsoft
ⓘ
surface form:
Microsoft Research
|
| developer | Nikolaj Bjørner self-linksurface differs ⓘ |
| fieldOfUse | constraint solving ⓘ |
| fieldOfUse | program analysis ⓘ |
| fieldOfUse | software verification ⓘ |
| instanceOf | SMT solver ⓘ |