Returned 90 matches
(100 formulae, 80 docs)
Lookup 11.889 ms, Re-ranking 1421.676 ms
Found 149682 tuple postings, 83810 formulae, 16394 documents
1.0000
|
|
|
0.4093
|
|
|
0.3922
|
|
|
0.3528
|
|
|
0.3523
|
|
|
0.3217
|
|
|
0.3211
|
|
|
0.3210
|
|
|
0.2947
|
|
|
0.2902
|
|
|
0.2885
|
|
|
0.2816
|
|
|
0.2599
|
|
|
0.2597
|
|
|
0.2583
|
|
|
0.2557
|
|
|
0.2500
|
|
|
0.2475
|
|
|
0.2418
|
|
|
0.2414
|
|
|
0.2410
|
|
|
0.2380
|
|
|
0.2322
|
|
|
0.2305
|
|
|
0.2275
|
|
|
0.2258
|
|
|
0.2257
|
|
|
0.2222
|
|
|
0.2114
|
|
|
0.2114
|
|
|
0.2056
|
|
|
0.2050
|
|
|
0.2036
|
|
|
0.2010
|
|
|
0.2008
|
|
|
0.2000
|
|
|
0.2000
|
|
|
0.1968
|
|
|
0.1965
|
|
|
0.1959
|
|
|
0.1923
|
|
|
0.1866
|
|
|
0.1865
|
|
|
0.1796
|
|
|
0.1781
|
|
|
0.1758
|
|
|
0.1756
|
|
|
0.1732
|
|
|
0.1722
|
|
|
0.1712
|
|
|
0.1684
|
|
|
0.1684
|
|
|
0.1678
|
|
|
0.1673
|
|
|
0.1624
|
|
|
0.1619
|
|
|
0.1574
|
|
|
0.1558
|
|
|
0.1486
|
|
|
0.1481
|
|
|
0.1477
|
|
|
0.1457
|
|
|
0.1457
|
|
|
0.1438
|
|
|
0.1438
|
|
|
0.1429
|
|
|
0.1429
|
|
|
0.1410
|
|
|
0.1405
|
|
|
0.1397
|
|
|
0.1375
|
|
|
0.1371
|
|
|
0.1358
|
|
|
0.1350
|
|
|
0.1279
|
|
|
0.1268
|
|
|
0.1264
|
|
|
0.1262
|
|
|
0.1250
|
|
|
0.1236
|
|
|
0.1229
|
|
|
0.1215
|
|
|
0.1215
|
|
|
0.1202
|
|
|
0.1128
|
|
|
0.1122
|
|
|
0.1092
|
|
|
0.1084
|
|
|
0.0921
|
|
|
0.0889
|
|
|