Returned 73 matches
(100 formulae, 116 docs)
Lookup 1944.460 ms, Re-ranking 153.795 ms
Found 32923416 tuple postings, 14294925 formulae, 5022737 documents
0.6567 -20.0000 10.0000
|
|
|
0.6484 -5.0000 13.0000
|
|
|
0.6484 -6.0000 12.0000
|
|
|
0.6484 -9.0000 12.0000
|
|
|
0.5699 -9.0000 12.0000
|
|
|
0.5673 -8.0000 10.0000
|
|
|
0.5422 -10.0000 9.0000
|
|
|
0.5422 -16.0000 9.0000
|
|
|
0.5096 -6.0000 8.0000
|
|
|
0.5096 -7.0000 9.0000
|
|
|
0.4730 -6.0000 9.0000
|
|
|
0.4730 -12.0000 9.0000
|
|
|
0.4516 -4.0000 8.0000
|
|
|
0.4516 -9.0000 8.0000
|
|
|
0.3934 -13.0000 7.0000
|
|
|
0.3934 -16.0000 7.0000
|
|
|
0.3700 -9.0000 5.0000
|
|
|
0.3700 -10.0000 5.0000
|
|
|
0.3700 -11.0000 7.0000
|
|
|
0.3700 -11.0000 5.0000
|
|
|
0.3700 -14.0000 6.0000
|
|
|
0.3349 -1.0000 6.0000
|
|
|
0.3349 -2.0000 7.0000
|
|
|
0.3349 -5.0000 7.0000
|
|
|
0.3349 -6.0000 6.0000
|
|
|
0.3349 -8.0000 7.0000
|
|
|
0.3349 -12.0000 6.0000
|
|
|
0.3125 -3.0000 5.0000
|
|
|
0.3125 -11.0000 5.0000
|
|
|
0.3125 -15.0000 6.0000
|
|
|
0.2759 -2.0000 6.0000
|
|
|
0.2759 -6.0000 6.0000
|
|
|
0.2759 -20.0000 5.0000
|
|
|
0.2548 -1.0000 5.0000
|
|
|
0.2548 -2.0000 5.0000
|
|
|
0.2548 -2.0000 4.0000
|
|
|
0.2548 -3.0000 5.0000
|
|
|
0.2548 -3.0000 5.0000
|
|
|
0.2548 -3.0000 5.0000
|
|
|
0.2548 -3.0000 4.0000
|
|
|
0.2548 -3.0000 4.0000
|
|
|
0.2548 -4.0000 5.0000
|
|
|
0.2548 -4.0000 4.0000
|
|
|
0.2548 -4.0000 4.0000
|
|
|
0.2548 -5.0000 4.0000
|
|
|
0.2548 -7.0000 5.0000
|
|
|
0.2548 -7.0000 4.0000
|
|
|
0.2548 -9.0000 5.0000
|
|
|
0.2548 -17.0000 5.0000
|
|
|
0.2308 -2.0000 6.0000
|
|
|
0.2308 -4.0000 6.0000
|
|
|
0.2158 -8.0000 5.0000
|
|
|
0.2158 -8.0000 5.0000
|
|
|
0.2158 -9.0000 5.0000
|
|
|
0.2158 -9.0000 5.0000
|
|
|
0.2158 -11.0000 5.0000
|
|
|
0.2158 -11.0000 5.0000
|
|
|
0.1538 -2.0000 4.0000
|
|
|
0.1538 -3.0000 4.0000
|
|
|
0.1538 -3.0000 4.0000
|
|
|
0.1538 -6.0000 4.0000
|
|
|
0.1538 -8.0000 4.0000
|
|
|
0.1379 -3.0000 3.0000
|
|
|
0.1379 -3.0000 3.0000
|
|
|
0.1379 -4.0000 3.0000
|
|
|
0.1379 -4.0000 3.0000
|
|
|
0.1379 -5.0000 3.0000
|
|
|
0.1379 -5.0000 3.0000
|
|
|
0.1379 -6.0000 3.0000
|
|
|
0.1379 -8.0000 3.0000
|
|
|
0.1379 -9.0000 3.0000
|
|
|
0.1379 -10.0000 3.0000
|
|
|
0.0870 -8.0000 3.0000
|
|
|