| Similarity | Rank | |
|---|---|---|
| lk | 0.838 | 83351 |
| thess. | 0.819 | 86830 |
| suppes | 0.804 | 99900 |
| ffor | 0.795 | 99369 |
| mulder | 0.794 | 75928 |
| l.c.m. | 0.793 | 96725 |
| skolnick | 0.793 | 99594 |
| diag | 0.792 | 97689 |
| 12b | 0.792 | 64872 |
| zgqn | 0.791 | 98700 |
| 19b | 0.788 | 82777 |
| hcp | 0.784 | 58089 |
| erdmann | 0.783 | 77902 |
| frac14 | 0.781 | 93062 |
| habakkuk | 0.781 | 99728 |
| h.c.f. | 0.779 | 82196 |
| scholte | 0.777 | 98281 |
| koontz | 0.777 | 75794 |
| thessalonians | 0.775 | 83235 |
| loke | 0.774 | 90902 |
| optima | 0.773 | 80290 |
| guntrip | 0.773 | 93498 |
| tabouret-keller | 0.772 | 66782 |
| housesitter | 0.771 | 64952 |
| mccreath | 0.771 | 99081 |