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 |