Returned 25 matches
(100 formulae, 1468 docs)
Lookup 70.761 ms, Re-ranking 32.608 ms
Found 2988165 tuple postings, 607005 formulae, 693170 documents
0.8163 0.0000 5.0000
|
|
|
0.8163 0.0000 4.0000
|
|
|
0.8163 0.0000 4.0000
|
|
|
0.8163 0.0000 4.0000
|
|
|
0.8163 -1.0000 5.0000
|
|
|
0.8163 -1.0000 5.0000
|
|
|
0.8163 -1.0000 5.0000
|
|
|
0.8163 -1.0000 5.0000
|
|
|
0.8163 -2.0000 5.0000
|
|
|
0.8163 -2.0000 4.0000
|
|
|
0.8163 -3.0000 5.0000
|
|
|
0.8163 -3.0000 5.0000
|
|
|
0.8163 -3.0000 5.0000
|
|
|
0.8163 -3.0000 5.0000
|
|
|
0.6316 0.0000 4.0000
|
|
|
0.6316 -1.0000 4.0000
|
|
|
0.6316 -1.0000 4.0000
|
|
|
0.6316 -1.0000 4.0000
|
|
|
0.6316 -1.0000 4.0000
|
|
|
0.6316 -1.0000 4.0000
|
|
|
0.6316 -1.0000 4.0000
|
|
|
0.6316 -1.0000 4.0000
|
|
|
0.6316 -1.0000 4.0000
|
|
|
0.6316 -4.0000 4.0000
|
|
|
0.6316 -4.0000 4.0000
|
|
|