Returned 77 matches
(100 formulae, 70 docs)
Lookup 1.235 ms, Re-ranking 174.230 ms
Found 6944 tuple postings, 3850 formulae, 2057 documents
1.0000
|
|
|
0.3636
|
|
|
0.3492
|
|
|
0.3465
|
|
|
0.3188
|
|
|
0.2895
|
|
|
0.2883
|
|
|
0.2883
|
|
|
0.2883
|
|
|
0.2807
|
|
|
0.2783
|
|
|
0.2759
|
|
|
0.2759
|
|
|
0.2714
|
|
|
0.2712
|
|
|
0.2689
|
|
|
0.2645
|
|
|
0.2645
|
|
|
0.2645
|
|
|
0.2645
|
|
|
0.2645
|
|
|
0.2623
|
|
|
0.2560
|
|
|
0.2540
|
|
|
0.2540
|
|
|
0.2540
|
|
|
0.2520
|
|
|
0.2462
|
|
|
0.2443
|
|
|
0.2443
|
|
|
0.2388
|
|
|
0.2353
|
|
|
0.2353
|
|
|
0.2238
|
|
|
0.2177
|
|
|
0.2148
|
|
|
0.1982
|
|
|
0.1982
|
|
|
0.1975
|
|
|
0.1916
|
|
|
0.1833
|
|
|
0.1829
|
|
|
0.1818
|
|
|
0.1798
|
|
|
0.1774
|
|
|
0.1749
|
|
|
0.1719
|
|
|
0.1667
|
|
|
0.1618
|
|
|
0.1616
|
|
|
0.1594
|
|
|
0.1571
|
|
|
0.1571
|
|
|
0.1528
|
|
|
0.1517
|
|
|
0.1497
|
|
|
0.1475
|
|
|
0.1474
|
|
|
0.1457
|
|
|
0.1429
|
|
|
0.1366
|
|
|
0.1359
|
|
|
0.1346
|
|
|
0.1286
|
|
|
0.1261
|
|
|
0.1261
|
|
|
0.1202
|
|
|
0.1186
|
|
|
0.1094
|
|
|
0.1077
|
|
|
0.1077
|
|
|
0.1045
|
|
|
0.1029
|
|
|
0.0993
|
|
|
0.0946
|
|
|
0.0921
|
|
|
0.0897
|
|
|