Returned 96 matches
(100 formulae, 60 docs)
Lookup 38.658 ms, Re-ranking 5402.658 ms
Found 233030 tuple postings, 98875 formulae, 16977 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.4364 -60.0000 15.0000
|
|
|
0.4282 -12.0000 9.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 -35.0000 14.0000
|
|
|
0.3788 -6.0000 7.0000
|
|
|
0.3788 -56.0000 10.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.3646 -61.0000 9.0000
|
|
|
0.3596 -5.0000 10.0000
|
|
|
0.3596 -13.0000 11.0000
|
|
|
0.3596 -29.0000 11.0000
|
|
|
0.3468 -9.0000 9.0000
|
|
|
0.3468 -10.0000 10.0000
|
|
|
0.3468 -11.0000 7.0000
|
|
|
0.3468 -44.0000 11.0000
|
|
|
0.3468 -55.0000 10.0000
|
|
|
0.3328 -11.0000 8.0000
|
|
|
0.3328 -11.0000 8.0000
|
|
|
0.3328 -11.0000 7.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 -14.0000 7.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.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.3010 -20.0000 6.0000
|
|
|
0.3010 -21.0000 6.0000
|
|
|
0.2948 -27.0000 8.0000
|
|
|
0.2948 -32.0000 10.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 -5.0000 6.0000
|
|
|
0.2692 -8.0000 6.0000
|
|
|
0.2692 -12.0000 7.0000
|
|
|
0.2692 -13.0000 7.0000
|
|
|
0.2692 -15.0000 4.0000
|
|
|
0.2692 -16.0000 6.0000
|
|
|
0.2692 -22.0000 7.0000
|
|
|
0.2622 -25.0000 8.0000
|
|
|
0.2505 -3.0000 8.0000
|
|
|
0.2505 -7.0000 8.0000
|
|
|
0.2505 -10.0000 6.0000
|
|
|
0.2505 -30.0000 5.0000
|
|
|
0.2373 -10.0000 7.0000
|
|
|
0.2373 -14.0000 7.0000
|
|
|
0.2293 -58.0000 7.0000
|
|
|
0.2054 -17.0000 5.0000
|
|
|
0.2054 -19.0000 6.0000
|
|
|
0.2054 -49.0000 6.0000
|
|
|
0.2050 -25.0000 6.0000
|
|
|
0.1961 -28.0000 7.0000
|
|
|
0.1857 -21.0000 6.0000
|
|
|
0.1734 -8.0000 5.0000
|
|
|
0.1734 -22.0000 3.0000
|
|
|
0.1529 -10.0000 6.0000
|
|
|
0.1529 -10.0000 5.0000
|
|
|
0.1529 -16.0000 3.0000
|
|
|
0.1529 -34.0000 4.0000
|
|
|