Returned 98 matches
(100 formulae, 76 docs)
Lookup 7.920 ms, Re-ranking 845.291 ms
Found 102191 tuple postings, 57433 formulae, 13001 documents
1.0000 0.0000 29.0000
|
|
|
0.6302 -4.0000 19.0000
|
|
|
0.6138 -19.0000 10.0000
|
|
|
0.5598 -9.0000 11.0000
|
|
|
0.5598 -12.0000 9.0000
|
|
|
0.5042 -22.0000 10.0000
|
|
|
0.4893 -4.0000 7.0000
|
|
|
0.4688 -22.0000 10.0000
|
|
|
0.4187 -3.0000 7.0000
|
|
|
0.4187 -17.0000 7.0000
|
|
|
0.3679 -10.0000 6.0000
|
|
|
0.3480 -5.0000 7.0000
|
|
|
0.3480 -6.0000 6.0000
|
|
|
0.3480 -7.0000 6.0000
|
|
|
0.3480 -14.0000 8.0000
|
|
|
0.3480 -30.0000 9.0000
|
|
|
0.3327 -8.0000 6.0000
|
|
|
0.3327 -15.0000 7.0000
|
|
|
0.3327 -18.0000 6.0000
|
|
|
0.3259 -19.0000 7.0000
|
|
|
0.3259 -20.0000 7.0000
|
|
|
0.3125 -7.0000 5.0000
|
|
|
0.3125 -9.0000 6.0000
|
|
|
0.3125 -10.0000 6.0000
|
|
|
0.3125 -11.0000 7.0000
|
|
|
0.3125 -27.0000 8.0000
|
|
|
0.3014 -7.0000 7.0000
|
|
|
0.2975 -4.0000 6.0000
|
|
|
0.2975 -5.0000 6.0000
|
|
|
0.2975 -9.0000 7.0000
|
|
|
0.2975 -18.0000 6.0000
|
|
|
0.2975 -25.0000 6.0000
|
|
|
0.2899 -9.0000 7.0000
|
|
|
0.2899 -13.0000 7.0000
|
|
|
0.2769 -10.0000 6.0000
|
|
|
0.2769 -18.0000 7.0000
|
|
|
0.2623 -2.0000 6.0000
|
|
|
0.2623 -3.0000 7.0000
|
|
|
0.2623 -4.0000 6.0000
|
|
|
0.2623 -4.0000 6.0000
|
|
|
0.2623 -5.0000 6.0000
|
|
|
0.2623 -5.0000 6.0000
|
|
|
0.2623 -6.0000 6.0000
|
|
|
0.2623 -7.0000 6.0000
|
|
|
0.2623 -10.0000 5.0000
|
|
|
0.2623 -13.0000 6.0000
|
|
|
0.2623 -17.0000 6.0000
|
|
|
0.2535 -9.0000 6.0000
|
|
|
0.2535 -13.0000 6.0000
|
|
|
0.2412 -7.0000 7.0000
|
|
|
0.2412 -8.0000 7.0000
|
|
|
0.2412 -8.0000 5.0000
|
|
|
0.2412 -9.0000 7.0000
|
|
|
0.2412 -13.0000 7.0000
|
|
|
0.2412 -14.0000 7.0000
|
|
|
0.2412 -17.0000 6.0000
|
|
|
0.2270 -2.0000 5.0000
|
|
|
0.2270 -4.0000 6.0000
|
|
|
0.2270 -5.0000 5.0000
|
|
|
0.2270 -6.0000 5.0000
|
|
|
0.2270 -7.0000 5.0000
|
|
|
0.2270 -10.0000 5.0000
|
|
|
0.2270 -10.0000 4.0000
|
|
|
0.2270 -11.0000 6.0000
|
|
|
0.2270 -12.0000 3.0000
|
|
|
0.2270 -13.0000 4.0000
|
|
|
0.2270 -17.0000 6.0000
|
|
|
0.2168 -7.0000 5.0000
|
|
|
0.2168 -16.0000 6.0000
|
|
|
0.2053 -5.0000 5.0000
|
|
|
0.2053 -8.0000 6.0000
|
|
|
0.2053 -10.0000 6.0000
|
|
|
0.2053 -11.0000 6.0000
|
|
|
0.1917 -9.0000 5.0000
|
|
|
0.1917 -9.0000 3.0000
|
|
|
0.1917 -10.0000 5.0000
|
|
|
0.1917 -10.0000 5.0000
|
|
|
0.1917 -12.0000 6.0000
|
|
|
0.1917 -12.0000 5.0000
|
|
|
0.1917 -12.0000 5.0000
|
|
|
0.1917 -16.0000 4.0000
|
|
|
0.1917 -18.0000 5.0000
|
|
|
0.1917 -23.0000 5.0000
|
|
|
0.1917 -29.0000 5.0000
|
|
|
0.1690 -4.0000 5.0000
|
|
|
0.1690 -12.0000 5.0000
|
|
|
0.1690 -12.0000 5.0000
|
|
|
0.1562 -11.0000 4.0000
|
|
|
0.1412 -5.0000 5.0000
|
|
|
0.1412 -8.0000 5.0000
|
|
|
0.1412 -9.0000 5.0000
|
|
|
0.1412 -9.0000 5.0000
|
|
|
0.1412 -9.0000 5.0000
|
|
|
0.1412 -11.0000 5.0000
|
|
|
0.1412 -13.0000 5.0000
|
|
|
0.1412 -15.0000 5.0000
|
|
|
0.1412 -16.0000 5.0000
|
|
|
0.1322 -11.0000 5.0000
|
|
|