Returned 100 matches
(100 formulae, 53 docs)
Lookup 5.870 ms, Re-ranking 1172.502 ms
Found 88932 tuple postings, 44940 formulae, 10804 documents
1.0000
|
|
|
0.6912
|
|
|
0.6269
|
|
|
0.5931
|
|
|
0.5882
|
|
|
0.5612
|
|
|
0.5588
|
|
|
0.5550
|
|
|
0.5145
|
|
|
0.4980
|
|
|
0.4955
|
|
|
0.4898
|
|
|
0.4521
|
|
|
0.4278
|
|
|
0.4079
|
|
|
0.4031
|
|
|
0.3675
|
|
|
0.3675
|
|
|
0.3646
|
|
|
0.3601
|
|
|
0.3590
|
|
|
0.3518
|
|
|
0.3492
|
|
|
0.3446
|
|
|
0.3245
|
|
|
0.3205
|
|
|
0.3161
|
|
|
0.3109
|
|
|
0.3060
|
|
|
0.3039
|
|
|
0.2997
|
|
|
0.2898
|
|
|
0.2857
|
|
|
0.2857
|
|
|
0.2833
|
|
|
0.2833
|
|
|
0.2800
|
|
|
0.2757
|
|
|
0.2720
|
|
|
0.2659
|
|
|
0.2658
|
|
|
0.2642
|
|
|
0.2597
|
|
|
0.2586
|
|
|
0.2541
|
|
|
0.2523
|
|
|
0.2517
|
|
|
0.2478
|
|
|
0.2474
|
|
|
0.2455
|
|
|
0.2410
|
|
|
0.2389
|
|
|
0.2387
|
|
|
0.2369
|
|
|
0.2312
|
|
|
0.2302
|
|
|
0.2289
|
|
|
0.2284
|
|
|
0.2283
|
|
|
0.2270
|
|
|
0.2260
|
|
|
0.2249
|
|
|
0.2236
|
|
|
0.2222
|
|
|
0.2213
|
|
|
0.2197
|
|
|
0.2191
|
|
|
0.2184
|
|
|
0.2179
|
|
|
0.2178
|
|
|
0.2173
|
|
|
0.2126
|
|
|
0.2126
|
|
|
0.2117
|
|
|
0.2045
|
|
|
0.2028
|
|
|
0.1964
|
|
|
0.1936
|
|
|
0.1839
|
|
|
0.1778
|
|
|
0.1774
|
|
|
0.1772
|
|
|
0.1722
|
|
|
0.1718
|
|
|
0.1712
|
|
|
0.1680
|
|
|
0.1654
|
|
|
0.1561
|
|
|
0.1513
|
|
|
0.1472
|
|
|
0.1446
|
|
|
0.1434
|
|
|
0.1420
|
|
|
0.1404
|
|
|
0.1392
|
|
|
0.1303
|
|
|
0.1294
|
|
|
0.1271
|
|
|
0.1043
|
|
|
0.0833
|
|
|