Returned 96 matches
(100 formulae, 99 docs)
Lookup 29394.600 ms, Re-ranking 4038.922 ms
Found 125159905 tuple postings, 14564975 formulae, 5122820 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 -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.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.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.3964 -5.0000 12.0000
|
|
|
0.3964 -8.0000 12.0000
|
|
|
0.3964 -9.0000 11.0000
|
|
|
0.3964 -10.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 -20.0000 11.0000
|
|
|
0.3596 -8.0000 12.0000
|
|
|
0.3596 -13.0000 12.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 10.0000
|
|
|
0.3328 -10.0000 9.0000
|
|
|
0.3328 -12.0000 10.0000
|
|
|
0.3328 -15.0000 7.0000
|
|
|
0.3328 -17.0000 10.0000
|
|
|
0.3273 -10.0000 10.0000
|
|
|
0.3273 -13.0000 10.0000
|
|
|
0.3273 -15.0000 10.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.2827 -11.0000 9.0000
|
|
|
0.2819 -22.0000 9.0000
|
|
|
0.2726 -34.0000 10.0000
|
|
|
0.2622 -14.0000 9.0000
|
|
|
0.2373 -12.0000 6.0000
|
|
|