Returned 95 matches
(100 formulae, 55 docs)
Lookup 16.844 ms, Re-ranking 0.169 ms
Found 222920 tuple postings, 88494 formulae, 15993 documents
1.0000
|
|
|
0.4919
|
|
|
0.4399
|
|
|
0.4110
|
|
|
0.4092
|
|
|
0.3797
|
|
|
0.3675
|
|
|
0.3527
|
|
|
0.3517
|
|
|
0.3315
|
|
|
0.3309
|
|
|
0.3108
|
|
|
0.3029
|
|
|
0.2949
|
|
|
0.2943
|
|
|
0.2929
|
|
|
0.2922
|
|
|
0.2893
|
|
|
0.2892
|
|
|
0.2891
|
|
|
0.2873
|
|
|
0.2830
|
|
|
0.2825
|
|
|
0.2818
|
|
|
0.2804
|
|
|
0.2740
|
|
|
0.2672
|
|
|
0.2582
|
|
|
0.2569
|
|
|
0.2562
|
|
|
0.2557
|
|
|
0.2523
|
|
|
0.2504
|
|
|
0.2500
|
|
|
0.2375
|
|
|
0.2371
|
|
|
0.2365
|
|
|
0.2333
|
|
|
0.2331
|
|
|
0.2301
|
|
|
0.2260
|
|
|
0.2236
|
|
|
0.2222
|
|
|
0.2214
|
|
|
0.2173
|
|
|
0.2150
|
|
|
0.2145
|
|
|
0.2138
|
|
|
0.2130
|
|
|
0.2128
|
|
|
0.2090
|
|
|
0.2083
|
|
|
0.2081
|
|
|
0.2077
|
|
|
0.2058
|
|
|
0.2054
|
|
|
0.2053
|
|
|
0.2011
|
|
|
0.2006
|
|
|
0.2005
|
|
|
0.1992
|
|
|
0.1981
|
|
|
0.1979
|
|
|
0.1975
|
|
|
0.1973
|
|
|
0.1962
|
|
|
0.1947
|
|
|
0.1935
|
|
|
0.1931
|
|
|
0.1918
|
|
|
0.1914
|
|
|
0.1897
|
|
|
0.1892
|
|
|
0.1878
|
|
|
0.1875
|
|
|
0.1864
|
|
|
0.1855
|
|
|
0.1853
|
|
|
0.1844
|
|
|
0.1837
|
|
|
0.1830
|
|
|
0.1828
|
|
|
0.1818
|
|
|
0.1818
|
|
|
0.1807
|
|
|
0.1801
|
|
|
0.1795
|
|
|
0.1783
|
|
|
0.1771
|
|
|
0.1766
|
|
|
0.1752
|
|
|
0.1726
|
|
|
0.1705
|
|
|
0.1703
|
|
|
0.1702
|
|
|