Returned 94 matches
(100 formulae, 81 docs)
Lookup 434.350 ms, Re-ranking 4711.915 ms
Found 1285716 tuple postings, 226251 formulae, 23811 documents
0.9817
|
|
|
0.4843
|
|
|
0.4737
|
|
|
0.3746
|
|
|
0.3732
|
|
|
0.3391
|
|
|
0.3178
|
|
|
0.3158
|
|
|
0.3109
|
|
|
0.3088
|
|
|
0.3085
|
|
|
0.3084
|
|
|
0.3069
|
|
|
0.3025
|
|
|
0.2985
|
|
|
0.2985
|
|
|
0.2977
|
|
|
0.2967
|
|
|
0.2957
|
|
|
0.2946
|
|
|
0.2913
|
|
|
0.2894
|
|
|
0.2893
|
|
|
0.2846
|
|
|
0.2843
|
|
|
0.2842
|
|
|
0.2799
|
|
|
0.2786
|
|
|
0.2742
|
|
|
0.2699
|
|
|
0.2684
|
|
|
0.2680
|
|
|
0.2644
|
|
|
0.2627
|
|
|
0.2622
|
|
|
0.2617
|
|
|
0.2613
|
|
|
0.2573
|
|
|
0.2515
|
|
|
0.2514
|
|
|
0.2434
|
|
|
0.2420
|
|
|
0.2418
|
|
|
0.2370
|
|
|
0.2359
|
|
|
0.2342
|
|
|
0.2323
|
|
|
0.2315
|
|
|
0.2302
|
|
|
0.2284
|
|
|
0.2275
|
|
|
0.2256
|
|
|
0.2251
|
|
|
0.2247
|
|
|
0.2222
|
|
|
0.2221
|
|
|
0.2220
|
|
|
0.2220
|
|
|
0.2218
|
|
|
0.2214
|
|
|
0.2212
|
|
|
0.2211
|
|
|
0.2191
|
|
|
0.2185
|
|
|
0.2173
|
|
|
0.2150
|
|
|
0.2141
|
|
|
0.2126
|
|
|
0.2101
|
|
|
0.2069
|
|
|
0.2062
|
|
|
0.2057
|
|
|
0.2055
|
|
|
0.2042
|
|
|
0.2022
|
|
|
0.1978
|
|
|
0.1935
|
|
|
0.1915
|
|
|
0.1898
|
|
|
0.1891
|
|
|
0.1884
|
|
|
0.1833
|
|
|
0.1824
|
|
|
0.1814
|
|
|
0.1781
|
|
|
0.1741
|
|
|
0.1732
|
|
|
0.1725
|
|
|
0.1715
|
|
|
0.1664
|
|
|
0.1614
|
|
|
0.1590
|
|
|
0.1294
|
|
|
0.1268
|
|
|