Returned 96 matches
(100 formulae, 88 docs)
Lookup 15.548 ms, Re-ranking 3871.045 ms
Found 281540 tuple postings, 148671 formulae, 20234 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.4108 -23.0000 6.0000
|
|
|
0.4039 -21.0000 5.0000
|
|
|
0.3010 -3.0000 4.0000
|
|
|
0.2827 -5.0000 5.0000
|
|
|
0.2726 -15.0000 8.0000
|
|
|
0.2692 -3.0000 4.0000
|
|
|
0.2692 -8.0000 6.0000
|
|
|
0.2692 -12.0000 4.0000
|
|
|
0.2505 -6.0000 4.0000
|
|
|
0.2477 -12.0000 7.0000
|
|
|
0.2373 -1.0000 4.0000
|
|
|
0.2373 -3.0000 4.0000
|
|
|
0.2373 -7.0000 4.0000
|
|
|
0.2182 -5.0000 4.0000
|
|
|
0.2182 -10.0000 4.0000
|
|
|
0.2182 -19.0000 4.0000
|
|
|
0.2054 -2.0000 4.0000
|
|
|
0.2054 -6.0000 4.0000
|
|
|
0.2054 -8.0000 4.0000
|
|
|
0.2054 -8.0000 4.0000
|
|
|
0.2054 -8.0000 4.0000
|
|
|
0.1961 -27.0000 0.0000
|
|
|
0.1857 -1.0000 3.0000
|
|
|
0.1857 -6.0000 4.0000
|
|
|
0.1857 -12.0000 4.0000
|
|
|
0.1857 -16.0000 4.0000
|
|
|
0.1857 -21.0000 1.0000
|
|
|
0.1857 -31.0000 0.0000
|
|
|
0.1734 -1.0000 6.0000
|
|
|
0.1734 -7.0000 4.0000
|
|
|
0.1734 -7.0000 2.0000
|
|
|
0.1734 -8.0000 6.0000
|
|
|
0.1734 -9.0000 4.0000
|
|
|
0.1734 -10.0000 6.0000
|
|
|
0.1734 -10.0000 5.0000
|
|
|
0.1734 -10.0000 4.0000
|
|
|
0.1734 -11.0000 6.0000
|
|
|
0.1734 -11.0000 4.0000
|
|
|
0.1734 -13.0000 4.0000
|
|
|
0.1734 -14.0000 4.0000
|
|
|
0.1529 -2.0000 3.0000
|
|
|
0.1529 -2.0000 3.0000
|
|
|
0.1529 -7.0000 3.0000
|
|
|
0.1529 -12.0000 4.0000
|
|
|
0.1413 0.0000 5.0000
|
|
|
0.1413 -3.0000 3.0000
|
|
|
0.1413 -3.0000 3.0000
|
|
|
0.1413 -4.0000 2.0000
|
|
|
0.1413 -6.0000 3.0000
|
|
|
0.1413 -8.0000 3.0000
|
|
|
0.1413 -10.0000 2.0000
|
|
|
0.1413 -12.0000 3.0000
|
|
|
0.1413 -15.0000 4.0000
|
|
|
0.1413 -16.0000 4.0000
|
|
|
0.1413 -16.0000 4.0000
|
|
|
0.1413 -17.0000 2.0000
|
|
|
0.1413 -20.0000 4.0000
|
|
|
0.1195 -3.0000 3.0000
|
|
|
0.1195 -3.0000 2.0000
|
|
|
0.1195 -9.0000 2.0000
|
|
|
0.1195 -10.0000 4.0000
|
|
|
0.1195 -10.0000 3.0000
|
|
|
0.1195 -14.0000 5.0000
|
|
|
0.1195 -19.0000 3.0000
|
|
|
0.1091 -3.0000 4.0000
|
|
|
0.1091 -3.0000 2.0000
|
|
|
0.1091 -4.0000 3.0000
|
|
|
0.1091 -4.0000 2.0000
|
|
|
0.1091 -5.0000 3.0000
|
|
|
0.1091 -7.0000 4.0000
|
|
|
0.1091 -8.0000 3.0000
|
|
|
0.1091 -10.0000 3.0000
|
|
|
0.1091 -10.0000 2.0000
|
|
|
0.1091 -11.0000 3.0000
|
|
|
0.1091 -11.0000 3.0000
|
|
|
0.1091 -23.0000 4.0000
|
|
|
0.0851 -3.0000 3.0000
|
|
|
0.0851 -5.0000 2.0000
|
|
|
0.0851 -9.0000 3.0000
|
|
|
0.0851 -10.0000 3.0000
|
|
|
0.0851 -10.0000 3.0000
|
|
|
0.0764 -4.0000 3.0000
|
|
|
0.0764 -4.0000 3.0000
|
|
|
0.0764 -5.0000 3.0000
|
|
|
0.0764 -5.0000 3.0000
|
|
|
0.0764 -6.0000 3.0000
|
|
|
0.0764 -6.0000 2.0000
|
|
|
0.0764 -9.0000 3.0000
|
|
|
0.0764 -10.0000 3.0000
|
|
|
0.0764 -10.0000 2.0000
|
|
|
0.0764 -12.0000 3.0000
|
|
|