Returned 59 matches
(100 formulae, 75 docs)
Lookup 46.463 ms, Re-ranking 111.916 ms
Found 331260 tuple postings, 81199 formulae, 17149 documents
0.8451 -3.0000 2.0000
|
|
|
0.4545 -2.0000 2.0000
|
|
|
0.4545 -2.0000 2.0000
|
|
|
0.4545 -2.0000 2.0000
|
|
|
0.4545 -2.0000 2.0000
|
|
|
0.4545 -2.0000 2.0000
|
|
|
0.4545 -2.0000 2.0000
|
|
|
0.4545 -2.0000 2.0000
|
|
|
0.4545 -2.0000 2.0000
|
|
|
0.4545 -2.0000 2.0000
|
|
|
0.4545 -3.0000 2.0000
|
|
|
0.4545 -3.0000 2.0000
|
|
|
0.4545 -3.0000 2.0000
|
|
|
0.4545 -3.0000 2.0000
|
|
|
0.4545 -3.0000 2.0000
|
|
|
0.4545 -3.0000 2.0000
|
|
|
0.4545 -3.0000 2.0000
|
|
|
0.4545 -3.0000 2.0000
|
|
|
0.4545 -3.0000 2.0000
|
|
|
0.4545 -3.0000 2.0000
|
|
|
0.4545 -3.0000 2.0000
|
|
|
0.4545 -3.0000 2.0000
|
|
|
0.4545 -4.0000 2.0000
|
|
|
0.4545 -4.0000 2.0000
|
|
|
0.4545 -4.0000 2.0000
|
|
|
0.4545 -4.0000 2.0000
|
|
|
0.4545 -4.0000 2.0000
|
|
|
0.4211 -2.0000 2.0000
|
|
|
0.4211 -2.0000 2.0000
|
|
|
0.4211 -2.0000 2.0000
|
|
|
0.4211 -2.0000 2.0000
|
|
|
0.4211 -2.0000 2.0000
|
|
|
0.4211 -2.0000 2.0000
|
|
|
0.4211 -2.0000 2.0000
|
|
|
0.4211 -2.0000 2.0000
|
|
|
0.4211 -2.0000 2.0000
|
|
|
0.4211 -2.0000 2.0000
|
|
|
0.4211 -3.0000 2.0000
|
|
|
0.4211 -3.0000 2.0000
|
|
|
0.4211 -3.0000 2.0000
|
|
|
0.4211 -3.0000 2.0000
|
|
|
0.4211 -4.0000 2.0000
|
|
|
0.4211 -4.0000 2.0000
|
|
|
0.2581 -2.0000 2.0000
|
|
|
0.2581 -2.0000 2.0000
|
|
|
0.2581 -2.0000 2.0000
|
|
|
0.2581 -3.0000 2.0000
|
|
|
0.2581 -3.0000 2.0000
|
|
|
0.2581 -3.0000 2.0000
|
|
|
0.2581 -3.0000 2.0000
|
|
|
0.2581 -4.0000 2.0000
|
|
|
0.2581 -4.0000 2.0000
|
|
|
0.2581 -4.0000 2.0000
|
|
|
0.2581 -5.0000 2.0000
|
|
|
0.2581 -5.0000 2.0000
|
|
|
0.2581 -6.0000 2.0000
|
|
|
0.2581 -6.0000 2.0000
|
|
|
0.2581 -6.0000 2.0000
|
|
|
0.2581 -6.0000 2.0000
|
|
|