Premodifier: theoremHead noun: prover
| Same concepts |
|---|
| http://dbpedia.org/resource/Theorem_prover |
Broader concepts
| label | provenance | confidence |
|---|---|---|
| tool | isap:493189487 | 0.536034 |
| system | isap:397274955 | 0.534029 |
| thing | isap:117556573 | 0.439202 |
| reasoning | isap:422350414 | 0.270525 |
Narrower concepts
| label | provenance | confidence |
|---|---|---|
| coq | isap:212998799 | 0.434961 |
| isabelle | isap:485210853 | 0.327255 |
| hol | isap:210489735 | 0.297591 |
| z3 | isap:108940450 | 0.285836 |