Returned 97 matches
(100 formulae, 55 docs)
Lookup 16.844 ms, Re-ranking 1784.429 ms
Found 222920 tuple postings, 88494 formulae, 15993 documents
1.0000
|
|
|
0.3697
|
|
|
0.3363
|
|
|
0.3333
|
|
|
0.3155
|
|
|
0.3003
|
|
|
0.2888
|
|
|
0.2837
|
|
|
0.2809
|
|
|
0.2776
|
|
|
0.2722
|
|
|
0.2616
|
|
|
0.2470
|
|
|
0.2420
|
|
|
0.2370
|
|
|
0.2331
|
|
|
0.2326
|
|
|
0.2295
|
|
|
0.2265
|
|
|
0.2262
|
|
|
0.2260
|
|
|
0.2259
|
|
|
0.2226
|
|
|
0.2206
|
|
|
0.2177
|
|
|
0.2141
|
|
|
0.2062
|
|
|
0.2057
|
|
|
0.2032
|
|
|
0.2004
|
|
|
0.1975
|
|
|
0.1963
|
|
|
0.1959
|
|
|
0.1946
|
|
|
0.1922
|
|
|
0.1903
|
|
|
0.1897
|
|
|
0.1887
|
|
|
0.1878
|
|
|
0.1869
|
|
|
0.1828
|
|
|
0.1827
|
|
|
0.1813
|
|
|
0.1797
|
|
|
0.1796
|
|
|
0.1794
|
|
|
0.1780
|
|
|
0.1774
|
|
|
0.1774
|
|
|
0.1762
|
|
|
0.1748
|
|
|
0.1737
|
|
|
0.1711
|
|
|
0.1699
|
|
|
0.1699
|
|
|
0.1683
|
|
|
0.1683
|
|
|
0.1672
|
|
|
0.1656
|
|
|
0.1653
|
|
|
0.1649
|
|
|
0.1633
|
|
|
0.1631
|
|
|
0.1623
|
|
|
0.1622
|
|
|
0.1597
|
|
|
0.1588
|
|
|
0.1585
|
|
|
0.1583
|
|
|
0.1568
|
|
|
0.1566
|
|
|
0.1557
|
|
|
0.1538
|
|
|
0.1534
|
|
|
0.1524
|
|
|
0.1524
|
|
|
0.1502
|
|
|
0.1479
|
|
|
0.1461
|
|
|
0.1448
|
|
|
0.1411
|
|
|
0.1399
|
|
|
0.1393
|
|
|
0.1382
|
|
|
0.1371
|
|
|
0.1360
|
|
|
0.1358
|
|
|
0.1301
|
|
|
0.1298
|
|
|
0.1295
|
|
|
0.1238
|
|
|
0.1190
|
|
|
0.1183
|
|
|
0.1164
|
|
|
0.1154
|
|
|
0.1117
|
|
|
0.0964
|
|
|