Returned 46 matches
(100 formulae, 70 docs)
Lookup 51.508 ms, Re-ranking 392.316 ms
Found 318576 tuple postings, 88356 formulae, 17669 documents
1.0000 0.0000 3.0000
|
|
|
1.0000 0.0000 3.0000
|
|
|
1.0000 0.0000 3.0000
|
|
|
1.0000 0.0000 3.0000
|
|
|
1.0000 0.0000 3.0000
|
|
|
1.0000 0.0000 3.0000
|
|
|
1.0000 0.0000 3.0000
|
|
|
1.0000 0.0000 3.0000
|
|
|
1.0000 0.0000 3.0000
|
|
|
1.0000 0.0000 3.0000
|
|
|
1.0000 0.0000 3.0000
|
|
|
1.0000 0.0000 3.0000
|
|
|
1.0000 0.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 -1.0000 3.0000
|
|
|
1.0000 -1.0000 3.0000
|
|
|
1.0000 -2.0000 3.0000
|
|
|
1.0000 -2.0000 3.0000
|
|
|
0.8944 -4.0000 3.0000
|
|
|
0.7887 -1.0000 2.0000
|
|
|
0.7887 -4.0000 2.0000
|
|
|
0.7887 -4.0000 2.0000
|
|
|
0.7887 -5.0000 2.0000
|
|
|
0.7887 -5.0000 2.0000
|
|
|
0.7887 -6.0000 2.0000
|
|
|
0.6829 0.0000 2.0000
|
|
|
0.6829 0.0000 2.0000
|
|
|
0.6829 0.0000 2.0000
|
|
|
0.6829 0.0000 2.0000
|
|
|
0.6829 0.0000 2.0000
|
|
|
0.6829 0.0000 2.0000
|
|
|
0.6829 0.0000 2.0000
|
|
|
0.6829 0.0000 2.0000
|
|
|
0.6829 0.0000 2.0000
|
|
|
0.6829 0.0000 2.0000
|
|
|
0.6829 0.0000 2.0000
|
|
|
0.6829 -1.0000 2.0000
|
|
|
0.6829 -1.0000 2.0000
|
|
|
0.6829 -1.0000 2.0000
|
|
|
0.6829 -1.0000 2.0000
|
|
|
0.6829 -1.0000 2.0000
|
|
|
0.6829 -1.0000 2.0000
|
|
|
0.6829 -1.0000 2.0000
|
|
|