Returned 24 matches
(100 formulae, 698 docs)
Lookup 148.552 ms, Re-ranking 19.375 ms
Found 235340 tuple postings, 58991 formulae, 104729 documents
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 -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 -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 -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 -2.0000 3.0000
|
|
|