Returned 95 matches
(100 formulae, 97 docs)
Lookup 155.879 ms, Re-ranking 1602.994 ms
Found 632477 tuple postings, 150605 formulae, 20119 documents
0.9245 -16.0000 22.0000
|
|
|
0.4660 -55.0000 12.0000
|
|
|
0.4416 -34.0000 11.0000
|
|
|
0.4335 -3.0000 8.0000
|
|
|
0.4335 -3.0000 6.0000
|
|
|
0.4335 -4.0000 8.0000
|
|
|
0.4335 -29.0000 8.0000
|
|
|
0.4028 -8.0000 8.0000
|
|
|
0.4028 -34.0000 10.0000
|
|
|
0.3957 -16.0000 8.0000
|
|
|
0.3957 -37.0000 8.0000
|
|
|
0.3743 -11.0000 7.0000
|
|
|
0.3743 -20.0000 7.0000
|
|
|
0.3636 -35.0000 9.0000
|
|
|
0.3579 0.0000 7.0000
|
|
|
0.3579 -4.0000 7.0000
|
|
|
0.3118 -5.0000 7.0000
|
|
|
0.2979 -12.0000 4.0000
|
|
|
0.2979 -13.0000 5.0000
|
|
|
0.2821 -5.0000 5.0000
|
|
|
0.2821 -7.0000 4.0000
|
|
|
0.2821 -8.0000 5.0000
|
|
|
0.2821 -13.0000 4.0000
|
|
|
0.2595 -14.0000 4.0000
|
|
|
0.2595 -17.0000 6.0000
|
|
|
0.2595 -18.0000 4.0000
|
|
|
0.2532 -7.0000 5.0000
|
|
|
0.2532 -25.0000 7.0000
|
|
|
0.2442 -14.0000 4.0000
|
|
|
0.2442 -26.0000 4.0000
|
|
|
0.2208 -5.0000 5.0000
|
|
|
0.2208 -11.0000 4.0000
|
|
|
0.2208 -12.0000 4.0000
|
|
|
0.2208 -26.0000 4.0000
|
|
|
0.2062 -6.0000 3.0000
|
|
|
0.2062 -7.0000 3.0000
|
|
|
0.2062 -8.0000 3.0000
|
|
|
0.2062 -8.0000 3.0000
|
|
|
0.2062 -9.0000 3.0000
|
|
|
0.2062 -11.0000 4.0000
|
|
|
0.2062 -11.0000 3.0000
|
|
|
0.2062 -11.0000 3.0000
|
|
|
0.2062 -11.0000 3.0000
|
|
|
0.2062 -12.0000 3.0000
|
|
|
0.2062 -18.0000 3.0000
|
|
|
0.2062 -19.0000 5.0000
|
|
|
0.2062 -21.0000 5.0000
|
|
|
0.1931 -6.0000 6.0000
|
|
|
0.1931 -7.0000 4.0000
|
|
|
0.1931 -8.0000 4.0000
|
|
|
0.1931 -9.0000 4.0000
|
|
|
0.1931 -11.0000 5.0000
|
|
|
0.1931 -16.0000 5.0000
|
|
|
0.1818 -9.0000 4.0000
|
|
|
0.1818 -10.0000 5.0000
|
|
|
0.1818 -10.0000 4.0000
|
|
|
0.1818 -11.0000 4.0000
|
|
|
0.1818 -11.0000 4.0000
|
|
|
0.1818 -12.0000 3.0000
|
|
|
0.1818 -13.0000 4.0000
|
|
|
0.1818 -13.0000 4.0000
|
|
|
0.1818 -13.0000 4.0000
|
|
|
0.1818 -17.0000 4.0000
|
|
|
0.1818 -20.0000 4.0000
|
|
|
0.1681 -10.0000 3.0000
|
|
|
0.1681 -11.0000 3.0000
|
|
|
0.1681 -18.0000 3.0000
|
|
|
0.1681 -21.0000 3.0000
|
|
|
0.1681 -21.0000 3.0000
|
|
|
0.1597 -10.0000 4.0000
|
|
|
0.1597 -11.0000 4.0000
|
|
|
0.1519 -6.0000 3.0000
|
|
|
0.1519 -8.0000 5.0000
|
|
|
0.1519 -8.0000 4.0000
|
|
|
0.1519 -9.0000 3.0000
|
|
|
0.1519 -19.0000 4.0000
|
|
|
0.1519 -22.0000 5.0000
|
|
|
0.1519 -25.0000 4.0000
|
|
|
0.1519 -26.0000 4.0000
|
|
|
0.1422 -10.0000 4.0000
|
|
|
0.1422 -11.0000 3.0000
|
|
|
0.1422 -12.0000 4.0000
|
|
|
0.1422 -14.0000 4.0000
|
|
|
0.1422 -15.0000 4.0000
|
|
|
0.1422 -18.0000 3.0000
|
|
|
0.1422 -21.0000 3.0000
|
|
|
0.1422 -21.0000 2.0000
|
|
|
0.1422 -23.0000 4.0000
|
|
|
0.1297 -11.0000 3.0000
|
|
|
0.1297 -11.0000 2.0000
|
|
|
0.1297 -13.0000 3.0000
|
|
|
0.1143 -10.0000 3.0000
|
|
|
0.1087 -12.0000 4.0000
|
|
|
0.1087 -26.0000 4.0000
|
|
|
0.1013 -12.0000 3.0000
|
|
|