Returned 90 matches
(100 formulae, 80 docs)
Lookup 11.889 ms, Re-ranking 719.777 ms
Found 149682 tuple postings, 83810 formulae, 16394 documents
1.0000 0.0000 29.0000
|
|
|
0.6490 -33.0000 17.0000
|
|
|
0.6302 -8.0000 13.0000
|
|
|
0.6302 -13.0000 13.0000
|
|
|
0.5950 -15.0000 10.0000
|
|
|
0.5895 -23.0000 10.0000
|
|
|
0.4733 -2.0000 7.0000
|
|
|
0.4688 -10.0000 11.0000
|
|
|
0.4382 -10.0000 9.0000
|
|
|
0.4332 -15.0000 10.0000
|
|
|
0.4332 -15.0000 8.0000
|
|
|
0.3976 -13.0000 8.0000
|
|
|
0.3976 -19.0000 8.0000
|
|
|
0.3679 -3.0000 7.0000
|
|
|
0.3679 -4.0000 9.0000
|
|
|
0.3679 -4.0000 7.0000
|
|
|
0.3679 -6.0000 7.0000
|
|
|
0.3679 -9.0000 11.0000
|
|
|
0.3679 -9.0000 7.0000
|
|
|
0.3679 -10.0000 7.0000
|
|
|
0.3480 -7.0000 9.0000
|
|
|
0.3480 -9.0000 7.0000
|
|
|
0.3380 -11.0000 7.0000
|
|
|
0.3327 0.0000 6.0000
|
|
|
0.3327 -5.0000 8.0000
|
|
|
0.3125 -6.0000 7.0000
|
|
|
0.3125 -7.0000 7.0000
|
|
|
0.3125 -9.0000 8.0000
|
|
|
0.3125 -13.0000 7.0000
|
|
|
0.3125 -16.0000 7.0000
|
|
|
0.3125 -16.0000 7.0000
|
|
|
0.3125 -21.0000 7.0000
|
|
|
0.3014 -6.0000 9.0000
|
|
|
0.2975 -3.0000 6.0000
|
|
|
0.2975 -4.0000 7.0000
|
|
|
0.2975 -4.0000 6.0000
|
|
|
0.2769 -2.0000 6.0000
|
|
|
0.2769 -9.0000 7.0000
|
|
|
0.2769 -12.0000 7.0000
|
|
|
0.2769 -13.0000 8.0000
|
|
|
0.2769 -15.0000 7.0000
|
|
|
0.2769 -16.0000 7.0000
|
|
|
0.2623 -13.0000 5.0000
|
|
|
0.2535 -4.0000 6.0000
|
|
|
0.2535 -11.0000 6.0000
|
|
|
0.2412 -4.0000 6.0000
|
|
|
0.2412 -6.0000 7.0000
|
|
|
0.2412 -6.0000 6.0000
|
|
|
0.2412 -6.0000 6.0000
|
|
|
0.2412 -7.0000 7.0000
|
|
|
0.2412 -24.0000 7.0000
|
|
|
0.2270 -8.0000 7.0000
|
|
|
0.2270 -9.0000 7.0000
|
|
|
0.2053 -2.0000 6.0000
|
|
|
0.2053 -2.0000 6.0000
|
|
|
0.2053 -4.0000 6.0000
|
|
|
0.2053 -10.0000 3.0000
|
|
|
0.1917 -1.0000 6.0000
|
|
|
0.1690 -5.0000 6.0000
|
|
|
0.1690 -6.0000 6.0000
|
|
|
0.1690 -7.0000 6.0000
|
|
|
0.1690 -9.0000 6.0000
|
|
|
0.1690 -11.0000 6.0000
|
|
|
0.1690 -14.0000 6.0000
|
|
|
0.1690 -22.0000 6.0000
|
|
|
0.1562 -1.0000 5.0000
|
|
|
0.1562 -1.0000 5.0000
|
|
|
0.1562 -2.0000 5.0000
|
|
|
0.1562 -2.0000 5.0000
|
|
|
0.1562 -2.0000 5.0000
|
|
|
0.1562 -2.0000 5.0000
|
|
|
0.1562 -3.0000 5.0000
|
|
|
0.1562 -3.0000 5.0000
|
|
|
0.1562 -4.0000 5.0000
|
|
|
0.1562 -4.0000 5.0000
|
|
|
0.1562 -5.0000 5.0000
|
|
|
0.1562 -5.0000 5.0000
|
|
|
0.1562 -6.0000 5.0000
|
|
|
0.1562 -7.0000 5.0000
|
|
|
0.1562 -7.0000 5.0000
|
|
|
0.1562 -7.0000 5.0000
|
|
|
0.1562 -7.0000 5.0000
|
|
|
0.1562 -8.0000 5.0000
|
|
|
0.1562 -8.0000 5.0000
|
|
|
0.1562 -10.0000 5.0000
|
|
|
0.1562 -20.0000 5.0000
|
|
|
0.1484 -15.0000 7.0000
|
|
|
0.1412 -7.0000 6.0000
|
|
|
0.1412 -11.0000 6.0000
|
|
|
0.1322 -16.0000 5.0000
|
|
|