Returned 99 matches
(100 formulae, 137 docs)
Lookup 934.816 ms, Re-ranking 1220.485 ms
Found 18498350 tuple postings, 11112493 formulae, 4342058 documents
0.2827 -28.0000 9.0000
|
|
|
0.2827 -35.0000 9.0000
|
|
|
0.2505 -7.0000 4.0000
|
|
|
0.2505 -14.0000 0.0000
|
|
|
0.2373 -1.0000 4.0000
|
|
|
0.2373 -3.0000 4.0000
|
|
|
0.2373 -4.0000 4.0000
|
|
|
0.2373 -5.0000 5.0000
|
|
|
0.2373 -8.0000 4.0000
|
|
|
0.2293 -13.0000 0.0000
|
|
|
0.2182 -3.0000 4.0000
|
|
|
0.2182 -3.0000 4.0000
|
|
|
0.2182 -5.0000 4.0000
|
|
|
0.2182 -5.0000 1.0000
|
|
|
0.2054 -2.0000 4.0000
|
|
|
0.2054 -3.0000 4.0000
|
|
|
0.2054 -3.0000 4.0000
|
|
|
0.2054 -3.0000 2.0000
|
|
|
0.2054 -4.0000 4.0000
|
|
|
0.2054 -4.0000 4.0000
|
|
|
0.2054 -5.0000 4.0000
|
|
|
0.2054 -6.0000 4.0000
|
|
|
0.2054 -6.0000 4.0000
|
|
|
0.2054 -10.0000 4.0000
|
|
|
0.2054 -10.0000 2.0000
|
|
|
0.1961 -17.0000 5.0000
|
|
|
0.1857 -4.0000 4.0000
|
|
|
0.1857 -9.0000 4.0000
|
|
|
0.1734 -5.0000 5.0000
|
|
|
0.1734 -5.0000 4.0000
|
|
|
0.1734 -5.0000 3.0000
|
|
|
0.1734 -5.0000 3.0000
|
|
|
0.1734 -6.0000 5.0000
|
|
|
0.1734 -6.0000 4.0000
|
|
|
0.1734 -6.0000 4.0000
|
|
|
0.1734 -6.0000 4.0000
|
|
|
0.1734 -9.0000 5.0000
|
|
|
0.1734 -9.0000 4.0000
|
|
|
0.1734 -9.0000 3.0000
|
|
|
0.1734 -11.0000 5.0000
|
|
|
0.1734 -11.0000 4.0000
|
|
|
0.1734 -11.0000 4.0000
|
|
|
0.1734 -11.0000 3.0000
|
|
|
0.1529 -5.0000 1.0000
|
|
|
0.1529 -7.0000 4.0000
|
|
|
0.1529 -7.0000 3.0000
|
|
|
0.1529 -10.0000 4.0000
|
|
|
0.1529 -12.0000 4.0000
|
|
|
0.1529 -17.0000 3.0000
|
|
|
0.1529 -18.0000 4.0000
|
|
|
0.1413 -1.0000 2.0000
|
|
|
0.1413 -3.0000 3.0000
|
|
|
0.1413 -4.0000 4.0000
|
|
|
0.1413 -4.0000 4.0000
|
|
|
0.1413 -4.0000 4.0000
|
|
|
0.1413 -4.0000 3.0000
|
|
|
0.1413 -4.0000 3.0000
|
|
|
0.1413 -5.0000 4.0000
|
|
|
0.1413 -5.0000 4.0000
|
|
|
0.1413 -6.0000 3.0000
|
|
|
0.1413 -6.0000 3.0000
|
|
|
0.1413 -11.0000 3.0000
|
|
|
0.1195 -4.0000 3.0000
|
|
|
0.1195 -4.0000 3.0000
|
|
|
0.1195 -5.0000 3.0000
|
|
|
0.1195 -5.0000 2.0000
|
|
|
0.1195 -6.0000 3.0000
|
|
|
0.1195 -12.0000 4.0000
|
|
|
0.1195 -12.0000 2.0000
|
|
|
0.1091 -1.0000 3.0000
|
|
|
0.1091 -4.0000 4.0000
|
|
|
0.1091 -4.0000 3.0000
|
|
|
0.1091 -5.0000 4.0000
|
|
|
0.1091 -5.0000 4.0000
|
|
|
0.1091 -5.0000 4.0000
|
|
|
0.1091 -5.0000 4.0000
|
|
|
0.1091 -5.0000 4.0000
|
|
|
0.1091 -5.0000 3.0000
|
|
|
0.1091 -5.0000 3.0000
|
|
|
0.1091 -5.0000 3.0000
|
|
|
0.1091 -5.0000 3.0000
|
|
|
0.1091 -6.0000 2.0000
|
|
|
0.1091 -6.0000 2.0000
|
|
|
0.1091 -7.0000 2.0000
|
|
|
0.1091 -11.0000 3.0000
|
|
|
0.1091 -12.0000 3.0000
|
|
|
0.1091 -13.0000 2.0000
|
|
|
0.0913 -19.0000 4.0000
|
|
|
0.0851 -5.0000 2.0000
|
|
|
0.0851 -6.0000 2.0000
|
|
|
0.0851 -7.0000 2.0000
|
|
|
0.0764 -2.0000 3.0000
|
|
|
0.0764 -4.0000 3.0000
|
|
|
0.0764 -6.0000 3.0000
|
|
|
0.0764 -7.0000 2.0000
|
|
|
0.0764 -8.0000 3.0000
|
|
|
0.0764 -8.0000 3.0000
|
|
|
0.0764 -8.0000 2.0000
|
|
|
0.0764 -12.0000 2.0000
|
|
|