Returned 58 matches
(100 formulae, 90 docs)
Lookup 76.388 ms, Re-ranking 0.130 ms
Found 539810 tuple postings, 108618 formulae, 19020 documents
0.5538
|
|
|
0.5106
|
|
|
0.4912
|
|
|
0.4865
|
|
|
0.4865
|
|
|
0.4651
|
|
|
0.4500
|
|
|
0.4375
|
|
|
0.4364
|
|
|
0.4286
|
|
|
0.4286
|
|
|
0.4103
|
|
|
0.4000
|
|
|
0.3913
|
|
|
0.3889
|
|
|
0.3846
|
|
|
0.3830
|
|
|
0.3784
|
|
|
0.3784
|
|
|
0.3750
|
|
|
0.3750
|
|
|
0.3750
|
|
|
0.3721
|
|
|
0.3684
|
|
|
0.3673
|
|
|
0.3636
|
|
|
0.3636
|
|
|
0.3636
|
|
|
0.3636
|
|
|
0.3636
|
|
|
0.3590
|
|
|
0.3590
|
|
|
0.3571
|
|
|
0.3571
|
|
|
0.3529
|
|
|
0.3529
|
|
|
0.3529
|
|
|
0.3457
|
|
|
0.3429
|
|
|
0.3415
|
|
|
0.3404
|
|
|
0.3333
|
|
|
0.3333
|
|
|
0.3333
|
|
|
0.3333
|
|
|
0.3333
|
|
|
0.3333
|
|
|
0.3333
|
|
|
0.3333
|
|
|
0.3265
|
|
|
0.3256
|
|
|
0.3256
|
|
|
0.3256
|
|
|
0.3256
|
|
|
0.3235
|
|
|
0.3226
|
|
|
0.3226
|
|
|
0.3226
|
|
|