Returned 97 matches
(100 formulae, 73 docs)
Lookup 5.410 ms, Re-ranking 4492.517 ms
Found 69325 tuple postings, 48574 formulae, 11188 documents
1.0000 0.0000 41.0000
|
|
|
1.0000 -3.0000 40.0000
|
|
|
0.7649 -3.0000 32.0000
|
|
|
0.4566 -9.0000 18.0000
|
|
|
0.4072 -28.0000 16.0000
|
|
|
0.2447 -15.0000 7.0000
|
|
|
0.2198 -38.0000 5.0000
|
|
|
0.2118 -14.0000 5.0000
|
|
|
0.2038 -12.0000 7.0000
|
|
|
0.1983 -34.0000 4.0000
|
|
|
0.1947 -8.0000 5.0000
|
|
|
0.1782 -9.0000 9.0000
|
|
|
0.1782 -12.0000 7.0000
|
|
|
0.1782 -15.0000 5.0000
|
|
|
0.1782 -25.0000 3.0000
|
|
|
0.1696 -16.0000 3.0000
|
|
|
0.1696 -27.0000 2.0000
|
|
|
0.1696 -29.0000 3.0000
|
|
|
0.1696 -40.0000 5.0000
|
|
|
0.1597 -5.0000 6.0000
|
|
|
0.1597 -5.0000 6.0000
|
|
|
0.1597 -10.0000 6.0000
|
|
|
0.1597 -13.0000 5.0000
|
|
|
0.1597 -23.0000 5.0000
|
|
|
0.1597 -27.0000 4.0000
|
|
|
0.1597 -27.0000 2.0000
|
|
|
0.1597 -29.0000 4.0000
|
|
|
0.1597 -40.0000 3.0000
|
|
|
0.1593 -29.0000 5.0000
|
|
|
0.1524 -17.0000 4.0000
|
|
|
0.1443 -18.0000 4.0000
|
|
|
0.1443 -18.0000 4.0000
|
|
|
0.1348 -7.0000 3.0000
|
|
|
0.1348 -9.0000 6.0000
|
|
|
0.1348 -9.0000 6.0000
|
|
|
0.1348 -9.0000 5.0000
|
|
|
0.1348 -13.0000 5.0000
|
|
|
0.1348 -17.0000 3.0000
|
|
|
0.1348 -18.0000 2.0000
|
|
|
0.1348 -19.0000 3.0000
|
|
|
0.1261 -13.0000 4.0000
|
|
|
0.1261 -18.0000 2.0000
|
|
|
0.1188 -6.0000 4.0000
|
|
|
0.1188 -7.0000 4.0000
|
|
|
0.1188 -15.0000 3.0000
|
|
|
0.1188 -18.0000 3.0000
|
|
|
0.1188 -19.0000 5.0000
|
|
|
0.1188 -26.0000 5.0000
|
|
|
0.1188 -47.0000 3.0000
|
|
|
0.1099 -5.0000 4.0000
|
|
|
0.1099 -6.0000 4.0000
|
|
|
0.1099 -8.0000 4.0000
|
|
|
0.1099 -8.0000 2.0000
|
|
|
0.1099 -9.0000 4.0000
|
|
|
0.1099 -10.0000 4.0000
|
|
|
0.1099 -12.0000 3.0000
|
|
|
0.1099 -14.0000 3.0000
|
|
|
0.1099 -16.0000 4.0000
|
|
|
0.1099 -16.0000 3.0000
|
|
|
0.1099 -19.0000 3.0000
|
|
|
0.1099 -21.0000 4.0000
|
|
|
0.1099 -21.0000 3.0000
|
|
|
0.1099 -21.0000 3.0000
|
|
|
0.1099 -26.0000 3.0000
|
|
|
0.1099 -31.0000 4.0000
|
|
|
0.1099 -31.0000 3.0000
|
|
|
0.1099 -33.0000 3.0000
|
|
|
0.0992 -13.0000 5.0000
|
|
|
0.0992 -19.0000 4.0000
|
|
|
0.0992 -25.0000 5.0000
|
|
|
0.0929 -7.0000 3.0000
|
|
|
0.0929 -7.0000 2.0000
|
|
|
0.0929 -8.0000 3.0000
|
|
|
0.0929 -15.0000 4.0000
|
|
|
0.0929 -17.0000 5.0000
|
|
|
0.0929 -18.0000 4.0000
|
|
|
0.0929 -18.0000 3.0000
|
|
|
0.0929 -19.0000 2.0000
|
|
|
0.0929 -20.0000 4.0000
|
|
|
0.0929 -22.0000 4.0000
|
|
|
0.0929 -34.0000 4.0000
|
|
|
0.0848 -7.0000 4.0000
|
|
|
0.0848 -7.0000 2.0000
|
|
|
0.0848 -8.0000 2.0000
|
|
|
0.0848 -8.0000 2.0000
|
|
|
0.0848 -9.0000 4.0000
|
|
|
0.0848 -11.0000 3.0000
|
|
|
0.0848 -15.0000 4.0000
|
|
|
0.0848 -30.0000 3.0000
|
|
|
0.0709 -15.0000 3.0000
|
|
|
0.0661 -21.0000 2.0000
|
|
|
0.0594 -5.0000 3.0000
|
|
|
0.0594 -6.0000 3.0000
|
|
|
0.0594 -17.0000 3.0000
|
|
|
0.0594 -17.0000 3.0000
|
|
|
0.0594 -23.0000 3.0000
|
|
|
0.0594 -23.0000 3.0000
|
|
|