Returned 93 matches
(100 formulae, 96 docs)
Lookup 808.691 ms, Re-ranking 1516.819 ms
Found 1809339 tuple postings, 217664 formulae, 22677 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.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 -10.0000 6.0000
|
|
|
0.2979 -12.0000 4.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 4.0000
|
|
|
0.2532 -25.0000 7.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.2062 -2.0000 3.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 -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 -12.0000 3.0000
|
|
|
0.2062 -14.0000 4.0000
|
|
|
0.2062 -19.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 4.0000
|
|
|
0.1931 -16.0000 5.0000
|
|
|
0.1818 -9.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 -24.0000 4.0000
|
|
|
0.1681 -10.0000 3.0000
|
|
|
0.1681 -11.0000 3.0000
|
|
|
0.1681 -18.0000 3.0000
|
|
|
0.1681 -19.0000 3.0000
|
|
|
0.1681 -19.0000 3.0000
|
|
|
0.1681 -20.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 -8.0000 5.0000
|
|
|
0.1519 -8.0000 4.0000
|
|
|
0.1519 -17.0000 4.0000
|
|
|
0.1519 -19.0000 4.0000
|
|
|
0.1519 -20.0000 4.0000
|
|
|
0.1519 -20.0000 3.0000
|
|
|
0.1519 -22.0000 5.0000
|
|
|
0.1519 -24.0000 4.0000
|
|
|
0.1519 -25.0000 4.0000
|
|
|
0.1519 -26.0000 4.0000
|
|
|
0.1422 -10.0000 4.0000
|
|
|
0.1422 -12.0000 4.0000
|
|
|
0.1422 -14.0000 4.0000
|
|
|
0.1422 -14.0000 3.0000
|
|
|
0.1422 -15.0000 4.0000
|
|
|
0.1422 -18.0000 3.0000
|
|
|
0.1422 -21.0000 3.0000
|
|
|
0.1422 -23.0000 4.0000
|
|
|
0.1297 -11.0000 2.0000
|
|
|
0.1297 -13.0000 3.0000
|
|
|
0.1297 -17.0000 2.0000
|
|
|
0.1297 -18.0000 3.0000
|
|
|
0.1297 -22.0000 2.0000
|
|
|
0.1297 -26.0000 3.0000
|
|
|
0.1297 -28.0000 2.0000
|
|
|
0.1087 -12.0000 4.0000
|
|
|
0.1013 -12.0000 3.0000
|
|
|