Returned 98 matches
(100 formulae, 80 docs)
Lookup 402.595 ms, Re-ranking 1859.378 ms
Found 1101455 tuple postings, 181570 formulae, 22149 documents
1.0000
|
|
|
0.3981
|
|
|
0.3602
|
|
|
0.2871
|
|
|
0.2855
|
|
|
0.2781
|
|
|
0.2779
|
|
|
0.2741
|
|
|
0.2691
|
|
|
0.2676
|
|
|
0.2566
|
|
|
0.2507
|
|
|
0.2506
|
|
|
0.2480
|
|
|
0.2427
|
|
|
0.2425
|
|
|
0.2400
|
|
|
0.2397
|
|
|
0.2376
|
|
|
0.2374
|
|
|
0.2338
|
|
|
0.2312
|
|
|
0.2277
|
|
|
0.2220
|
|
|
0.2193
|
|
|
0.2170
|
|
|
0.2136
|
|
|
0.2127
|
|
|
0.2075
|
|
|
0.2066
|
|
|
0.2066
|
|
|
0.2054
|
|
|
0.2050
|
|
|
0.2034
|
|
|
0.2028
|
|
|
0.2025
|
|
|
0.1996
|
|
|
0.1954
|
|
|
0.1953
|
|
|
0.1942
|
|
|
0.1942
|
|
|
0.1934
|
|
|
0.1922
|
|
|
0.1919
|
|
|
0.1916
|
|
|
0.1904
|
|
|
0.1896
|
|
|
0.1894
|
|
|
0.1891
|
|
|
0.1884
|
|
|
0.1875
|
|
|
0.1874
|
|
|
0.1849
|
|
|
0.1827
|
|
|
0.1823
|
|
|
0.1823
|
|
|
0.1814
|
|
|
0.1810
|
|
|
0.1799
|
|
|
0.1789
|
|
|
0.1771
|
|
|
0.1760
|
|
|
0.1753
|
|
|
0.1747
|
|
|
0.1734
|
|
|
0.1653
|
|
|
0.1643
|
|
|
0.1632
|
|
|
0.1622
|
|
|
0.1614
|
|
|
0.1600
|
|
|
0.1597
|
|
|
0.1565
|
|
|
0.1552
|
|
|
0.1543
|
|
|
0.1521
|
|
|
0.1505
|
|
|
0.1495
|
|
|
0.1484
|
|
|
0.1411
|
|
|
0.1410
|
|
|
0.1396
|
|
|
0.1382
|
|
|
0.1378
|
|
|
0.1373
|
|
|
0.1373
|
|
|
0.1365
|
|
|
0.1361
|
|
|
0.1356
|
|
|
0.1355
|
|
|
0.1345
|
|
|
0.1335
|
|
|
0.1329
|
|
|
0.1300
|
|
|
0.1295
|
|
|
0.1121
|
|
|
0.1090
|
|
|
0.1057
|
|
|