Returned 59 matches
(100 formulae, 124 docs)
Lookup 445.164 ms, Re-ranking 253.556 ms
Found 12162619 tuple postings, 643419 formulae, 520555 documents
0.5638 0.0000 4.0000
|
|
|
0.5638 -3.0000 4.0000
|
|
|
0.4762 0.0000 4.0000
|
|
|
0.4762 -1.0000 4.0000
|
|
|
0.4762 -1.0000 4.0000
|
|
|
0.4762 -1.0000 4.0000
|
|
|
0.4762 -1.0000 3.0000
|
|
|
0.3883 -2.0000 4.0000
|
|
|
0.3883 -2.0000 3.0000
|
|
|
0.3883 -4.0000 4.0000
|
|
|
0.3883 -4.0000 2.0000
|
|
|
0.3883 -5.0000 5.0000
|
|
|
0.3883 -5.0000 3.0000
|
|
|
0.3883 -5.0000 3.0000
|
|
|
0.3883 -5.0000 2.0000
|
|
|
0.3883 -5.0000 2.0000
|
|
|
0.3883 -6.0000 3.0000
|
|
|
0.3883 -6.0000 3.0000
|
|
|
0.3883 -6.0000 3.0000
|
|
|
0.3883 -6.0000 2.0000
|
|
|
0.3883 -7.0000 3.0000
|
|
|
0.3883 -7.0000 3.0000
|
|
|
0.3883 -7.0000 3.0000
|
|
|
0.3883 -7.0000 3.0000
|
|
|
0.3883 -8.0000 3.0000
|
|
|
0.3883 -8.0000 3.0000
|
|
|
0.3883 -8.0000 3.0000
|
|
|
0.3883 -8.0000 3.0000
|
|
|
0.3883 -8.0000 3.0000
|
|
|
0.3883 -9.0000 3.0000
|
|
|
0.3883 -9.0000 3.0000
|
|
|
0.3883 -9.0000 3.0000
|
|
|
0.3883 -9.0000 3.0000
|
|
|
0.3883 -9.0000 3.0000
|
|
|
0.3883 -9.0000 2.0000
|
|
|
0.3883 -9.0000 2.0000
|
|
|
0.3297 -9.0000 4.0000
|
|
|
0.3000 -3.0000 4.0000
|
|
|
0.3000 -5.0000 4.0000
|
|
|
0.3000 -5.0000 4.0000
|
|
|
0.3000 -5.0000 3.0000
|
|
|
0.3000 -6.0000 4.0000
|
|
|
0.3000 -6.0000 4.0000
|
|
|
0.3000 -6.0000 4.0000
|
|
|
0.3000 -6.0000 4.0000
|
|
|
0.3000 -6.0000 4.0000
|
|
|
0.3000 -6.0000 4.0000
|
|
|
0.3000 -6.0000 4.0000
|
|
|
0.3000 -6.0000 3.0000
|
|
|
0.3000 -6.0000 3.0000
|
|
|
0.3000 -6.0000 3.0000
|
|
|
0.3000 -8.0000 4.0000
|
|
|
0.3000 -8.0000 4.0000
|
|
|
0.3000 -10.0000 4.0000
|
|
|
0.3000 -10.0000 4.0000
|
|
|
0.3000 -10.0000 4.0000
|
|
|
0.3000 -10.0000 4.0000
|
|
|
0.3000 -10.0000 4.0000
|
|
|
0.3000 -10.0000 4.0000
|
|
|