Returned 98 matches
(100 formulae, 64 docs)
Lookup 428.448 ms, Re-ranking 4662.009 ms
Found 1532324 tuple postings, 232607 formulae, 23170 documents
0.9365 -6.0000 29.0000
|
|
|
0.5554 -2.0000 17.0000
|
|
|
0.5554 -2.0000 13.0000
|
|
|
0.5554 -3.0000 14.0000
|
|
|
0.4918 -13.0000 15.0000
|
|
|
0.4600 -8.0000 14.0000
|
|
|
0.4364 -13.0000 13.0000
|
|
|
0.4282 -7.0000 5.0000
|
|
|
0.4282 -12.0000 9.0000
|
|
|
0.4108 -6.0000 5.0000
|
|
|
0.4108 -37.0000 11.0000
|
|
|
0.4039 -11.0000 12.0000
|
|
|
0.3964 -7.0000 9.0000
|
|
|
0.3964 -8.0000 8.0000
|
|
|
0.3919 -26.0000 12.0000
|
|
|
0.3822 -11.0000 14.0000
|
|
|
0.3822 -16.0000 9.0000
|
|
|
0.3822 -35.0000 14.0000
|
|
|
0.3788 -6.0000 7.0000
|
|
|
0.3788 -18.0000 8.0000
|
|
|
0.3714 -24.0000 6.0000
|
|
|
0.3714 -33.0000 9.0000
|
|
|
0.3646 -8.0000 9.0000
|
|
|
0.3646 -12.0000 11.0000
|
|
|
0.3646 -19.0000 9.0000
|
|
|
0.3596 -5.0000 10.0000
|
|
|
0.3596 -13.0000 11.0000
|
|
|
0.3596 -13.0000 8.0000
|
|
|
0.3596 -29.0000 11.0000
|
|
|
0.3596 -37.0000 11.0000
|
|
|
0.3468 -9.0000 9.0000
|
|
|
0.3468 -9.0000 6.0000
|
|
|
0.3468 -9.0000 6.0000
|
|
|
0.3468 -10.0000 10.0000
|
|
|
0.3468 -11.0000 7.0000
|
|
|
0.3468 -55.0000 10.0000
|
|
|
0.3328 -11.0000 8.0000
|
|
|
0.3328 -11.0000 8.0000
|
|
|
0.3328 -12.0000 10.0000
|
|
|
0.3328 -12.0000 10.0000
|
|
|
0.3328 -12.0000 8.0000
|
|
|
0.3328 -13.0000 10.0000
|
|
|
0.3328 -13.0000 8.0000
|
|
|
0.3328 -14.0000 10.0000
|
|
|
0.3328 -15.0000 10.0000
|
|
|
0.3328 -15.0000 8.0000
|
|
|
0.3328 -17.0000 9.0000
|
|
|
0.3328 -23.0000 10.0000
|
|
|
0.3273 -8.0000 9.0000
|
|
|
0.3273 -28.0000 10.0000
|
|
|
0.3156 -15.0000 7.0000
|
|
|
0.3148 -5.0000 10.0000
|
|
|
0.3148 -6.0000 10.0000
|
|
|
0.3148 -11.0000 10.0000
|
|
|
0.3148 -15.0000 9.0000
|
|
|
0.3148 -15.0000 8.0000
|
|
|
0.3148 -24.0000 9.0000
|
|
|
0.3148 -24.0000 7.0000
|
|
|
0.3010 -11.0000 7.0000
|
|
|
0.2948 -14.0000 7.0000
|
|
|
0.2948 -27.0000 8.0000
|
|
|
0.2948 -33.0000 6.0000
|
|
|
0.2827 -6.0000 8.0000
|
|
|
0.2827 -7.0000 8.0000
|
|
|
0.2827 -10.0000 9.0000
|
|
|
0.2827 -10.0000 9.0000
|
|
|
0.2827 -12.0000 8.0000
|
|
|
0.2827 -13.0000 9.0000
|
|
|
0.2827 -18.0000 6.0000
|
|
|
0.2827 -21.0000 8.0000
|
|
|
0.2692 -4.0000 6.0000
|
|
|
0.2692 -7.0000 6.0000
|
|
|
0.2692 -8.0000 6.0000
|
|
|
0.2692 -9.0000 6.0000
|
|
|
0.2692 -11.0000 5.0000
|
|
|
0.2692 -12.0000 7.0000
|
|
|
0.2692 -13.0000 7.0000
|
|
|
0.2692 -15.0000 4.0000
|
|
|
0.2692 -22.0000 7.0000
|
|
|
0.2505 -3.0000 8.0000
|
|
|
0.2505 -7.0000 8.0000
|
|
|
0.2505 -10.0000 6.0000
|
|
|
0.2505 -12.0000 7.0000
|
|
|
0.2505 -30.0000 5.0000
|
|
|
0.2390 -25.0000 6.0000
|
|
|
0.2373 -10.0000 7.0000
|
|
|
0.2373 -14.0000 7.0000
|
|
|
0.2182 -15.0000 7.0000
|
|
|
0.2182 -22.0000 3.0000
|
|
|
0.2054 -19.0000 6.0000
|
|
|
0.2050 -25.0000 6.0000
|
|
|
0.1961 -28.0000 7.0000
|
|
|
0.1857 -21.0000 6.0000
|
|
|
0.1769 -15.0000 8.0000
|
|
|
0.1623 -10.0000 6.0000
|
|
|
0.1529 -10.0000 6.0000
|
|
|
0.1529 -13.0000 4.0000
|
|
|
0.1342 -12.0000 6.0000
|
|
|