Returned 55 matches
(100 formulae, 117 docs)
Lookup 91.915 ms, Re-ranking 292.558 ms
Found 184845 tuple postings, 84551 formulae, 14655 documents
0.9875
|
|
|
0.5020
|
|
|
0.4944
|
|
|
0.4912
|
|
|
0.4852
|
|
|
0.4640
|
|
|
0.3961
|
|
|
0.3886
|
|
|
0.3855
|
|
|
0.3855
|
|
|
0.3855
|
|
|
0.3855
|
|
|
0.3181
|
|
|
0.2993
|
|
|
0.2962
|
|
|
0.2821
|
|
|
0.2821
|
|
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
|
|
0.2821
|
|
|
0.2821
|
|
|
0.2821
|
|
|
0.2821
|
|
|
0.2821
|
|
|
0.2821
|
|
|
0.2821
|
|
|
0.2821
|
|
|
0.2821
|
|
|
0.2821
|
|
|
0.2821
|
|
|
0.2724
|
|
|
0.2699
|
|
|
0.2683
|
|
|
0.2679
|
|
|
0.2651
|
|
|
0.2650
|
|
|
0.2650
|
|
|
0.2631
|
|
|
0.2631
|
|
|
0.2472
|
|
|
0.2472
|
|
|
0.2429
|
|
|
0.2336
|
|
|
0.2268
|
|
|
0.2136
|
|
|
0.2115
|
|
|
0.2115
|
|
|
0.2115
|
|
|
0.2075
|
|
|
0.2038
|
|
|
0.1964
|
|
|
0.1857
|
|
|
0.1833
|
|
|
0.1827
|
|
|
0.1818
|
|
|
0.1814
|
|
|
0.1728
|
|
|