Returned 37 matches
(100 formulae, 256 docs)
Lookup 17.096 ms, Re-ranking 55.623 ms
Found 86238 tuple postings, 40827 formulae, 58688 documents
0.3636 -1.0000 4.0000
|
|
|
0.3636 -1.0000 3.0000
|
|
|
0.3636 -2.0000 4.0000
|
|
|
0.3636 -2.0000 3.0000
|
|
|
0.3636 -2.0000 3.0000
|
|
|
0.3636 -2.0000 3.0000
|
|
|
0.3636 -2.0000 3.0000
|
|
|
0.3636 -3.0000 4.0000
|
|
|
0.3636 -3.0000 4.0000
|
|
|
0.3636 -3.0000 3.0000
|
|
|
0.3636 -3.0000 3.0000
|
|
|
0.3636 -3.0000 3.0000
|
|
|
0.3636 -3.0000 3.0000
|
|
|
0.3636 -3.0000 3.0000
|
|
|
0.3636 -3.0000 3.0000
|
|
|
0.3636 -3.0000 2.0000
|
|
|
0.3636 -4.0000 3.0000
|
|
|
0.3636 -4.0000 3.0000
|
|
|
0.3636 -4.0000 3.0000
|
|
|
0.3243 0.0000 3.0000
|
|
|
0.3243 -2.0000 3.0000
|
|
|
0.3243 -2.0000 3.0000
|
|
|
0.3243 -3.0000 3.0000
|
|
|
0.3243 -3.0000 3.0000
|
|
|
0.3243 -3.0000 3.0000
|
|
|
0.3243 -3.0000 3.0000
|
|
|
0.3243 -3.0000 3.0000
|
|
|
0.3243 -3.0000 3.0000
|
|
|
0.3243 -3.0000 3.0000
|
|
|
0.3243 -3.0000 3.0000
|
|
|
0.3243 -4.0000 3.0000
|
|
|
0.3243 -4.0000 3.0000
|
|
|
0.3243 -4.0000 3.0000
|
|
|
0.3243 -4.0000 3.0000
|
|
|
0.3243 -5.0000 3.0000
|
|
|
0.3243 -5.0000 3.0000
|
|
|
0.3243 -5.0000 3.0000
|
|
|