Returned 94 matches
(100 formulae, 105 docs)
Lookup 2585.220 ms, Re-ranking 471.300 ms
Found 26522593 tuple postings, 3619753 formulae, 2091705 documents
0.5995 -6.0000 6.0000
|
|
|
0.5422 -7.0000 5.0000
|
|
|
0.5422 -7.0000 5.0000
|
|
|
0.5096 -7.0000 7.0000
|
|
|
0.4848 -1.0000 5.0000
|
|
|
0.4848 -6.0000 5.0000
|
|
|
0.4848 -11.0000 5.0000
|
|
|
0.4275 -11.0000 5.0000
|
|
|
0.4275 -13.0000 5.0000
|
|
|
0.3934 -3.0000 5.0000
|
|
|
0.3934 -7.0000 4.0000
|
|
|
0.3934 -8.0000 4.0000
|
|
|
0.3700 0.0000 4.0000
|
|
|
0.3700 -1.0000 4.0000
|
|
|
0.3700 -1.0000 4.0000
|
|
|
0.3700 -1.0000 4.0000
|
|
|
0.3700 -4.0000 4.0000
|
|
|
0.3700 -4.0000 4.0000
|
|
|
0.3700 -6.0000 4.0000
|
|
|
0.3700 -6.0000 4.0000
|
|
|
0.3700 -6.0000 4.0000
|
|
|
0.3700 -7.0000 4.0000
|
|
|
0.3700 -7.0000 4.0000
|
|
|
0.3700 -7.0000 4.0000
|
|
|
0.3700 -7.0000 4.0000
|
|
|
0.3700 -7.0000 4.0000
|
|
|
0.3700 -7.0000 4.0000
|
|
|
0.3700 -8.0000 4.0000
|
|
|
0.3700 -8.0000 4.0000
|
|
|
0.3700 -8.0000 4.0000
|
|
|
0.3700 -8.0000 4.0000
|
|
|
0.3700 -8.0000 4.0000
|
|
|
0.3700 -9.0000 5.0000
|
|
|
0.3700 -9.0000 4.0000
|
|
|
0.3700 -9.0000 4.0000
|
|
|
0.3700 -9.0000 4.0000
|
|
|
0.3700 -9.0000 4.0000
|
|
|
0.3700 -9.0000 4.0000
|
|
|
0.3700 -10.0000 4.0000
|
|
|
0.3700 -10.0000 4.0000
|
|
|
0.3700 -10.0000 4.0000
|
|
|
0.3349 -5.0000 4.0000
|
|
|
0.3349 -7.0000 4.0000
|
|
|
0.3349 -10.0000 4.0000
|
|
|
0.3349 -10.0000 4.0000
|
|
|
0.3125 -2.0000 4.0000
|
|
|
0.3125 -6.0000 4.0000
|
|
|
0.3125 -6.0000 4.0000
|
|
|
0.3125 -6.0000 4.0000
|
|
|
0.3125 -7.0000 4.0000
|
|
|
0.3125 -7.0000 4.0000
|
|
|
0.3125 -8.0000 4.0000
|
|
|
0.3125 -8.0000 4.0000
|
|
|
0.3125 -9.0000 4.0000
|
|
|
0.3125 -9.0000 4.0000
|
|
|
0.3125 -10.0000 4.0000
|
|
|
0.3125 -11.0000 4.0000
|
|
|
0.3125 -13.0000 4.0000
|
|
|
0.2932 -14.0000 5.0000
|
|
|
0.2759 -7.0000 4.0000
|
|
|
0.2759 -9.0000 3.0000
|
|
|
0.2759 -9.0000 3.0000
|
|
|
0.2759 -9.0000 2.0000
|
|
|
0.2759 -10.0000 4.0000
|
|
|
0.2759 -11.0000 4.0000
|
|
|
0.2759 -11.0000 2.0000
|
|
|
0.2759 -11.0000 2.0000
|
|
|
0.2759 -11.0000 2.0000
|
|
|
0.2759 -11.0000 2.0000
|
|
|
0.2759 -14.0000 3.0000
|
|
|
0.2759 -14.0000 2.0000
|
|
|
0.2759 -14.0000 2.0000
|
|
|
0.2548 -11.0000 4.0000
|
|
|
0.2548 -12.0000 4.0000
|
|
|
0.2548 -16.0000 4.0000
|
|
|
0.2158 -7.0000 4.0000
|
|
|
0.2158 -10.0000 4.0000
|
|
|
0.2158 -10.0000 4.0000
|
|
|
0.2158 -10.0000 4.0000
|
|
|
0.1967 -7.0000 4.0000
|
|
|
0.1967 -7.0000 3.0000
|
|
|
0.1967 -7.0000 3.0000
|
|
|
0.1967 -8.0000 4.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 3.0000
|
|
|
0.1967 -9.0000 3.0000
|
|
|
0.1967 -9.0000 3.0000
|
|
|
0.1967 -10.0000 4.0000
|
|
|
0.1967 -12.0000 3.0000
|
|
|