Returned 90 matches
(100 formulae, 77 docs)
Lookup 5.980 ms, Re-ranking 7686.522 ms
Found 64675 tuple postings, 50810 formulae, 11752 documents
1.0000 0.0000 32.0000
|
|
|
0.5383 -35.0000 13.0000
|
|
|
0.5010 -24.0000 11.0000
|
|
|
0.4479 -54.0000 9.0000
|
|
|
0.4364 -56.0000 8.0000
|
|
|
0.4151 -39.0000 6.0000
|
|
|
0.4108 -23.0000 6.0000
|
|
|
0.4039 -21.0000 5.0000
|
|
|
0.3010 -3.0000 4.0000
|
|
|
0.2827 -5.0000 5.0000
|
|
|
0.2827 -55.0000 5.0000
|
|
|
0.2726 -15.0000 8.0000
|
|
|
0.2692 -2.0000 5.0000
|
|
|
0.2692 -3.0000 4.0000
|
|
|
0.2692 -8.0000 6.0000
|
|
|
0.2692 -16.0000 5.0000
|
|
|
0.2505 -3.0000 5.0000
|
|
|
0.2505 -6.0000 4.0000
|
|
|
0.2505 -8.0000 4.0000
|
|
|
0.2477 -12.0000 7.0000
|
|
|
0.2390 -14.0000 6.0000
|
|
|
0.2373 -2.0000 4.0000
|
|
|
0.2373 -3.0000 4.0000
|
|
|
0.2373 -8.0000 4.0000
|
|
|
0.2373 -10.0000 5.0000
|
|
|
0.2373 -10.0000 4.0000
|
|
|
0.2373 -17.0000 5.0000
|
|
|
0.2373 -19.0000 6.0000
|
|
|
0.2373 -47.0000 4.0000
|
|
|
0.2293 -20.0000 4.0000
|
|
|
0.2182 -5.0000 4.0000
|
|
|
0.2182 -10.0000 4.0000
|
|
|
0.2182 -15.0000 4.0000
|
|
|
0.2182 -19.0000 4.0000
|
|
|
0.2182 -33.0000 1.0000
|
|
|
0.2054 -5.0000 5.0000
|
|
|
0.2054 -6.0000 4.0000
|
|
|
0.2054 -7.0000 4.0000
|
|
|
0.2054 -8.0000 4.0000
|
|
|
0.2054 -8.0000 4.0000
|
|
|
0.2054 -9.0000 5.0000
|
|
|
0.2054 -10.0000 4.0000
|
|
|
0.2054 -10.0000 4.0000
|
|
|
0.2054 -10.0000 4.0000
|
|
|
0.2054 -10.0000 4.0000
|
|
|
0.2054 -10.0000 3.0000
|
|
|
0.2054 -10.0000 1.0000
|
|
|
0.2054 -11.0000 6.0000
|
|
|
0.2054 -11.0000 4.0000
|
|
|
0.2054 -11.0000 4.0000
|
|
|
0.2054 -16.0000 5.0000
|
|
|
0.2054 -20.0000 5.0000
|
|
|
0.1961 -27.0000 0.0000
|
|
|
0.1857 -6.0000 5.0000
|
|
|
0.1857 -9.0000 4.0000
|
|
|
0.1857 -10.0000 4.0000
|
|
|
0.1857 -31.0000 0.0000
|
|
|
0.1857 -32.0000 5.0000
|
|
|
0.1734 -1.0000 6.0000
|
|
|
0.1734 -5.0000 4.0000
|
|
|
0.1734 -8.0000 6.0000
|
|
|
0.1734 -10.0000 6.0000
|
|
|
0.1734 -10.0000 5.0000
|
|
|
0.1734 -10.0000 5.0000
|
|
|
0.1734 -10.0000 5.0000
|
|
|
0.1734 -10.0000 4.0000
|
|
|
0.1734 -10.0000 0.0000
|
|
|
0.1734 -11.0000 6.0000
|
|
|
0.1734 -11.0000 4.0000
|
|
|
0.1734 -12.0000 6.0000
|
|
|
0.1734 -12.0000 5.0000
|
|
|
0.1734 -24.0000 3.0000
|
|
|
0.1734 -31.0000 6.0000
|
|
|
0.1734 -36.0000 3.0000
|
|
|
0.1623 -10.0000 4.0000
|
|
|
0.1529 -9.0000 3.0000
|
|
|
0.1529 -10.0000 4.0000
|
|
|
0.1529 -12.0000 4.0000
|
|
|
0.1529 -35.0000 3.0000
|
|
|
0.1413 0.0000 5.0000
|
|
|
0.1413 -7.0000 4.0000
|
|
|
0.1413 -9.0000 5.0000
|
|
|
0.1413 -10.0000 4.0000
|
|
|
0.1413 -12.0000 3.0000
|
|
|
0.1413 -16.0000 3.0000
|
|
|
0.1413 -19.0000 5.0000
|
|
|
0.1091 -7.0000 4.0000
|
|
|
0.1091 -10.0000 2.0000
|
|
|
0.1091 -14.0000 4.0000
|
|
|
0.0764 -10.0000 3.0000
|
|
|