Returned 55 matches
(100 formulae, 117 docs)
Lookup 91.915 ms, Re-ranking 312.660 ms
Found 184845 tuple postings, 84551 formulae, 14655 documents
0.9875
|
|
|
0.5577
|
|
|
0.5301
|
|
|
0.5216
|
|
|
0.4944
|
|
|
0.4912
|
|
|
0.4444
|
|
|
0.4377
|
|
|
0.3855
|
|
|
0.3855
|
|
|
0.3855
|
|
|
0.3855
|
|
|
0.3652
|
|
|
0.3469
|
|
|
0.3186
|
|
|
0.3186
|
|
|
0.3065
|
|
|
0.3034
|
|
|
0.3034
|
|
|
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.2631
|
|
|
0.2621
|
|
|
0.2596
|
|
|
0.2429
|
|
|
0.2411
|
|
|
0.2343
|
|
|
0.2336
|
|
|
0.2268
|
|
|
0.2115
|
|
|
0.2115
|
|
|
0.2075
|
|
|
0.2038
|
|
|
0.1833
|
|
|
0.1827
|
|
|
0.1818
|
|
|
0.1814
|
|
|
0.1728
|
|
|