Returned 60 matches
(100 formulae, 87 docs)
Lookup 177.891 ms, Re-ranking 257.777 ms
Found 796441 tuple postings, 125360 formulae, 20414 documents
1.0000 0.0000 7.0000
|
|
|
1.0000 0.0000 7.0000
|
|
|
1.0000 0.0000 7.0000
|
|
|
1.0000 0.0000 7.0000
|
|
|
1.0000 0.0000 6.0000
|
|
|
1.0000 0.0000 6.0000
|
|
|
1.0000 -1.0000 7.0000
|
|
|
1.0000 -1.0000 7.0000
|
|
|
1.0000 -4.0000 7.0000
|
|
|
0.8944 0.0000 7.0000
|
|
|
0.8944 0.0000 6.0000
|
|
|
0.8944 0.0000 6.0000
|
|
|
0.8944 0.0000 6.0000
|
|
|
0.8944 -1.0000 7.0000
|
|
|
0.8944 -1.0000 6.0000
|
|
|
0.8944 -1.0000 6.0000
|
|
|
0.8944 -1.0000 6.0000
|
|
|
0.8944 -2.0000 6.0000
|
|
|
0.8944 -4.0000 7.0000
|
|
|
0.8344 -1.0000 6.0000
|
|
|
0.8344 -1.0000 6.0000
|
|
|
0.8344 -1.0000 6.0000
|
|
|
0.8344 -1.0000 6.0000
|
|
|
0.8344 -2.0000 6.0000
|
|
|
0.8344 -2.0000 6.0000
|
|
|
0.8344 -2.0000 5.0000
|
|
|
0.8344 -2.0000 5.0000
|
|
|
0.8344 -2.0000 5.0000
|
|
|
0.7887 0.0000 5.0000
|
|
|
0.7887 0.0000 5.0000
|
|
|
0.7887 0.0000 5.0000
|
|
|
0.7887 0.0000 5.0000
|
|
|
0.7887 -1.0000 5.0000
|
|
|
0.7887 -2.0000 6.0000
|
|
|
0.7273 -1.0000 6.0000
|
|
|
0.7273 -1.0000 6.0000
|
|
|
0.7273 -1.0000 5.0000
|
|
|
0.7273 -1.0000 5.0000
|
|
|
0.7273 -1.0000 5.0000
|
|
|
0.7273 -1.0000 5.0000
|
|
|
0.7273 -1.0000 5.0000
|
|
|
0.7273 -2.0000 6.0000
|
|
|
0.7273 -2.0000 5.0000
|
|
|
0.7273 -2.0000 5.0000
|
|
|
0.7273 -2.0000 5.0000
|
|
|
0.7273 -2.0000 5.0000
|
|
|
0.6829 0.0000 5.0000
|
|
|
0.6829 0.0000 4.0000
|
|
|
0.6829 -1.0000 4.0000
|
|
|
0.6829 -1.0000 4.0000
|
|
|
0.6557 -2.0000 5.0000
|
|
|
0.5769 0.0000 4.0000
|
|
|
0.5769 0.0000 4.0000
|
|
|
0.5769 0.0000 4.0000
|
|
|
0.5769 0.0000 4.0000
|
|
|
0.5769 0.0000 4.0000
|
|
|
0.5769 -1.0000 4.0000
|
|
|
0.5769 -1.0000 4.0000
|
|
|
0.4706 0.0000 4.0000
|
|
|
0.4706 -1.0000 4.0000
|
|
|