Returned 95 matches
(100 formulae, 90 docs)
Lookup 312.315 ms, Re-ranking 494.903 ms
Found 1589534 tuple postings, 139465 formulae, 19695 documents
0.8550 -5.0000 14.0000
|
|
|
0.4138 -10.0000 7.0000
|
|
|
0.3934 -7.0000 5.0000
|
|
|
0.3934 -11.0000 6.0000
|
|
|
0.3700 -4.0000 4.0000
|
|
|
0.3700 -10.0000 3.0000
|
|
|
0.3540 -9.0000 4.0000
|
|
|
0.3125 -12.0000 3.0000
|
|
|
0.3125 -17.0000 4.0000
|
|
|
0.2932 -12.0000 2.0000
|
|
|
0.2932 -15.0000 5.0000
|
|
|
0.2759 -8.0000 4.0000
|
|
|
0.2759 -10.0000 4.0000
|
|
|
0.2759 -11.0000 1.0000
|
|
|
0.2759 -14.0000 5.0000
|
|
|
0.2759 -15.0000 3.0000
|
|
|
0.2759 -18.0000 2.0000
|
|
|
0.2548 -9.0000 4.0000
|
|
|
0.2548 -9.0000 4.0000
|
|
|
0.2428 -13.0000 4.0000
|
|
|
0.2308 -7.0000 4.0000
|
|
|
0.2308 -11.0000 3.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 -6.0000 4.0000
|
|
|
0.2158 -6.0000 4.0000
|
|
|
0.2158 -6.0000 3.0000
|
|
|
0.2158 -7.0000 4.0000
|
|
|
0.2158 -7.0000 4.0000
|
|
|
0.2158 -8.0000 4.0000
|
|
|
0.2158 -8.0000 4.0000
|
|
|
0.2158 -9.0000 4.0000
|
|
|
0.2158 -9.0000 4.0000
|
|
|
0.2158 -11.0000 4.0000
|
|
|
0.2158 -13.0000 3.0000
|
|
|
0.1967 -4.0000 3.0000
|
|
|
0.1967 -6.0000 3.0000
|
|
|
0.1967 -6.0000 3.0000
|
|
|
0.1967 -6.0000 3.0000
|
|
|
0.1967 -6.0000 3.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 -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 -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 -10.0000 3.0000
|
|
|
0.1967 -10.0000 3.0000
|
|
|
0.1967 -10.0000 3.0000
|
|
|
0.1967 -10.0000 3.0000
|
|
|
0.1967 -10.0000 3.0000
|
|
|
0.1967 -10.0000 3.0000
|
|
|
0.1967 -10.0000 3.0000
|
|
|
0.1967 -11.0000 3.0000
|
|
|
0.1967 -11.0000 3.0000
|
|
|
0.1967 -11.0000 3.0000
|
|
|
0.1967 -11.0000 3.0000
|
|
|
0.1967 -12.0000 4.0000
|
|
|
0.1967 -13.0000 3.0000
|
|
|
0.1967 -13.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 3.0000
|
|
|
0.1967 -14.0000 3.0000
|
|
|
0.1967 -18.0000 3.0000
|
|
|
0.1967 -20.0000 3.0000
|
|
|
0.1538 -9.0000 3.0000
|
|
|
0.1379 -4.0000 2.0000
|
|
|
0.1379 -7.0000 2.0000
|
|
|
0.1379 -7.0000 2.0000
|
|
|
0.1379 -7.0000 2.0000
|
|
|
0.1379 -7.0000 2.0000
|
|
|