Returned 56 matches
(100 formulae, 117 docs)
Lookup 91.915 ms, Re-ranking 0.035 ms
Found 184845 tuple postings, 84551 formulae, 14655 documents
0.3750
|
|
|
0.3621
|
|
|
0.3488
|
|
|
0.3273
|
|
|
0.3205
|
|
|
0.2917
|
|
|
0.2748
|
|
|
0.2737
|
|
|
0.2667
|
|
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
|
|
0.2581
|
|
|
0.2574
|
|
|
0.2569
|
|
|
0.2537
|
|
|
0.2532
|
|
|
0.2500
|
|
|
0.2500
|
|
|
0.2500
|
|
|
0.2500
|
|
|
0.2488
|
|
|
0.2477
|
|
|
0.2439
|
|
|
0.2381
|
|
|
0.2340
|
|
|
0.2326
|
|
|
0.2326
|
|
|
0.2326
|
|
|
0.2290
|
|
|
0.2290
|
|
|
0.2265
|
|
|
0.2250
|
|
|
0.2208
|
|
|
0.2178
|
|
|
0.2174
|
|
|
0.2151
|
|
|
0.2128
|
|
|
0.2062
|
|
|
0.2041
|
|
|
0.2041
|
|
|
0.2027
|
|
|
0.2025
|
|
|
0.2020
|
|
|
0.2018
|
|
|
0.2000
|
|
|
0.1985
|
|
|
0.1982
|
|
|
0.1980
|
|
|
0.1980
|
|
|
0.1980
|
|
|
0.1963
|
|
|
0.1942
|
|
|
0.1923
|
|
|
0.1913
|
|
|
0.1880
|
|
|
0.1864
|
|
|
0.1860
|
|
|
0.1860
|
|
|