Returned 98 matches
(100 formulae, 52 docs)
Lookup 16.476 ms, Re-ranking 8027.534 ms
Found 210723 tuple postings, 123740 formulae, 18614 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 -18.0000 4.0000
|
|
|
0.2038 -12.0000 7.0000
|
|
|
0.1983 -34.0000 4.0000
|
|
|
0.1947 -13.0000 2.0000
|
|
|
0.1947 -17.0000 2.0000
|
|
|
0.1947 -17.0000 2.0000
|
|
|
0.1947 -18.0000 2.0000
|
|
|
0.1947 -19.0000 4.0000
|
|
|
0.1858 -19.0000 5.0000
|
|
|
0.1858 -57.0000 6.0000
|
|
|
0.1782 -9.0000 9.0000
|
|
|
0.1782 -12.0000 7.0000
|
|
|
0.1696 -14.0000 2.0000
|
|
|
0.1696 -29.0000 3.0000
|
|
|
0.1597 -5.0000 6.0000
|
|
|
0.1597 -5.0000 6.0000
|
|
|
0.1597 -10.0000 6.0000
|
|
|
0.1597 -40.0000 3.0000
|
|
|
0.1593 -34.0000 3.0000
|
|
|
0.1593 -56.0000 2.0000
|
|
|
0.1524 -18.0000 2.0000
|
|
|
0.1524 -19.0000 2.0000
|
|
|
0.1457 -40.0000 4.0000
|
|
|
0.1443 -19.0000 2.0000
|
|
|
0.1443 -20.0000 2.0000
|
|
|
0.1443 -21.0000 2.0000
|
|
|
0.1443 -27.0000 4.0000
|
|
|
0.1443 -31.0000 2.0000
|
|
|
0.1443 -42.0000 3.0000
|
|
|
0.1374 -33.0000 4.0000
|
|
|
0.1348 -9.0000 6.0000
|
|
|
0.1348 -13.0000 5.0000
|
|
|
0.1348 -25.0000 3.0000
|
|
|
0.1348 -25.0000 1.0000
|
|
|
0.1322 -38.0000 4.0000
|
|
|
0.1261 -13.0000 4.0000
|
|
|
0.1261 -16.0000 2.0000
|
|
|
0.1261 -18.0000 2.0000
|
|
|
0.1261 -20.0000 2.0000
|
|
|
0.1261 -21.0000 4.0000
|
|
|
0.1261 -21.0000 2.0000
|
|
|
0.1261 -30.0000 3.0000
|
|
|
0.1261 -34.0000 2.0000
|
|
|
0.1261 -34.0000 2.0000
|
|
|
0.1261 -35.0000 1.0000
|
|
|
0.1261 -40.0000 4.0000
|
|
|
0.1188 -13.0000 0.0000
|
|
|
0.1188 -25.0000 1.0000
|
|
|
0.1188 -33.0000 4.0000
|
|
|
0.1188 -43.0000 2.0000
|
|
|
0.1188 -47.0000 3.0000
|
|
|
0.1099 -8.0000 2.0000
|
|
|
0.1099 -9.0000 4.0000
|
|
|
0.1099 -16.0000 4.0000
|
|
|
0.1099 -17.0000 2.0000
|
|
|
0.0992 -3.0000 2.0000
|
|
|
0.0992 -13.0000 5.0000
|
|
|
0.0929 -7.0000 2.0000
|
|
|
0.0929 -8.0000 0.0000
|
|
|
0.0929 -9.0000 1.0000
|
|
|
0.0929 -13.0000 1.0000
|
|
|
0.0929 -15.0000 4.0000
|
|
|
0.0929 -15.0000 2.0000
|
|
|
0.0929 -17.0000 5.0000
|
|
|
0.0929 -18.0000 1.0000
|
|
|
0.0929 -19.0000 4.0000
|
|
|
0.0929 -20.0000 4.0000
|
|
|
0.0929 -21.0000 3.0000
|
|
|
0.0929 -22.0000 4.0000
|
|
|
0.0929 -30.0000 2.0000
|
|
|
0.0929 -34.0000 3.0000
|
|
|
0.0848 -7.0000 2.0000
|
|
|
0.0848 -8.0000 2.0000
|
|
|
0.0848 -10.0000 2.0000
|
|
|
0.0848 -11.0000 2.0000
|
|
|
0.0848 -12.0000 3.0000
|
|
|
0.0848 -13.0000 2.0000
|
|
|
0.0848 -14.0000 3.0000
|
|
|
0.0848 -23.0000 2.0000
|
|
|
0.0848 -26.0000 4.0000
|
|
|
0.0848 -30.0000 3.0000
|
|
|
0.0773 -23.0000 2.0000
|
|
|
0.0745 -17.0000 2.0000
|
|
|
0.0709 -18.0000 1.0000
|
|
|
0.0709 -46.0000 1.0000
|
|
|
0.0661 -9.0000 3.0000
|
|
|
0.0661 -11.0000 3.0000
|
|
|
0.0661 -13.0000 1.0000
|
|
|
0.0661 -15.0000 2.0000
|
|
|
0.0661 -26.0000 3.0000
|
|
|
0.0594 -12.0000 2.0000
|
|
|