Returned 97 matches
(100 formulae, 105 docs)
Lookup 362.896 ms, Re-ranking 6270.764 ms
Found 5055622 tuple postings, 3404057 formulae, 1697845 documents
0.2836 -12.0000 9.0000
|
|
|
0.2588 -10.0000 8.0000
|
|
|
0.2523 -29.0000 5.0000
|
|
|
0.2453 -38.0000 5.0000
|
|
|
0.2447 -24.0000 7.0000
|
|
|
0.2376 -13.0000 8.0000
|
|
|
0.2292 -14.0000 7.0000
|
|
|
0.2198 -15.0000 9.0000
|
|
|
0.2198 -34.0000 6.0000
|
|
|
0.2093 -7.0000 6.0000
|
|
|
0.2093 -20.0000 7.0000
|
|
|
0.2093 -27.0000 5.0000
|
|
|
0.2038 -10.0000 6.0000
|
|
|
0.2038 -25.0000 7.0000
|
|
|
0.1947 -7.0000 6.0000
|
|
|
0.1947 -7.0000 6.0000
|
|
|
0.1947 -7.0000 5.0000
|
|
|
0.1947 -8.0000 6.0000
|
|
|
0.1947 -10.0000 8.0000
|
|
|
0.1947 -21.0000 4.0000
|
|
|
0.1947 -22.0000 6.0000
|
|
|
0.1947 -33.0000 6.0000
|
|
|
0.1924 -14.0000 5.0000
|
|
|
0.1858 -29.0000 4.0000
|
|
|
0.1858 -30.0000 5.0000
|
|
|
0.1845 -6.0000 8.0000
|
|
|
0.1845 -7.0000 6.0000
|
|
|
0.1845 -15.0000 6.0000
|
|
|
0.1845 -17.0000 5.0000
|
|
|
0.1845 -18.0000 8.0000
|
|
|
0.1845 -29.0000 7.0000
|
|
|
0.1782 -15.0000 6.0000
|
|
|
0.1705 -29.0000 4.0000
|
|
|
0.1696 -7.0000 6.0000
|
|
|
0.1696 -8.0000 6.0000
|
|
|
0.1696 -10.0000 6.0000
|
|
|
0.1696 -15.0000 5.0000
|
|
|
0.1696 -17.0000 7.0000
|
|
|
0.1696 -33.0000 6.0000
|
|
|
0.1597 -7.0000 7.0000
|
|
|
0.1597 -7.0000 6.0000
|
|
|
0.1597 -9.0000 6.0000
|
|
|
0.1597 -9.0000 5.0000
|
|
|
0.1597 -17.0000 5.0000
|
|
|
0.1597 -21.0000 4.0000
|
|
|
0.1593 -16.0000 2.0000
|
|
|
0.1593 -21.0000 5.0000
|
|
|
0.1593 -33.0000 3.0000
|
|
|
0.1524 -15.0000 3.0000
|
|
|
0.1524 -21.0000 5.0000
|
|
|
0.1524 -35.0000 6.0000
|
|
|
0.1524 -35.0000 5.0000
|
|
|
0.1524 -35.0000 4.0000
|
|
|
0.1443 -12.0000 5.0000
|
|
|
0.1443 -13.0000 5.0000
|
|
|
0.1443 -13.0000 3.0000
|
|
|
0.1443 -17.0000 6.0000
|
|
|
0.1443 -23.0000 5.0000
|
|
|
0.1443 -36.0000 5.0000
|
|
|
0.1443 -36.0000 4.0000
|
|
|
0.1443 -41.0000 2.0000
|
|
|
0.1374 -31.0000 6.0000
|
|
|
0.1348 -16.0000 4.0000
|
|
|
0.1348 -17.0000 4.0000
|
|
|
0.1348 -18.0000 5.0000
|
|
|
0.1348 -19.0000 5.0000
|
|
|
0.1348 -28.0000 5.0000
|
|
|
0.1348 -28.0000 5.0000
|
|
|
0.1348 -38.0000 5.0000
|
|
|
0.1261 -14.0000 6.0000
|
|
|
0.1261 -14.0000 4.0000
|
|
|
0.1261 -14.0000 2.0000
|
|
|
0.1261 -22.0000 2.0000
|
|
|
0.1261 -39.0000 3.0000
|
|
|
0.1261 -40.0000 3.0000
|
|
|
0.1188 -10.0000 4.0000
|
|
|
0.1188 -10.0000 3.0000
|
|
|
0.1188 -10.0000 3.0000
|
|
|
0.1188 -14.0000 4.0000
|
|
|
0.1188 -19.0000 5.0000
|
|
|
0.1188 -23.0000 4.0000
|
|
|
0.1188 -27.0000 5.0000
|
|
|
0.1188 -27.0000 0.0000
|
|
|
0.1188 -34.0000 3.0000
|
|
|
0.1099 -6.0000 4.0000
|
|
|
0.1099 -8.0000 5.0000
|
|
|
0.1099 -11.0000 5.0000
|
|
|
0.1099 -20.0000 3.0000
|
|
|
0.1099 -29.0000 4.0000
|
|
|
0.0992 -16.0000 5.0000
|
|
|
0.0992 -17.0000 5.0000
|
|
|
0.0992 -18.0000 2.0000
|
|
|
0.0929 -18.0000 5.0000
|
|
|
0.0929 -18.0000 2.0000
|
|
|
0.0848 -12.0000 4.0000
|
|
|
0.0848 -21.0000 4.0000
|
|
|
0.0661 -3.0000 1.0000
|
|
|