Returned 96 matches
(100 formulae, 81 docs)
Lookup 13.759 ms, Re-ranking 1394.629 ms
Found 173014 tuple postings, 81772 formulae, 15774 documents
1.0000
|
|
|
0.5579
|
|
|
0.4533
|
|
|
0.4518
|
|
|
0.4112
|
|
|
0.3881
|
|
|
0.3830
|
|
|
0.3744
|
|
|
0.3725
|
|
|
0.3676
|
|
|
0.3611
|
|
|
0.3529
|
|
|
0.3488
|
|
|
0.3447
|
|
|
0.3398
|
|
|
0.3318
|
|
|
0.3317
|
|
|
0.3150
|
|
|
0.3134
|
|
|
0.3131
|
|
|
0.3045
|
|
|
0.3037
|
|
|
0.2991
|
|
|
0.2969
|
|
|
0.2917
|
|
|
0.2867
|
|
|
0.2864
|
|
|
0.2818
|
|
|
0.2804
|
|
|
0.2778
|
|
|
0.2764
|
|
|
0.2677
|
|
|
0.2634
|
|
|
0.2632
|
|
|
0.2614
|
|
|
0.2609
|
|
|
0.2531
|
|
|
0.2513
|
|
|
0.2500
|
|
|
0.2427
|
|
|
0.2419
|
|
|
0.2405
|
|
|
0.2402
|
|
|
0.2371
|
|
|
0.2365
|
|
|
0.2358
|
|
|
0.2350
|
|
|
0.2346
|
|
|
0.2341
|
|
|
0.2308
|
|
|
0.2302
|
|
|
0.2293
|
|
|
0.2281
|
|
|
0.2275
|
|
|
0.2254
|
|
|
0.2233
|
|
|
0.2233
|
|
|
0.2187
|
|
|
0.2143
|
|
|
0.2132
|
|
|
0.2131
|
|
|
0.2120
|
|
|
0.2079
|
|
|
0.2048
|
|
|
0.2047
|
|
|
0.2039
|
|
|
0.2000
|
|
|
0.1991
|
|
|
0.1959
|
|
|
0.1914
|
|
|
0.1901
|
|
|
0.1900
|
|
|
0.1895
|
|
|
0.1856
|
|
|
0.1833
|
|
|
0.1826
|
|
|
0.1812
|
|
|
0.1781
|
|
|
0.1776
|
|
|
0.1748
|
|
|
0.1724
|
|
|
0.1705
|
|
|
0.1703
|
|
|
0.1685
|
|
|
0.1644
|
|
|
0.1639
|
|
|
0.1604
|
|
|
0.1596
|
|
|
0.1579
|
|
|
0.1538
|
|
|
0.1538
|
|
|
0.1515
|
|
|
0.1510
|
|
|
0.1379
|
|
|
0.1333
|
|
|
0.1238
|
|
|