Returned 37 matches
(100 formulae, 109 docs)
Lookup 19.746 ms, Re-ranking 0.163 ms
Found 199024 tuple postings, 33344 formulae, 11918 documents
0.4828
|
|
|
0.4762
|
|
|
0.4545
|
|
|
0.4286
|
|
|
0.4167
|
|
|
0.4000
|
|
|
0.3846
|
|
|
0.3846
|
|
|
0.3793
|
|
|
0.3704
|
|
|
0.3590
|
|
|
0.3529
|
|
|
0.3529
|
|
|
0.3448
|
|
|
0.3448
|
|
|
0.3333
|
|
|
0.3333
|
|
|
0.3333
|
|
|
0.3333
|
|
|
0.3333
|
|
|
0.3284
|
|
|
0.3158
|
|
|
0.3158
|
|
|
0.3158
|
|
|
0.3125
|
|
|
0.3125
|
|
|
0.3077
|
|
|
0.3077
|
|
|
0.3030
|
|
|
0.3030
|
|
|
0.3030
|
|
|
0.2941
|
|
|
0.2857
|
|
|
0.2857
|
|
|
0.2857
|
|
|
0.2857
|
|
|
0.2857
|
|
|