Returned 40 matches
(100 formulae, 2773 docs)
Lookup 29.428 ms, Re-ranking 19.370 ms
Found 226001 tuple postings, 58353 formulae, 69658 documents
1.0000 0.0000 3.0000
|
|
|
1.0000 0.0000 2.0000
|
|
|
1.0000 0.0000 2.0000
|
|
|
1.0000 -1.0000 3.0000
|
|
|
1.0000 -1.0000 3.0000
|
|
|
1.0000 -1.0000 3.0000
|
|
|
1.0000 -1.0000 3.0000
|
|
|
1.0000 -1.0000 3.0000
|
|
|
1.0000 -2.0000 3.0000
|
|
|
1.0000 -2.0000 3.0000
|
|
|
1.0000 -2.0000 3.0000
|
|
|
1.0000 -2.0000 3.0000
|
|
|
1.0000 -2.0000 3.0000
|
|
|
1.0000 -3.0000 3.0000
|
|
|
1.0000 -3.0000 3.0000
|
|
|
1.0000 -3.0000 3.0000
|
|
|
1.0000 -3.0000 3.0000
|
|
|
1.0000 -3.0000 3.0000
|
|
|
1.0000 -3.0000 3.0000
|
|
|
1.0000 -3.0000 3.0000
|
|
|
1.0000 -3.0000 3.0000
|
|
|
1.0000 -3.0000 3.0000
|
|
|
1.0000 -3.0000 3.0000
|
|
|
1.0000 -3.0000 2.0000
|
|
|
1.0000 -4.0000 3.0000
|
|
|
1.0000 -4.0000 3.0000
|
|
|
1.0000 -4.0000 3.0000
|
|
|
1.0000 -4.0000 3.0000
|
|
|
1.0000 -4.0000 3.0000
|
|
|
1.0000 -4.0000 3.0000
|
|
|
1.0000 -4.0000 3.0000
|
|
|
1.0000 -4.0000 3.0000
|
|
|
1.0000 -4.0000 2.0000
|
|
|
1.0000 -4.0000 2.0000
|
|
|
0.5714 0.0000 2.0000
|
|
|
0.5714 -1.0000 2.0000
|
|
|
0.5714 -1.0000 2.0000
|
|
|
0.5714 -1.0000 2.0000
|
|
|
0.5714 -1.0000 2.0000
|
|
|
0.5714 -1.0000 2.0000
|
|
|