Returned 32 matches
(100 formulae, 270 docs)
Lookup 499.672 ms, Re-ranking 23.337 ms
Found 6441993 tuple postings, 4610525 formulae, 2958242 documents
0.5882 -2.0000 4.0000
|
|
|
0.5333 -1.0000 3.0000
|
|
|
0.4211 -1.0000 3.0000
|
|
|
0.4211 -1.0000 3.0000
|
|
|
0.4211 -1.0000 2.0000
|
|
|
0.3750 0.0000 3.0000
|
|
|
0.3750 0.0000 2.0000
|
|
|
0.3750 -1.0000 3.0000
|
|
|
0.3750 -1.0000 3.0000
|
|
|
0.3750 -1.0000 2.0000
|
|
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
|
|
0.3750 -1.0000 2.0000
|
|
|
0.3750 -1.0000 2.0000
|
|
|
0.3750 -2.0000 3.0000
|
|
|
0.3750 -2.0000 2.0000
|
|
|
0.3750 -2.0000 2.0000
|
|
|
0.3750 -2.0000 2.0000
|
|
|
0.3750 -2.0000 2.0000
|
|
|
0.3750 -3.0000 3.0000
|
|
|
0.3750 -5.0000 3.0000
|
|
|
0.3750 -6.0000 2.0000
|
|
|
0.2581 -5.0000 1.0000
|
|
|
0.2400 -1.0000 3.0000
|
|
|
0.2400 -1.0000 1.0000
|
|
|
0.2400 -1.0000 1.0000
|
|
|
0.2400 -2.0000 1.0000
|
|
|
0.2105 -1.0000 2.0000
|
|
|
0.2105 -2.0000 2.0000
|
|
|
0.2105 -2.0000 2.0000
|
|
|
0.2105 -2.0000 2.0000
|
|
|
0.2105 -3.0000 2.0000
|
|
|
0.1053 -2.0000 1.0000
|
|
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
|
0.1053 -2.0000 1.0000
|
|
|