Returned 99 matches
(100 formulae, 63 docs)
Lookup 34.881 ms, Re-ranking 13681.880 ms
Found 408439 tuple postings, 134996 formulae, 19866 documents
1.0000 0.0000 75.0000
|
|
|
0.5704 0.0000 36.0000
|
|
|
0.4426 -16.0000 34.0000
|
|
|
0.4228 -14.0000 24.0000
|
|
|
0.3422 -24.0000 20.0000
|
|
|
0.3257 -37.0000 23.0000
|
|
|
0.3082 -38.0000 24.0000
|
|
|
0.2885 -49.0000 21.0000
|
|
|
0.2679 -52.0000 18.0000
|
|
|
0.2616 -14.0000 20.0000
|
|
|
0.2616 -27.0000 18.0000
|
|
|
0.2616 -30.0000 16.0000
|
|
|
0.2275 -26.0000 14.0000
|
|
|
0.2252 -8.0000 16.0000
|
|
|
0.2213 -5.0000 17.0000
|
|
|
0.2213 -8.0000 13.0000
|
|
|
0.2213 -12.0000 13.0000
|
|
|
0.2213 -17.0000 13.0000
|
|
|
0.2213 -23.0000 13.0000
|
|
|
0.2213 -47.0000 17.0000
|
|
|
0.2213 -119.0000 13.0000
|
|
|
0.2140 -10.0000 15.0000
|
|
|
0.2140 -32.0000 15.0000
|
|
|
0.2140 -37.0000 14.0000
|
|
|
0.2116 -31.0000 15.0000
|
|
|
0.2079 -23.0000 15.0000
|
|
|
0.2062 -74.0000 16.0000
|
|
|
0.2005 -18.0000 15.0000
|
|
|
0.1944 -23.0000 15.0000
|
|
|
0.1944 -38.0000 14.0000
|
|
|
0.1944 -50.0000 15.0000
|
|
|
0.1927 -14.0000 14.0000
|
|
|
0.1871 -3.0000 14.0000
|
|
|
0.1871 -6.0000 14.0000
|
|
|
0.1843 -36.0000 13.0000
|
|
|
0.1810 -12.0000 14.0000
|
|
|
0.1810 -31.0000 11.0000
|
|
|
0.1810 -36.0000 12.0000
|
|
|
0.1791 -11.0000 10.0000
|
|
|
0.1791 -33.0000 12.0000
|
|
|
0.1736 -17.0000 13.0000
|
|
|
0.1705 -10.0000 15.0000
|
|
|
0.1705 -11.0000 15.0000
|
|
|
0.1705 -11.0000 15.0000
|
|
|
0.1705 -13.0000 14.0000
|
|
|
0.1705 -16.0000 14.0000
|
|
|
0.1705 -22.0000 15.0000
|
|
|
0.1676 -14.0000 12.0000
|
|
|
0.1655 -67.0000 13.0000
|
|
|
0.1600 -23.0000 11.0000
|
|
|
0.1600 -30.0000 10.0000
|
|
|
0.1600 -46.0000 11.0000
|
|
|
0.1568 -25.0000 14.0000
|
|
|
0.1541 -7.0000 12.0000
|
|
|
0.1541 -20.0000 12.0000
|
|
|
0.1541 -22.0000 11.0000
|
|
|
0.1541 -28.0000 10.0000
|
|
|
0.1541 -29.0000 12.0000
|
|
|
0.1541 -32.0000 12.0000
|
|
|
0.1541 -32.0000 12.0000
|
|
|
0.1541 -34.0000 12.0000
|
|
|
0.1541 -34.0000 12.0000
|
|
|
0.1541 -35.0000 12.0000
|
|
|
0.1541 -35.0000 12.0000
|
|
|
0.1541 -36.0000 12.0000
|
|
|
0.1541 -39.0000 12.0000
|
|
|
0.1541 -40.0000 9.0000
|
|
|
0.1541 -40.0000 9.0000
|
|
|
0.1541 -47.0000 12.0000
|
|
|
0.1541 -49.0000 12.0000
|
|
|
0.1541 -50.0000 12.0000
|
|
|
0.1541 -50.0000 11.0000
|
|
|
0.1541 -54.0000 11.0000
|
|
|
0.1541 -66.0000 12.0000
|
|
|
0.1519 -14.0000 11.0000
|
|
|
0.1519 -20.0000 9.0000
|
|
|
0.1519 -37.0000 11.0000
|
|
|
0.1519 -39.0000 12.0000
|
|
|
0.1465 -18.0000 11.0000
|
|
|
0.1465 -33.0000 10.0000
|
|
|
0.1465 -33.0000 7.0000
|
|
|
0.1465 -37.0000 10.0000
|
|
|
0.1465 -39.0000 10.0000
|
|
|
0.1465 -42.0000 10.0000
|
|
|
0.1465 -47.0000 10.0000
|
|
|
0.1407 -14.0000 11.0000
|
|
|
0.1407 -15.0000 11.0000
|
|
|
0.1407 -17.0000 9.0000
|
|
|
0.1330 -17.0000 8.0000
|
|
|
0.1330 -19.0000 7.0000
|
|
|
0.1330 -34.0000 9.0000
|
|
|
0.1290 -42.0000 12.0000
|
|
|
0.1272 -11.0000 10.0000
|
|
|
0.1272 -21.0000 10.0000
|
|
|
0.1272 -66.0000 10.0000
|
|
|
0.1245 -21.0000 10.0000
|
|
|
0.1194 -24.0000 9.0000
|
|
|
0.1150 -34.0000 11.0000
|
|
|
0.0897 -26.0000 10.0000
|
|
|