Returned 98 matches
(100 formulae, 105 docs)
Lookup 45589.700 ms, Re-ranking 1327.037 ms
Found 135150279 tuple postings, 12467516 formulae, 4604116 documents
0.2595 -23.0000 3.0000
|
|
|
0.2442 -11.0000 3.0000
|
|
|
0.2442 -19.0000 4.0000
|
|
|
0.2442 -20.0000 6.0000
|
|
|
0.2442 -21.0000 4.0000
|
|
|
0.2208 -10.0000 4.0000
|
|
|
0.2208 -11.0000 3.0000
|
|
|
0.2062 -6.0000 4.0000
|
|
|
0.2062 -9.0000 3.0000
|
|
|
0.2062 -9.0000 3.0000
|
|
|
0.2062 -11.0000 3.0000
|
|
|
0.2062 -11.0000 3.0000
|
|
|
0.2062 -11.0000 3.0000
|
|
|
0.2062 -15.0000 3.0000
|
|
|
0.2062 -21.0000 3.0000
|
|
|
0.2062 -21.0000 3.0000
|
|
|
0.2062 -27.0000 3.0000
|
|
|
0.1818 -8.0000 3.0000
|
|
|
0.1818 -16.0000 2.0000
|
|
|
0.1681 -13.0000 2.0000
|
|
|
0.1681 -13.0000 2.0000
|
|
|
0.1681 -18.0000 3.0000
|
|
|
0.1681 -20.0000 3.0000
|
|
|
0.1681 -20.0000 3.0000
|
|
|
0.1681 -24.0000 3.0000
|
|
|
0.1681 -27.0000 2.0000
|
|
|
0.1597 -10.0000 4.0000
|
|
|
0.1597 -15.0000 3.0000
|
|
|
0.1597 -19.0000 3.0000
|
|
|
0.1519 -14.0000 4.0000
|
|
|
0.1519 -14.0000 4.0000
|
|
|
0.1519 -15.0000 4.0000
|
|
|
0.1422 -10.0000 2.0000
|
|
|
0.1422 -11.0000 3.0000
|
|
|
0.1422 -12.0000 4.0000
|
|
|
0.1422 -12.0000 3.0000
|
|
|
0.1422 -13.0000 4.0000
|
|
|
0.1422 -13.0000 2.0000
|
|
|
0.1422 -13.0000 2.0000
|
|
|
0.1422 -14.0000 2.0000
|
|
|
0.1422 -15.0000 2.0000
|
|
|
0.1422 -16.0000 2.0000
|
|
|
0.1422 -19.0000 4.0000
|
|
|
0.1422 -20.0000 2.0000
|
|
|
0.1422 -24.0000 4.0000
|
|
|
0.1422 -25.0000 4.0000
|
|
|
0.1297 -9.0000 2.0000
|
|
|
0.1297 -9.0000 2.0000
|
|
|
0.1297 -10.0000 3.0000
|
|
|
0.1297 -10.0000 2.0000
|
|
|
0.1297 -11.0000 2.0000
|
|
|
0.1297 -11.0000 2.0000
|
|
|
0.1297 -12.0000 3.0000
|
|
|
0.1297 -12.0000 3.0000
|
|
|
0.1297 -12.0000 2.0000
|
|
|
0.1297 -13.0000 4.0000
|
|
|
0.1297 -13.0000 3.0000
|
|
|
0.1297 -14.0000 3.0000
|
|
|
0.1297 -14.0000 3.0000
|
|
|
0.1297 -14.0000 2.0000
|
|
|
0.1297 -15.0000 4.0000
|
|
|
0.1297 -15.0000 3.0000
|
|
|
0.1297 -15.0000 3.0000
|
|
|
0.1297 -15.0000 2.0000
|
|
|
0.1297 -16.0000 4.0000
|
|
|
0.1297 -16.0000 4.0000
|
|
|
0.1297 -16.0000 3.0000
|
|
|
0.1297 -16.0000 2.0000
|
|
|
0.1297 -16.0000 2.0000
|
|
|
0.1297 -16.0000 2.0000
|
|
|
0.1297 -16.0000 2.0000
|
|
|
0.1297 -17.0000 4.0000
|
|
|
0.1297 -17.0000 2.0000
|
|
|
0.1297 -18.0000 2.0000
|
|
|
0.1297 -19.0000 2.0000
|
|
|
0.1297 -19.0000 2.0000
|
|
|
0.1297 -19.0000 2.0000
|
|
|
0.1297 -20.0000 2.0000
|
|
|
0.1297 -21.0000 2.0000
|
|
|
0.1297 -21.0000 2.0000
|
|
|
0.1297 -22.0000 2.0000
|
|
|
0.1297 -26.0000 2.0000
|
|
|
0.1297 -27.0000 2.0000
|
|
|
0.1297 -30.0000 3.0000
|
|
|
0.1013 -18.0000 3.0000
|
|
|
0.1013 -18.0000 2.0000
|
|
|
0.1013 -21.0000 3.0000
|
|
|
0.1013 -26.0000 2.0000
|
|
|
0.0909 -11.0000 2.0000
|
|
|
0.0909 -14.0000 1.0000
|
|
|
0.0909 -15.0000 1.0000
|
|
|
0.0909 -16.0000 2.0000
|
|
|
0.0909 -16.0000 2.0000
|
|
|
0.0909 -18.0000 3.0000
|
|
|
0.0909 -20.0000 2.0000
|
|
|
0.0909 -21.0000 2.0000
|
|
|
0.0909 -22.0000 2.0000
|
|
|
0.0909 -25.0000 3.0000
|
|
|