Returned 96 matches
(100 formulae, 81 docs)
Lookup 13.759 ms, Re-ranking 1164.994 ms
Found 173014 tuple postings, 81772 formulae, 15774 documents
1.0000
|
|
|
0.4721
|
|
|
0.2897
|
|
|
0.2895
|
|
|
0.2844
|
|
|
0.2648
|
|
|
0.2549
|
|
|
0.2549
|
|
|
0.2524
|
|
|
0.2524
|
|
|
0.2323
|
|
|
0.2298
|
|
|
0.2293
|
|
|
0.2211
|
|
|
0.2195
|
|
|
0.2171
|
|
|
0.2154
|
|
|
0.2056
|
|
|
0.2056
|
|
|
0.2037
|
|
|
0.1991
|
|
|
0.1967
|
|
|
0.1957
|
|
|
0.1951
|
|
|
0.1942
|
|
|
0.1909
|
|
|
0.1878
|
|
|
0.1860
|
|
|
0.1856
|
|
|
0.1834
|
|
|
0.1826
|
|
|
0.1818
|
|
|
0.1809
|
|
|
0.1771
|
|
|
0.1771
|
|
|
0.1761
|
|
|
0.1735
|
|
|
0.1724
|
|
|
0.1722
|
|
|
0.1717
|
|
|
0.1714
|
|
|
0.1709
|
|
|
0.1706
|
|
|
0.1705
|
|
|
0.1700
|
|
|
0.1692
|
|
|
0.1685
|
|
|
0.1685
|
|
|
0.1682
|
|
|
0.1667
|
|
|
0.1660
|
|
|
0.1660
|
|
|
0.1659
|
|
|
0.1650
|
|
|
0.1644
|
|
|
0.1644
|
|
|
0.1643
|
|
|
0.1639
|
|
|
0.1635
|
|
|
0.1622
|
|
|
0.1619
|
|
|
0.1619
|
|
|
0.1618
|
|
|
0.1611
|
|
|
0.1604
|
|
|
0.1603
|
|
|
0.1596
|
|
|
0.1583
|
|
|
0.1579
|
|
|
0.1579
|
|
|
0.1574
|
|
|
0.1572
|
|
|
0.1572
|
|
|
0.1564
|
|
|
0.1553
|
|
|
0.1552
|
|
|
0.1538
|
|
|
0.1538
|
|
|
0.1523
|
|
|
0.1520
|
|
|
0.1518
|
|
|
0.1516
|
|
|
0.1515
|
|
|
0.1500
|
|
|
0.1495
|
|
|
0.1474
|
|
|
0.1469
|
|
|
0.1469
|
|
|
0.1455
|
|
|
0.1379
|
|
|
0.1346
|
|
|
0.1333
|
|
|
0.1316
|
|
|
0.1254
|
|
|
0.1238
|
|
|
0.0898
|
|
|