Returned 99 matches
(100 formulae, 80 docs)
Lookup 402.595 ms, Re-ranking 1300.585 ms
Found 1101455 tuple postings, 181570 formulae, 22149 documents
1.0000 0.0000 8.0000
|
|
|
0.5106 -5.0000 4.0000
|
|
|
0.4348 -2.0000 2.0000
|
|
|
0.4348 -5.0000 2.0000
|
|
|
0.4348 -6.0000 3.0000
|
|
|
0.4054 -5.0000 1.0000
|
|
|
0.4054 -12.0000 1.0000
|
|
|
0.3810 -3.0000 3.0000
|
|
|
0.3810 -3.0000 3.0000
|
|
|
0.3810 -4.0000 2.0000
|
|
|
0.3810 -6.0000 3.0000
|
|
|
0.3810 -8.0000 4.0000
|
|
|
0.3810 -9.0000 2.0000
|
|
|
0.3810 -10.0000 2.0000
|
|
|
0.3582 -1.0000 4.0000
|
|
|
0.3582 -2.0000 3.0000
|
|
|
0.3582 -4.0000 1.0000
|
|
|
0.3582 -8.0000 2.0000
|
|
|
0.3306 0.0000 3.0000
|
|
|
0.3306 0.0000 2.0000
|
|
|
0.3306 0.0000 1.0000
|
|
|
0.3306 -1.0000 2.0000
|
|
|
0.3306 -1.0000 2.0000
|
|
|
0.3306 -1.0000 2.0000
|
|
|
0.3306 -1.0000 2.0000
|
|
|
0.3306 -1.0000 2.0000
|
|
|
0.3306 -1.0000 1.0000
|
|
|
0.3306 -2.0000 2.0000
|
|
|
0.3306 -2.0000 1.0000
|
|
|
0.3306 -3.0000 3.0000
|
|
|
0.3306 -3.0000 2.0000
|
|
|
0.3306 -4.0000 3.0000
|
|
|
0.3306 -4.0000 2.0000
|
|
|
0.3306 -4.0000 2.0000
|
|
|
0.3306 -4.0000 2.0000
|
|
|
0.3306 -5.0000 2.0000
|
|
|
0.3306 -5.0000 2.0000
|
|
|
0.3306 -5.0000 2.0000
|
|
|
0.3306 -5.0000 2.0000
|
|
|
0.3306 -9.0000 2.0000
|
|
|
0.3306 -13.0000 2.0000
|
|
|
0.3306 -15.0000 2.0000
|
|
|
0.3306 -17.0000 2.0000
|
|
|
0.3158 -3.0000 4.0000
|
|
|
0.3158 -4.0000 1.0000
|
|
|
0.3158 -8.0000 2.0000
|
|
|
0.3000 -2.0000 2.0000
|
|
|
0.3000 -2.0000 1.0000
|
|
|
0.3000 -4.0000 3.0000
|
|
|
0.3000 -4.0000 2.0000
|
|
|
0.3000 -4.0000 1.0000
|
|
|
0.3000 -5.0000 3.0000
|
|
|
0.3000 -5.0000 3.0000
|
|
|
0.3000 -7.0000 3.0000
|
|
|
0.3000 -7.0000 2.0000
|
|
|
0.3000 -9.0000 3.0000
|
|
|
0.2804 -3.0000 2.0000
|
|
|
0.2804 -3.0000 1.0000
|
|
|
0.2804 -4.0000 3.0000
|
|
|
0.2804 -4.0000 2.0000
|
|
|
0.2804 -5.0000 3.0000
|
|
|
0.2804 -5.0000 3.0000
|
|
|
0.2804 -5.0000 2.0000
|
|
|
0.2804 -5.0000 2.0000
|
|
|
0.2804 -6.0000 2.0000
|
|
|
0.2804 -6.0000 2.0000
|
|
|
0.2804 -6.0000 2.0000
|
|
|
0.2804 -6.0000 2.0000
|
|
|
0.2804 -6.0000 2.0000
|
|
|
0.2804 -7.0000 3.0000
|
|
|
0.2804 -7.0000 2.0000
|
|
|
0.2804 -8.0000 3.0000
|
|
|
0.2804 -8.0000 2.0000
|
|
|
0.2804 -8.0000 2.0000
|
|
|
0.2804 -8.0000 2.0000
|
|
|
0.2804 -10.0000 2.0000
|
|
|
0.2553 0.0000 1.0000
|
|
|
0.2553 0.0000 1.0000
|
|
|
0.2553 0.0000 1.0000
|
|
|
0.2553 0.0000 1.0000
|
|
|
0.2553 0.0000 0.0000
|
|
|
0.2553 -1.0000 1.0000
|
|
|
0.2553 -1.0000 1.0000
|
|
|
0.2553 -1.0000 1.0000
|
|
|
0.2553 -1.0000 1.0000
|
|
|
0.2553 -1.0000 1.0000
|
|
|
0.2553 -1.0000 1.0000
|
|
|
0.2553 -2.0000 2.0000
|
|
|
0.2553 -2.0000 2.0000
|
|
|
0.2553 -2.0000 1.0000
|
|
|
0.2553 -6.0000 1.0000
|
|
|
0.2553 -6.0000 1.0000
|
|
|
0.2553 -6.0000 0.0000
|
|
|
0.2553 -6.0000 0.0000
|
|
|
0.2553 -7.0000 0.0000
|
|
|
0.2553 -7.0000 0.0000
|
|
|
0.2553 -8.0000 1.0000
|
|
|
0.2151 -2.0000 3.0000
|
|
|
0.2151 -4.0000 3.0000
|
|
|