Returned 99 matches
(100 formulae, 64 docs)
Lookup 696.779 ms, Re-ranking 5570.446 ms
Found 813116 tuple postings, 162979 formulae, 20880 documents
1.0000 0.0000 28.0000
|
|
|
1.0000 -32.0000 35.0000
|
|
|
0.7176 -15.0000 23.0000
|
|
|
0.7176 -19.0000 25.0000
|
|
|
0.5764 -19.0000 19.0000
|
|
|
0.5474 -34.0000 22.0000
|
|
|
0.5404 -38.0000 20.0000
|
|
|
0.4116 -16.0000 14.0000
|
|
|
0.4116 -31.0000 14.0000
|
|
|
0.4116 -32.0000 14.0000
|
|
|
0.4116 -53.0000 14.0000
|
|
|
0.3989 -9.0000 13.0000
|
|
|
0.3880 -8.0000 13.0000
|
|
|
0.3880 -8.0000 13.0000
|
|
|
0.3880 -8.0000 13.0000
|
|
|
0.3880 -9.0000 13.0000
|
|
|
0.3880 -9.0000 13.0000
|
|
|
0.3880 -9.0000 12.0000
|
|
|
0.3880 -11.0000 13.0000
|
|
|
0.3880 -12.0000 13.0000
|
|
|
0.3880 -14.0000 13.0000
|
|
|
0.3880 -17.0000 13.0000
|
|
|
0.3880 -17.0000 13.0000
|
|
|
0.3880 -20.0000 13.0000
|
|
|
0.3880 -22.0000 13.0000
|
|
|
0.3880 -23.0000 9.0000
|
|
|
0.3516 -4.0000 10.0000
|
|
|
0.3409 -7.0000 10.0000
|
|
|
0.3396 -8.0000 16.0000
|
|
|
0.3379 -14.0000 13.0000
|
|
|
0.3280 -3.0000 12.0000
|
|
|
0.3280 -5.0000 12.0000
|
|
|
0.3173 -19.0000 10.0000
|
|
|
0.3173 -24.0000 12.0000
|
|
|
0.3173 -25.0000 10.0000
|
|
|
0.3074 -34.0000 11.0000
|
|
|
0.3043 -20.0000 11.0000
|
|
|
0.2938 -14.0000 10.0000
|
|
|
0.2830 -5.0000 13.0000
|
|
|
0.2830 -11.0000 12.0000
|
|
|
0.2830 -13.0000 12.0000
|
|
|
0.2830 -14.0000 12.0000
|
|
|
0.2807 -17.0000 11.0000
|
|
|
0.2750 -33.0000 12.0000
|
|
|
0.2750 -42.0000 12.0000
|
|
|
0.2702 0.0000 10.0000
|
|
|
0.2702 -3.0000 10.0000
|
|
|
0.2702 -7.0000 10.0000
|
|
|
0.2702 -7.0000 10.0000
|
|
|
0.2702 -9.0000 10.0000
|
|
|
0.2702 -15.0000 8.0000
|
|
|
0.2702 -19.0000 10.0000
|
|
|
0.2702 -20.0000 10.0000
|
|
|
0.2702 -28.0000 10.0000
|
|
|
0.2702 -29.0000 10.0000
|
|
|
0.2702 -32.0000 10.0000
|
|
|
0.2702 -32.0000 10.0000
|
|
|
0.2702 -39.0000 10.0000
|
|
|
0.2702 -50.0000 10.0000
|
|
|
0.2570 -4.0000 8.0000
|
|
|
0.2508 -31.0000 11.0000
|
|
|
0.2466 -29.0000 7.0000
|
|
|
0.2466 -30.0000 8.0000
|
|
|
0.2424 -16.0000 8.0000
|
|
|
0.2337 -36.0000 10.0000
|
|
|
0.2332 -32.0000 9.0000
|
|
|
0.2332 -34.0000 9.0000
|
|
|
0.2332 -38.0000 9.0000
|
|
|
0.2332 -43.0000 9.0000
|
|
|
0.2264 -18.0000 12.0000
|
|
|
0.2230 -6.0000 9.0000
|
|
|
0.2230 -7.0000 9.0000
|
|
|
0.2230 -8.0000 9.0000
|
|
|
0.2230 -15.0000 8.0000
|
|
|
0.2230 -18.0000 8.0000
|
|
|
0.2230 -28.0000 7.0000
|
|
|
0.2184 -1.0000 10.0000
|
|
|
0.2184 -2.0000 10.0000
|
|
|
0.2184 -6.0000 9.0000
|
|
|
0.2184 -29.0000 10.0000
|
|
|
0.2184 -31.0000 8.0000
|
|
|
0.2018 -6.0000 9.0000
|
|
|
0.2018 -12.0000 8.0000
|
|
|
0.2018 -14.0000 9.0000
|
|
|
0.1994 -19.0000 7.0000
|
|
|
0.1994 -19.0000 5.0000
|
|
|
0.1994 -21.0000 7.0000
|
|
|
0.1994 -23.0000 7.0000
|
|
|
0.1994 -35.0000 7.0000
|
|
|
0.1942 -21.0000 9.0000
|
|
|
0.1942 -23.0000 9.0000
|
|
|
0.1942 -26.0000 7.0000
|
|
|
0.1770 -12.0000 9.0000
|
|
|
0.1770 -13.0000 7.0000
|
|
|
0.1758 -13.0000 6.0000
|
|
|
0.1616 -9.0000 7.0000
|
|
|
0.1575 -12.0000 6.0000
|
|
|
0.1452 -12.0000 7.0000
|
|
|
0.1285 -12.0000 4.0000
|
|
|