Returned 54 matches
(100 formulae, 119 docs)
Lookup 2.024 ms, Re-ranking 0.145 ms
Found 8008 tuple postings, 4509 formulae, 2263 documents
1.0000
|
|
|
0.5714
|
|
|
0.4800
|
|
|
0.4000
|
|
|
0.3529
|
|
|
0.3509
|
|
|
0.3333
|
|
|
0.3243
|
|
|
0.3200
|
|
|
0.3158
|
|
|
0.3158
|
|
|
0.3077
|
|
|
0.2857
|
|
|
0.2857
|
|
|
0.2857
|
|
|
0.2791
|
|
|
0.2667
|
|
|
0.2609
|
|
|
0.2593
|
|
|
0.2500
|
|
|
0.2500
|
|
|
0.2400
|
|
|
0.2400
|
|
|
0.2400
|
|
|
0.2400
|
|
|
0.2400
|
|
|
0.2400
|
|
|
0.2353
|
|
|
0.2353
|
|
|
0.2222
|
|
|
0.2222
|
|
|
0.2182
|
|
|
0.2143
|
|
|
0.2034
|
|
|
0.2000
|
|
|
0.2000
|
|
|
0.2000
|
|
|
0.1967
|
|
|
0.1967
|
|
|
0.1875
|
|
|
0.1860
|
|
|
0.1818
|
|
|
0.1818
|
|
|
0.1818
|
|
|
0.1765
|
|
|
0.1714
|
|
|
0.1667
|
|
|
0.1667
|
|
|
0.1667
|
|
|
0.1667
|
|
|
0.1667
|
|
|
0.1667
|
|
|
0.1667
|
|
|
0.1644
|
|
|