Returned 69 matches
(100 formulae, 137 docs)
Lookup 234.524 ms, Re-ranking 131.789 ms
Found 5078504 tuple postings, 3924222 formulae, 2243902 documents
0.6545 -3.0000 6.0000
|
|
|
0.5854 -4.0000 6.0000
|
|
|
0.5161 0.0000 5.0000
|
|
|
0.5161 0.0000 5.0000
|
|
|
0.5161 -1.0000 6.0000
|
|
|
0.5161 -1.0000 5.0000
|
|
|
0.5161 -2.0000 6.0000
|
|
|
0.5161 -2.0000 6.0000
|
|
|
0.5161 -3.0000 7.0000
|
|
|
0.5161 -3.0000 6.0000
|
|
|
0.5161 -4.0000 6.0000
|
|
|
0.5161 -4.0000 5.0000
|
|
|
0.5161 -4.0000 5.0000
|
|
|
0.5161 -5.0000 6.0000
|
|
|
0.5161 -6.0000 6.0000
|
|
|
0.4468 0.0000 5.0000
|
|
|
0.4468 -1.0000 5.0000
|
|
|
0.4468 -1.0000 5.0000
|
|
|
0.4468 -1.0000 5.0000
|
|
|
0.4468 -1.0000 5.0000
|
|
|
0.4468 -1.0000 5.0000
|
|
|
0.4468 -1.0000 5.0000
|
|
|
0.4468 -1.0000 5.0000
|
|
|
0.4468 -1.0000 5.0000
|
|
|
0.4468 -1.0000 4.0000
|
|
|
0.4468 -2.0000 5.0000
|
|
|
0.4468 -2.0000 5.0000
|
|
|
0.4468 -2.0000 5.0000
|
|
|
0.4468 -2.0000 5.0000
|
|
|
0.4468 -2.0000 4.0000
|
|
|
0.4468 -3.0000 6.0000
|
|
|
0.4468 -7.0000 6.0000
|
|
|
0.4468 -7.0000 6.0000
|
|
|
0.4468 -11.0000 6.0000
|
|
|
0.4046 -1.0000 5.0000
|
|
|
0.3774 0.0000 6.0000
|
|
|
0.3774 -1.0000 5.0000
|
|
|
0.3774 -1.0000 5.0000
|
|
|
0.3774 -1.0000 5.0000
|
|
|
0.3774 -1.0000 5.0000
|
|
|
0.3774 -2.0000 6.0000
|
|
|
0.3774 -2.0000 5.0000
|
|
|
0.3774 -2.0000 5.0000
|
|
|
0.3774 -2.0000 5.0000
|
|
|
0.3774 -2.0000 5.0000
|
|
|
0.3774 -3.0000 5.0000
|
|
|
0.3774 -3.0000 5.0000
|
|
|
0.3774 -3.0000 5.0000
|
|
|
0.3774 -3.0000 5.0000
|
|
|
0.3774 -3.0000 5.0000
|
|
|
0.3774 -3.0000 4.0000
|
|
|
0.3774 -7.0000 6.0000
|
|
|
0.3774 -7.0000 6.0000
|
|
|
0.3077 -1.0000 5.0000
|
|
|
0.3077 -1.0000 5.0000
|
|
|
0.3077 -2.0000 5.0000
|
|
|
0.3077 -2.0000 5.0000
|
|
|
0.3077 -2.0000 5.0000
|
|
|
0.3077 -3.0000 5.0000
|
|
|
0.3077 -3.0000 5.0000
|
|
|
0.3077 -3.0000 4.0000
|
|
|
0.3077 -4.0000 5.0000
|
|
|
0.3077 -4.0000 4.0000
|
|
|
0.3077 -4.0000 4.0000
|
|
|
0.2376 -3.0000 3.0000
|
|
|
0.2376 -4.0000 4.0000
|
|
|
0.2376 -5.0000 4.0000
|
|
|
0.2376 -5.0000 4.0000
|
|
|
0.2376 -5.0000 4.0000
|
|
|