Returned 95 matches
(100 formulae, 108 docs)
Lookup 1611.870 ms, Re-ranking 11385.948 ms
Found 17879151 tuple postings, 9680579 formulae, 3799102 documents
0.2523 -29.0000 5.0000
|
|
|
0.2453 -38.0000 5.0000
|
|
|
0.2447 -17.0000 5.0000
|
|
|
0.2292 -14.0000 7.0000
|
|
|
0.2198 -11.0000 5.0000
|
|
|
0.2198 -15.0000 9.0000
|
|
|
0.2038 -25.0000 7.0000
|
|
|
0.1947 -10.0000 8.0000
|
|
|
0.1947 -30.0000 7.0000
|
|
|
0.1947 -33.0000 6.0000
|
|
|
0.1858 -27.0000 2.0000
|
|
|
0.1858 -29.0000 5.0000
|
|
|
0.1858 -29.0000 4.0000
|
|
|
0.1845 -6.0000 8.0000
|
|
|
0.1705 -29.0000 4.0000
|
|
|
0.1696 -7.0000 6.0000
|
|
|
0.1696 -8.0000 6.0000
|
|
|
0.1696 -24.0000 3.0000
|
|
|
0.1696 -27.0000 4.0000
|
|
|
0.1696 -31.0000 3.0000
|
|
|
0.1653 -17.0000 6.0000
|
|
|
0.1653 -25.0000 4.0000
|
|
|
0.1653 -32.0000 4.0000
|
|
|
0.1597 -12.0000 5.0000
|
|
|
0.1597 -21.0000 3.0000
|
|
|
0.1597 -36.0000 5.0000
|
|
|
0.1597 -40.0000 3.0000
|
|
|
0.1593 -16.0000 2.0000
|
|
|
0.1593 -21.0000 5.0000
|
|
|
0.1593 -28.0000 4.0000
|
|
|
0.1593 -33.0000 3.0000
|
|
|
0.1524 -15.0000 3.0000
|
|
|
0.1524 -23.0000 6.0000
|
|
|
0.1524 -35.0000 6.0000
|
|
|
0.1524 -35.0000 5.0000
|
|
|
0.1524 -36.0000 2.0000
|
|
|
0.1443 -5.0000 7.0000
|
|
|
0.1443 -13.0000 5.0000
|
|
|
0.1443 -31.0000 2.0000
|
|
|
0.1443 -36.0000 5.0000
|
|
|
0.1443 -41.0000 2.0000
|
|
|
0.1374 -14.0000 3.0000
|
|
|
0.1374 -18.0000 3.0000
|
|
|
0.1374 -20.0000 3.0000
|
|
|
0.1374 -22.0000 3.0000
|
|
|
0.1374 -23.0000 3.0000
|
|
|
0.1374 -28.0000 3.0000
|
|
|
0.1374 -31.0000 6.0000
|
|
|
0.1348 -12.0000 5.0000
|
|
|
0.1348 -23.0000 3.0000
|
|
|
0.1348 -30.0000 3.0000
|
|
|
0.1348 -39.0000 5.0000
|
|
|
0.1322 -15.0000 3.0000
|
|
|
0.1322 -21.0000 4.0000
|
|
|
0.1322 -24.0000 2.0000
|
|
|
0.1322 -28.0000 3.0000
|
|
|
0.1261 -14.0000 4.0000
|
|
|
0.1261 -22.0000 3.0000
|
|
|
0.1261 -25.0000 3.0000
|
|
|
0.1261 -26.0000 4.0000
|
|
|
0.1261 -28.0000 3.0000
|
|
|
0.1261 -29.0000 2.0000
|
|
|
0.1261 -32.0000 3.0000
|
|
|
0.1261 -33.0000 3.0000
|
|
|
0.1261 -36.0000 0.0000
|
|
|
0.1261 -39.0000 3.0000
|
|
|
0.1261 -40.0000 3.0000
|
|
|
0.1261 -40.0000 2.0000
|
|
|
0.1188 -20.0000 5.0000
|
|
|
0.1188 -22.0000 4.0000
|
|
|
0.1188 -23.0000 4.0000
|
|
|
0.1188 -26.0000 4.0000
|
|
|
0.1188 -26.0000 3.0000
|
|
|
0.1188 -27.0000 2.0000
|
|
|
0.1188 -27.0000 0.0000
|
|
|
0.1188 -36.0000 4.0000
|
|
|
0.1188 -37.0000 4.0000
|
|
|
0.1188 -37.0000 2.0000
|
|
|
0.1099 -18.0000 3.0000
|
|
|
0.1099 -26.0000 3.0000
|
|
|
0.1099 -28.0000 2.0000
|
|
|
0.1099 -37.0000 3.0000
|
|
|
0.1084 -16.0000 8.0000
|
|
|
0.1084 -22.0000 3.0000
|
|
|
0.0992 -18.0000 2.0000
|
|
|
0.0992 -33.0000 4.0000
|
|
|
0.0929 -10.0000 3.0000
|
|
|
0.0929 -18.0000 3.0000
|
|
|
0.0929 -18.0000 3.0000
|
|
|
0.0929 -28.0000 2.0000
|
|
|
0.0929 -37.0000 3.0000
|
|
|
0.0929 -41.0000 3.0000
|
|
|
0.0848 -21.0000 4.0000
|
|
|
0.0848 -28.0000 2.0000
|
|
|
0.0661 -20.0000 2.0000
|
|
|