toolDeveloperFor
P37347
predicate
Indicates that one entity is the creator or developer of a tool that is used by or associated with another entity.
Sample triples (1)
| Subject | Object |
|---|---|
| Nikolaj Bjørner | SMT-based verification tools ⓘ |