Returned 98 matches
(100 formulae, 80 docs)
Lookup 402.595 ms, Re-ranking 1830.509 ms
Found 1101455 tuple postings, 181570 formulae, 22149 documents
1.0000
|
|
|
0.3981
|
|
|
0.3602
|
|
|
0.2871
|
|
|
0.2855
|
|
|
0.2781
|
|
|
0.2691
|
|
|
0.2507
|
|
|
0.2411
|
|
|
0.2374
|
|
|
0.2219
|
|
|
0.2136
|
|
|
0.2131
|
|
|
0.2075
|
|
|
0.2066
|
|
|
0.2066
|
|
|
0.2054
|
|
|
0.2045
|
|
|
0.2018
|
|
|
0.2017
|
|
|
0.2000
|
|
|
0.1995
|
|
|
0.1983
|
|
|
0.1981
|
|
|
0.1954
|
|
|
0.1942
|
|
|
0.1942
|
|
|
0.1928
|
|
|
0.1922
|
|
|
0.1916
|
|
|
0.1896
|
|
|
0.1894
|
|
|
0.1893
|
|
|
0.1891
|
|
|
0.1884
|
|
|
0.1874
|
|
|
0.1833
|
|
|
0.1827
|
|
|
0.1822
|
|
|
0.1789
|
|
|
0.1771
|
|
|
0.1760
|
|
|
0.1753
|
|
|
0.1699
|
|
|
0.1688
|
|
|
0.1686
|
|
|
0.1682
|
|
|
0.1666
|
|
|
0.1597
|
|
|
0.1594
|
|
|
0.1593
|
|
|
0.1593
|
|
|
0.1571
|
|
|
0.1525
|
|
|
0.1519
|
|
|
0.1508
|
|
|
0.1490
|
|
|
0.1443
|
|
|
0.1410
|
|
|
0.1399
|
|
|
0.1396
|
|
|
0.1378
|
|
|
0.1370
|
|
|
0.1365
|
|
|
0.1361
|
|
|
0.1356
|
|
|
0.1356
|
|
|
0.1355
|
|
|
0.1355
|
|
|
0.1352
|
|
|
0.1345
|
|
|
0.1344
|
|
|
0.1335
|
|
|
0.1330
|
|
|
0.1329
|
|
|
0.1301
|
|
|
0.1298
|
|
|
0.1295
|
|
|
0.1294
|
|
|
0.1294
|
|
|
0.1286
|
|
|
0.1279
|
|
|
0.1274
|
|
|
0.1250
|
|
|
0.1228
|
|
|
0.1212
|
|
|
0.1212
|
|
|
0.1195
|
|
|
0.1185
|
|
|
0.1144
|
|
|
0.1144
|
|
|
0.0875
|
|
|
0.0833
|
|
|
0.0833
|
|
|
0.0830
|
|
|
0.0830
|
|
|
0.0800
|
|
|
0.0779
|
|
|