Head noun: coq
| Same concepts |
|---|
| http://dbpedia.org/resource/Coq |
Broader concepts
| label | provenance | confidence |
|---|---|---|
| theorem prover | isap:212998799 | 0.434961 |
| proof assistant | isap:263208873 | 0.419358 |
| programming language | isap:332122273 | 0.342853 |
| thing | isap:468147386 | 0.200163 |
| software | isap:332143678 | 0.183210 |
| system | isap:213335117 | 0.156288 |
Narrower concepts
| label | provenance | confidence |
|---|