Returned 96 matches
(100 formulae, 79 docs)
Lookup 118.124 ms, Re-ranking 1497.530 ms
Found 582319 tuple postings, 151008 formulae, 20150 documents
0.9245 -16.0000 22.0000
|
|
|
0.4660 -55.0000 12.0000
|
|
|
0.4416 -34.0000 11.0000
|
|
|
0.2979 -12.0000 4.0000
|
|
|
0.2821 -7.0000 4.0000
|
|
|
0.2821 -13.0000 4.0000
|
|
|
0.2595 -14.0000 4.0000
|
|
|
0.2595 -16.0000 4.0000
|
|
|
0.2595 -18.0000 4.0000
|
|
|
0.2595 -22.0000 4.0000
|
|
|
0.2595 -26.0000 4.0000
|
|
|
0.2442 -12.0000 4.0000
|
|
|
0.2442 -15.0000 4.0000
|
|
|
0.2208 -7.0000 3.0000
|
|
|
0.2062 -3.0000 3.0000
|
|
|
0.2062 -6.0000 3.0000
|
|
|
0.2062 -7.0000 3.0000
|
|
|
0.2062 -7.0000 3.0000
|
|
|
0.2062 -7.0000 3.0000
|
|
|
0.2062 -8.0000 3.0000
|
|
|
0.2062 -8.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 -11.0000 3.0000
|
|
|
0.2062 -12.0000 3.0000
|
|
|
0.2062 -12.0000 3.0000
|
|
|
0.2062 -12.0000 3.0000
|
|
|
0.2062 -12.0000 3.0000
|
|
|
0.2062 -12.0000 3.0000
|
|
|
0.2062 -16.0000 3.0000
|
|
|
0.2062 -18.0000 3.0000
|
|
|
0.2062 -18.0000 3.0000
|
|
|
0.2062 -19.0000 5.0000
|
|
|
0.2062 -20.0000 3.0000
|
|
|
0.2062 -21.0000 5.0000
|
|
|
0.2062 -24.0000 3.0000
|
|
|
0.2062 -37.0000 2.0000
|
|
|
0.1931 -16.0000 5.0000
|
|
|
0.1818 -12.0000 3.0000
|
|
|
0.1818 -13.0000 4.0000
|
|
|
0.1818 -21.0000 3.0000
|
|
|
0.1818 -26.0000 4.0000
|
|
|
0.1681 -9.0000 3.0000
|
|
|
0.1681 -10.0000 3.0000
|
|
|
0.1681 -11.0000 3.0000
|
|
|
0.1681 -11.0000 3.0000
|
|
|
0.1681 -13.0000 3.0000
|
|
|
0.1681 -15.0000 3.0000
|
|
|
0.1681 -17.0000 4.0000
|
|
|
0.1681 -18.0000 3.0000
|
|
|
0.1681 -20.0000 3.0000
|
|
|
0.1681 -20.0000 3.0000
|
|
|
0.1681 -21.0000 3.0000
|
|
|
0.1681 -21.0000 3.0000
|
|
|
0.1681 -21.0000 3.0000
|
|
|
0.1681 -22.0000 3.0000
|
|
|
0.1681 -22.0000 3.0000
|
|
|
0.1519 -20.0000 3.0000
|
|
|
0.1422 -11.0000 3.0000
|
|
|
0.1422 -12.0000 2.0000
|
|
|
0.1422 -13.0000 3.0000
|
|
|
0.1422 -14.0000 3.0000
|
|
|
0.1422 -18.0000 4.0000
|
|
|
0.1422 -18.0000 3.0000
|
|
|
0.1422 -23.0000 4.0000
|
|
|
0.1297 -7.0000 3.0000
|
|
|
0.1297 -7.0000 2.0000
|
|
|
0.1297 -9.0000 2.0000
|
|
|
0.1297 -10.0000 3.0000
|
|
|
0.1297 -12.0000 4.0000
|
|
|
0.1297 -12.0000 2.0000
|
|
|
0.1297 -13.0000 3.0000
|
|
|
0.1297 -14.0000 3.0000
|
|
|
0.1297 -14.0000 3.0000
|
|
|
0.1297 -14.0000 3.0000
|
|
|
0.1297 -14.0000 2.0000
|
|
|
0.1297 -16.0000 2.0000
|
|
|
0.1297 -16.0000 2.0000
|
|
|
0.1297 -17.0000 3.0000
|
|
|
0.1297 -17.0000 3.0000
|
|
|
0.1297 -17.0000 3.0000
|
|
|
0.1297 -18.0000 3.0000
|
|
|
0.1297 -18.0000 3.0000
|
|
|
0.1297 -20.0000 3.0000
|
|
|
0.1297 -20.0000 3.0000
|
|
|
0.1297 -21.0000 3.0000
|
|
|
0.1297 -22.0000 3.0000
|
|
|
0.1297 -26.0000 3.0000
|
|
|
0.1297 -29.0000 3.0000
|
|
|
0.1013 -7.0000 3.0000
|
|
|
0.1013 -20.0000 3.0000
|
|
|