Returned 32 matches
(100 formulae, 148 docs)
Lookup 541.180 ms, Re-ranking 352.229 ms
Found 9985360 tuple postings, 5006722 formulae, 2757745 documents
0.3167 -10.0000 7.0000
|
|
|
0.2956 -7.0000 6.0000
|
|
|
0.2956 -8.0000 6.0000
|
|
|
0.2956 -9.0000 6.0000
|
|
|
0.2956 -9.0000 6.0000
|
|
|
0.2956 -10.0000 6.0000
|
|
|
0.2410 -5.0000 5.0000
|
|
|
0.2410 -5.0000 5.0000
|
|
|
0.2410 -5.0000 4.0000
|
|
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
|
0.2410 -5.0000 4.0000
|
|
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
|
0.2410 -6.0000 5.0000
|
|
|
0.2410 -6.0000 5.0000
|
|
|
0.2410 -6.0000 4.0000
|
|
|
0.2410 -7.0000 5.0000
|
|
|
0.2410 -7.0000 5.0000
|
|
|
0.2410 -7.0000 5.0000
|
|
|
0.2410 -7.0000 5.0000
|
|
|
0.2410 -7.0000 5.0000
|
|
|
0.2410 -7.0000 5.0000
|
|
|
0.2410 -7.0000 5.0000
|
|
|
0.2410 -7.0000 5.0000
|
|
|
0.2410 -7.0000 5.0000
|
|
|
0.2410 -7.0000 5.0000
|
|
|
0.2410 -8.0000 5.0000
|
|
|
0.2410 -8.0000 5.0000
|
|
|
0.2410 -8.0000 5.0000
|
|
|
0.2410 -9.0000 5.0000
|
|
|
0.2410 -10.0000 5.0000
|
|
|
0.1860 -5.0000 4.0000
|
|
|
0.1860 -6.0000 4.0000
|
|
|
0.1860 -6.0000 4.0000
|
|
|
0.1860 -6.0000 4.0000
|
|
|