Head noun: acl2
| Same concepts |
|---|
| http://dbpedia.org/resource/ACL2 |
Broader concepts
| label | provenance | confidence |
|---|---|---|
| programming language | isap:458551020 | 0.303681 |
| theorem prove system | isap:10249210 | 0.301082 |
Narrower concepts
| label | provenance | confidence |
|---|