| Similarity | Rank | |
|---|---|---|
| proof_of | 0.722 | 10114 |
| to_prove | 0.629 | 9537 |
| proof_that | 0.623 | 23465 |
| Proof | 0.606 | 66327 |
| prove | 0.586 | 2655 |
| conjecture | 0.565 | 26000 |
| to_prove_that | 0.554 | 25248 |
| theorem | 0.548 | 26032 |
| prove_it | 0.534 | 33812 |
| verification | 0.525 | 8474 |
| prove_by | 0.521 | 30721 |
| disprove | 0.503 | 57436 |
| evidence | 0.502 | 1280 |
| axiom | 0.486 | 41527 |
| the_correctness_of | 0.485 | 96709 |
| as_proof_of | 0.482 | 79179 |
| prove_that | 0.480 | 6595 |
| assertion | 0.475 | 16068 |
| inference | 0.473 | 18252 |
| explanation | 0.472 | 4838 |
| verification_of | 0.467 | 19112 |
| verify | 0.466 | 4465 |
| documentary_evidence | 0.464 | 72013 |
| as_evidence | 0.460 | 25369 |
| fact | 0.460 | 880 |