Returned 99 matches
(100 formulae, 53 docs)
Lookup 5.870 ms, Re-ranking 0.193 ms
Found 88932 tuple postings, 44940 formulae, 10804 documents
1.0000
|
|
|
0.6889
|
|
|
0.6547
|
|
|
0.6426
|
|
|
0.6370
|
|
|
0.5905
|
|
|
0.5852
|
|
|
0.5586
|
|
|
0.5526
|
|
|
0.5185
|
|
|
0.5172
|
|
|
0.5113
|
|
|
0.4938
|
|
|
0.4767
|
|
|
0.4543
|
|
|
0.4141
|
|
|
0.4000
|
|
|
0.3889
|
|
|
0.3800
|
|
|
0.3781
|
|
|
0.3747
|
|
|
0.3694
|
|
|
0.3665
|
|
|
0.3560
|
|
|
0.3542
|
|
|
0.3542
|
|
|
0.3471
|
|
|
0.3412
|
|
|
0.3178
|
|
|
0.3125
|
|
|
0.3117
|
|
|
0.3077
|
|
|
0.3040
|
|
|
0.3029
|
|
|
0.2989
|
|
|
0.2951
|
|
|
0.2944
|
|
|
0.2933
|
|
|
0.2847
|
|
|
0.2845
|
|
|
0.2838
|
|
|
0.2832
|
|
|
0.2831
|
|
|
0.2807
|
|
|
0.2802
|
|
|
0.2800
|
|
|
0.2792
|
|
|
0.2774
|
|
|
0.2771
|
|
|
0.2733
|
|
|
0.2727
|
|
|
0.2683
|
|
|
0.2678
|
|
|
0.2667
|
|
|
0.2619
|
|
|
0.2607
|
|
|
0.2571
|
|
|
0.2514
|
|
|
0.2465
|
|
|
0.2455
|
|
|
0.2361
|
|
|
0.2316
|
|
|
0.2315
|
|
|
0.2273
|
|
|
0.2248
|
|
|
0.2244
|
|
|
0.2222
|
|
|
0.2214
|
|
|
0.2206
|
|
|
0.2188
|
|
|
0.2180
|
|
|
0.2166
|
|
|
0.2154
|
|
|
0.2152
|
|
|
0.2147
|
|
|
0.2142
|
|
|
0.2138
|
|
|
0.2137
|
|
|
0.2118
|
|
|
0.1972
|
|
|
0.1970
|
|
|
0.1954
|
|
|
0.1938
|
|
|
0.1936
|
|
|
0.1895
|
|
|
0.1892
|
|
|
0.1849
|
|
|
0.1824
|
|
|
0.1810
|
|
|
0.1758
|
|
|
0.1742
|
|
|
0.1733
|
|
|
0.1704
|
|
|
0.1685
|
|
|
0.1677
|
|
|
0.1669
|
|
|
0.1655
|
|
|
0.1621
|
|
|
0.1598
|
|
|