Returned 95 matches
(100 formulae, 88 docs)
Lookup 63.572 ms, Re-ranking 717.984 ms
Found 412672 tuple postings, 65744 formulae, 13795 documents
0.8550 -5.0000 14.0000
|
|
|
0.4516 -1.0000 3.0000
|
|
|
0.4138 -10.0000 7.0000
|
|
|
0.3934 -7.0000 5.0000
|
|
|
0.3934 -9.0000 6.0000
|
|
|
0.3700 -4.0000 4.0000
|
|
|
0.3700 -6.0000 4.0000
|
|
|
0.3700 -6.0000 4.0000
|
|
|
0.3700 -15.0000 4.0000
|
|
|
0.3700 -18.0000 5.0000
|
|
|
0.3349 -5.0000 4.0000
|
|
|
0.3349 -6.0000 4.0000
|
|
|
0.3349 -10.0000 4.0000
|
|
|
0.3349 -11.0000 4.0000
|
|
|
0.3125 -6.0000 4.0000
|
|
|
0.3125 -6.0000 4.0000
|
|
|
0.3125 -7.0000 4.0000
|
|
|
0.3125 -12.0000 3.0000
|
|
|
0.3125 -16.0000 4.0000
|
|
|
0.3125 -17.0000 4.0000
|
|
|
0.2932 -12.0000 2.0000
|
|
|
0.2759 -3.0000 3.0000
|
|
|
0.2759 -7.0000 3.0000
|
|
|
0.2759 -8.0000 4.0000
|
|
|
0.2759 -9.0000 3.0000
|
|
|
0.2759 -10.0000 4.0000
|
|
|
0.2759 -11.0000 1.0000
|
|
|
0.2759 -17.0000 4.0000
|
|
|
0.2759 -17.0000 2.0000
|
|
|
0.2759 -18.0000 2.0000
|
|
|
0.2759 -22.0000 3.0000
|
|
|
0.2548 -7.0000 4.0000
|
|
|
0.2308 -11.0000 2.0000
|
|
|
0.2158 -5.0000 5.0000
|
|
|
0.2158 -5.0000 4.0000
|
|
|
0.2158 -6.0000 4.0000
|
|
|
0.2158 -6.0000 4.0000
|
|
|
0.2158 -8.0000 4.0000
|
|
|
0.2158 -9.0000 4.0000
|
|
|
0.2158 -9.0000 2.0000
|
|
|
0.2158 -11.0000 4.0000
|
|
|
0.2158 -11.0000 4.0000
|
|
|
0.2158 -13.0000 4.0000
|
|
|
0.2158 -17.0000 4.0000
|
|
|
0.2158 -18.0000 3.0000
|
|
|
0.1967 -3.0000 3.0000
|
|
|
0.1967 -4.0000 3.0000
|
|
|
0.1967 -4.0000 3.0000
|
|
|
0.1967 -4.0000 3.0000
|
|
|
0.1967 -5.0000 3.0000
|
|
|
0.1967 -5.0000 3.0000
|
|
|
0.1967 -5.0000 3.0000
|
|
|
0.1967 -5.0000 3.0000
|
|
|
0.1967 -5.0000 2.0000
|
|
|
0.1967 -6.0000 3.0000
|
|
|
0.1967 -6.0000 3.0000
|
|
|
0.1967 -6.0000 3.0000
|
|
|
0.1967 -7.0000 3.0000
|
|
|
0.1967 -7.0000 3.0000
|
|
|
0.1967 -7.0000 3.0000
|
|
|
0.1967 -7.0000 3.0000
|
|
|
0.1967 -8.0000 3.0000
|
|
|
0.1967 -8.0000 3.0000
|
|
|
0.1967 -8.0000 3.0000
|
|
|
0.1967 -8.0000 3.0000
|
|
|
0.1967 -8.0000 3.0000
|
|
|
0.1967 -8.0000 3.0000
|
|
|
0.1967 -8.0000 3.0000
|
|
|
0.1967 -8.0000 3.0000
|
|
|
0.1967 -9.0000 4.0000
|
|
|
0.1967 -9.0000 4.0000
|
|
|
0.1967 -9.0000 3.0000
|
|
|
0.1967 -9.0000 3.0000
|
|
|
0.1967 -9.0000 3.0000
|
|
|
0.1967 -9.0000 3.0000
|
|
|
0.1967 -9.0000 3.0000
|
|
|
0.1967 -9.0000 3.0000
|
|
|
0.1967 -9.0000 3.0000
|
|
|
0.1967 -12.0000 4.0000
|
|
|
0.1967 -12.0000 3.0000
|
|
|
0.1967 -12.0000 3.0000
|
|
|
0.1967 -12.0000 3.0000
|
|
|
0.1967 -13.0000 3.0000
|
|
|
0.1967 -13.0000 3.0000
|
|
|
0.1967 -13.0000 3.0000
|
|
|
0.1967 -14.0000 4.0000
|
|
|
0.1967 -14.0000 3.0000
|
|
|
0.1967 -14.0000 3.0000
|
|
|
0.1967 -14.0000 3.0000
|
|
|
0.1967 -14.0000 3.0000
|
|
|
0.1967 -14.0000 3.0000
|
|
|
0.1967 -14.0000 3.0000
|
|
|
0.1538 -9.0000 3.0000
|
|
|
0.1538 -9.0000 1.0000
|
|
|
0.1379 -7.0000 2.0000
|
|
|