Returned 100 matches
(100 formulae, 53 docs)
Lookup 5.870 ms, Re-ranking 1437.384 ms
Found 88932 tuple postings, 44940 formulae, 10804 documents
1.0000
|
|
|
0.8456
|
|
|
0.7941
|
|
|
0.7794
|
|
|
0.7256
|
|
|
0.7194
|
|
|
0.6945
|
|
|
0.6918
|
|
|
0.6866
|
|
|
0.6449
|
|
|
0.6408
|
|
|
0.6358
|
|
|
0.6335
|
|
|
0.5541
|
|
|
0.5407
|
|
|
0.5407
|
|
|
0.5365
|
|
|
0.5310
|
|
|
0.5283
|
|
|
0.5274
|
|
|
0.5212
|
|
|
0.5209
|
|
|
0.5078
|
|
|
0.5000
|
|
|
0.4967
|
|
|
0.4824
|
|
|
0.4324
|
|
|
0.4235
|
|
|
0.4195
|
|
|
0.4158
|
|
|
0.4025
|
|
|
0.3958
|
|
|
0.3907
|
|
|
0.3857
|
|
|
0.3810
|
|
|
0.3807
|
|
|
0.3772
|
|
|
0.3745
|
|
|
0.3590
|
|
|
0.3583
|
|
|
0.3575
|
|
|
0.3558
|
|
|
0.3491
|
|
|
0.3453
|
|
|
0.3446
|
|
|
0.3388
|
|
|
0.3353
|
|
|
0.3322
|
|
|
0.3298
|
|
|
0.3287
|
|
|
0.3193
|
|
|
0.3184
|
|
|
0.3161
|
|
|
0.3112
|
|
|
0.3097
|
|
|
0.2988
|
|
|
0.2955
|
|
|
0.2912
|
|
|
0.2898
|
|
|
0.2857
|
|
|
0.2849
|
|
|
0.2833
|
|
|
0.2833
|
|
|
0.2807
|
|
|
0.2800
|
|
|
0.2784
|
|
|
0.2642
|
|
|
0.2613
|
|
|
0.2560
|
|
|
0.2556
|
|
|
0.2523
|
|
|
0.2433
|
|
|
0.2363
|
|
|
0.2329
|
|
|
0.2312
|
|
|
0.2296
|
|
|
0.2284
|
|
|
0.2283
|
|
|
0.2278
|
|
|
0.2260
|
|
|
0.2236
|
|
|
0.2226
|
|
|
0.2197
|
|
|
0.2191
|
|
|
0.2184
|
|
|
0.2179
|
|
|
0.2178
|
|
|
0.2177
|
|
|
0.2173
|
|
|
0.2170
|
|
|
0.2149
|
|
|
0.2120
|
|
|
0.2051
|
|
|
0.2000
|
|
|
0.1964
|
|
|
0.1924
|
|
|
0.1870
|
|
|
0.1838
|
|
|
0.1772
|
|
|
0.0833
|
|
|