Returned 97 matches
(100 formulae, 101 docs)
Lookup 4940.280 ms, Re-ranking 4455.830 ms
Found 21405976 tuple postings, 6889713 formulae, 3282457 documents
0.7459 -17.0000 14.0000
|
|
|
0.7293 -12.0000 13.0000
|
|
|
0.7293 -16.0000 21.0000
|
|
|
0.6507 -37.0000 15.0000
|
|
|
0.6338 -29.0000 18.0000
|
|
|
0.6189 -21.0000 12.0000
|
|
|
0.6189 -27.0000 12.0000
|
|
|
0.5702 -12.0000 14.0000
|
|
|
0.5554 -3.0000 17.0000
|
|
|
0.5554 -3.0000 10.0000
|
|
|
0.5554 -4.0000 16.0000
|
|
|
0.5554 -4.0000 13.0000
|
|
|
0.5554 -8.0000 16.0000
|
|
|
0.5554 -10.0000 13.0000
|
|
|
0.5455 -23.0000 16.0000
|
|
|
0.5236 -3.0000 16.0000
|
|
|
0.5236 -6.0000 16.0000
|
|
|
0.5236 -7.0000 10.0000
|
|
|
0.5065 -28.0000 16.0000
|
|
|
0.4918 -32.0000 11.0000
|
|
|
0.4882 -10.0000 10.0000
|
|
|
0.4882 -17.0000 12.0000
|
|
|
0.4746 -13.0000 10.0000
|
|
|
0.4561 -10.0000 15.0000
|
|
|
0.4561 -11.0000 14.0000
|
|
|
0.4561 -13.0000 14.0000
|
|
|
0.4427 -5.0000 14.0000
|
|
|
0.4427 -17.0000 11.0000
|
|
|
0.4427 -21.0000 12.0000
|
|
|
0.4427 -27.0000 12.0000
|
|
|
0.4282 -5.0000 12.0000
|
|
|
0.4282 -5.0000 12.0000
|
|
|
0.4282 -6.0000 13.0000
|
|
|
0.4282 -6.0000 12.0000
|
|
|
0.4282 -6.0000 9.0000
|
|
|
0.4282 -6.0000 9.0000
|
|
|
0.4282 -7.0000 13.0000
|
|
|
0.4282 -7.0000 13.0000
|
|
|
0.4282 -7.0000 12.0000
|
|
|
0.4282 -7.0000 9.0000
|
|
|
0.4282 -7.0000 9.0000
|
|
|
0.4282 -7.0000 8.0000
|
|
|
0.4282 -8.0000 12.0000
|
|
|
0.4282 -8.0000 11.0000
|
|
|
0.4282 -8.0000 10.0000
|
|
|
0.4282 -10.0000 13.0000
|
|
|
0.4282 -10.0000 10.0000
|
|
|
0.4282 -11.0000 13.0000
|
|
|
0.4240 -12.0000 11.0000
|
|
|
0.4240 -12.0000 11.0000
|
|
|
0.4240 -18.0000 14.0000
|
|
|
0.4108 -6.0000 10.0000
|
|
|
0.4108 -7.0000 11.0000
|
|
|
0.4108 -10.0000 9.0000
|
|
|
0.4108 -11.0000 9.0000
|
|
|
0.4039 -14.0000 14.0000
|
|
|
0.4039 -24.0000 13.0000
|
|
|
0.3964 -5.0000 12.0000
|
|
|
0.3964 -8.0000 12.0000
|
|
|
0.3964 -9.0000 11.0000
|
|
|
0.3964 -10.0000 12.0000
|
|
|
0.3919 -15.0000 12.0000
|
|
|
0.3822 -30.0000 12.0000
|
|
|
0.3788 -6.0000 9.0000
|
|
|
0.3788 -7.0000 9.0000
|
|
|
0.3788 -13.0000 9.0000
|
|
|
0.3788 -18.0000 12.0000
|
|
|
0.3714 -15.0000 13.0000
|
|
|
0.3714 -22.0000 11.0000
|
|
|
0.3646 -4.0000 11.0000
|
|
|
0.3646 -4.0000 10.0000
|
|
|
0.3646 -5.0000 11.0000
|
|
|
0.3646 -9.0000 9.0000
|
|
|
0.3646 -10.0000 9.0000
|
|
|
0.3646 -11.0000 11.0000
|
|
|
0.3646 -13.0000 8.0000
|
|
|
0.3646 -20.0000 11.0000
|
|
|
0.3596 -8.0000 12.0000
|
|
|
0.3596 -13.0000 12.0000
|
|
|
0.3596 -16.0000 10.0000
|
|
|
0.3596 -20.0000 11.0000
|
|
|
0.3596 -29.0000 11.0000
|
|
|
0.3386 -10.0000 10.0000
|
|
|
0.3328 -5.0000 10.0000
|
|
|
0.3328 -10.0000 9.0000
|
|
|
0.3328 -15.0000 7.0000
|
|
|
0.3328 -17.0000 10.0000
|
|
|
0.3273 -10.0000 8.0000
|
|
|
0.3273 -20.0000 7.0000
|
|
|
0.3148 -5.0000 10.0000
|
|
|
0.3148 -6.0000 10.0000
|
|
|
0.3148 -13.0000 10.0000
|
|
|
0.3148 -18.0000 10.0000
|
|
|
0.2948 -17.0000 10.0000
|
|
|
0.2819 -22.0000 9.0000
|
|
|
0.2726 -34.0000 10.0000
|
|
|
0.2373 -11.0000 7.0000
|
|
|