Returned 94 matches
(100 formulae, 81 docs)
Lookup 434.350 ms, Re-ranking 4616.299 ms
Found 1285716 tuple postings, 226251 formulae, 23811 documents
0.9817
|
|
|
0.5785
|
|
|
0.5658
|
|
|
0.5215
|
|
|
0.4693
|
|
|
0.4609
|
|
|
0.4558
|
|
|
0.4498
|
|
|
0.4439
|
|
|
0.4354
|
|
|
0.4203
|
|
|
0.4179
|
|
|
0.4171
|
|
|
0.4143
|
|
|
0.4122
|
|
|
0.4078
|
|
|
0.4074
|
|
|
0.4002
|
|
|
0.3910
|
|
|
0.3874
|
|
|
0.3869
|
|
|
0.3825
|
|
|
0.3814
|
|
|
0.3810
|
|
|
0.3719
|
|
|
0.3551
|
|
|
0.3420
|
|
|
0.3387
|
|
|
0.3366
|
|
|
0.3347
|
|
|
0.3333
|
|
|
0.3333
|
|
|
0.3297
|
|
|
0.3264
|
|
|
0.3249
|
|
|
0.3247
|
|
|
0.3091
|
|
|
0.3090
|
|
|
0.3080
|
|
|
0.3072
|
|
|
0.3035
|
|
|
0.2898
|
|
|
0.2893
|
|
|
0.2878
|
|
|
0.2875
|
|
|
0.2842
|
|
|
0.2820
|
|
|
0.2808
|
|
|
0.2778
|
|
|
0.2767
|
|
|
0.2742
|
|
|
0.2647
|
|
|
0.2635
|
|
|
0.2622
|
|
|
0.2615
|
|
|
0.2615
|
|
|
0.2573
|
|
|
0.2514
|
|
|
0.2493
|
|
|
0.2481
|
|
|
0.2452
|
|
|
0.2447
|
|
|
0.2434
|
|
|
0.2374
|
|
|
0.2342
|
|
|
0.2323
|
|
|
0.2315
|
|
|
0.2302
|
|
|
0.2291
|
|
|
0.2284
|
|
|
0.2247
|
|
|
0.2241
|
|
|
0.2220
|
|
|
0.2220
|
|
|
0.2174
|
|
|
0.2173
|
|
|
0.2150
|
|
|
0.2141
|
|
|
0.2112
|
|
|
0.2101
|
|
|
0.2062
|
|
|
0.2057
|
|
|
0.2042
|
|
|
0.1933
|
|
|
0.1898
|
|
|
0.1884
|
|
|
0.1833
|
|
|
0.1824
|
|
|
0.1781
|
|
|
0.1732
|
|
|
0.1725
|
|
|
0.1590
|
|
|
0.1294
|
|
|
0.1268
|
|
|