Returned 26 matches
(100 formulae, 1038 docs)
Lookup 312.445 ms, Re-ranking 106.817 ms
Found 2578593 tuple postings, 1443522 formulae, 1007131 documents
0.7134 -7.0000 6.0000
|
|
|
0.5217 -1.0000 4.0000
|
|
|
0.2581 -5.0000 1.0000
|
|
|
0.2581 -5.0000 0.0000
|
|
|
0.2308 -1.0000 2.0000
|
|
|
0.2308 -1.0000 1.0000
|
|
|
0.2308 -2.0000 2.0000
|
|
|
0.2308 -2.0000 2.0000
|
|
|
0.2308 -2.0000 1.0000
|
|
|
0.2308 -4.0000 2.0000
|
|
|
0.2308 -4.0000 1.0000
|
|
|
0.2308 -4.0000 1.0000
|
|
|
0.2308 -5.0000 1.0000
|
|
|
0.2308 -5.0000 1.0000
|
|
|
0.2308 -5.0000 1.0000
|
|
|
0.2308 -5.0000 1.0000
|
|
|
0.2308 -6.0000 2.0000
|
|
|
0.2308 -6.0000 1.0000
|
|
|
0.2308 -8.0000 1.0000
|
|
|
0.1290 -2.0000 2.0000
|
|
|
0.1290 -2.0000 2.0000
|
|
|
0.1290 -2.0000 1.0000
|
|
|
0.1290 -3.0000 2.0000
|
|
|
0.1290 -3.0000 2.0000
|
|
|
0.1290 -5.0000 2.0000
|
|
|
0.1290 -7.0000 2.0000
|
|
|