Returned 97 matches
(100 formulae, 55 docs)
Lookup 16.844 ms, Re-ranking 1901.111 ms
Found 222920 tuple postings, 88494 formulae, 15993 documents
1.0000
|
|
|
0.4034
|
|
|
0.3777
|
|
|
0.3756
|
|
|
0.3649
|
|
|
0.3515
|
|
|
0.3359
|
|
|
0.3333
|
|
|
0.3248
|
|
|
0.3124
|
|
|
0.2954
|
|
|
0.2939
|
|
|
0.2919
|
|
|
0.2900
|
|
|
0.2874
|
|
|
0.2814
|
|
|
0.2725
|
|
|
0.2704
|
|
|
0.2696
|
|
|
0.2687
|
|
|
0.2630
|
|
|
0.2623
|
|
|
0.2616
|
|
|
0.2569
|
|
|
0.2531
|
|
|
0.2517
|
|
|
0.2500
|
|
|
0.2444
|
|
|
0.2429
|
|
|
0.2426
|
|
|
0.2424
|
|
|
0.2399
|
|
|
0.2385
|
|
|
0.2370
|
|
|
0.2349
|
|
|
0.2342
|
|
|
0.2306
|
|
|
0.2280
|
|
|
0.2270
|
|
|
0.2267
|
|
|
0.2260
|
|
|
0.2240
|
|
|
0.2195
|
|
|
0.2167
|
|
|
0.2167
|
|
|
0.2137
|
|
|
0.2134
|
|
|
0.2119
|
|
|
0.2118
|
|
|
0.2105
|
|
|
0.2085
|
|
|
0.2080
|
|
|
0.2066
|
|
|
0.2063
|
|
|
0.2062
|
|
|
0.2048
|
|
|
0.2042
|
|
|
0.2020
|
|
|
0.2018
|
|
|
0.2004
|
|
|
0.1994
|
|
|
0.1984
|
|
|
0.1957
|
|
|
0.1957
|
|
|
0.1955
|
|
|
0.1952
|
|
|
0.1937
|
|
|
0.1928
|
|
|
0.1910
|
|
|
0.1886
|
|
|
0.1864
|
|
|
0.1857
|
|
|
0.1815
|
|
|
0.1800
|
|
|
0.1796
|
|
|
0.1777
|
|
|
0.1775
|
|
|
0.1771
|
|
|
0.1744
|
|
|
0.1742
|
|
|
0.1710
|
|
|
0.1682
|
|
|
0.1660
|
|
|
0.1644
|
|
|
0.1631
|
|
|
0.1590
|
|
|
0.1587
|
|
|
0.1585
|
|
|
0.1580
|
|
|
0.1538
|
|
|
0.1502
|
|
|
0.1453
|
|
|
0.1445
|
|
|
0.1422
|
|
|
0.1378
|
|
|
0.1317
|
|
|
0.1027
|
|
|