Returned 73 matches
(100 formulae, 90 docs)
Lookup 68.424 ms, Re-ranking 0.156 ms
Found 378329 tuple postings, 78943 formulae, 16863 documents
0.6667
|
|
|
0.5915
|
|
|
0.5614
|
|
|
0.5588
|
|
|
0.5098
|
|
|
0.4923
|
|
|
0.4737
|
|
|
0.4727
|
|
|
0.4634
|
|
|
0.4500
|
|
|
0.4483
|
|
|
0.4364
|
|
|
0.4348
|
|
|
0.4211
|
|
|
0.4186
|
|
|
0.4130
|
|
|
0.4091
|
|
|
0.4082
|
|
|
0.4038
|
|
|
0.4028
|
|
|
0.4000
|
|
|
0.4000
|
|
|
0.4000
|
|
|
0.3942
|
|
|
0.3922
|
|
|
0.3902
|
|
|
0.3889
|
|
|
0.3881
|
|
|
0.3860
|
|
|
0.3846
|
|
|
0.3830
|
|
|
0.3830
|
|
|
0.3797
|
|
|
0.3778
|
|
|
0.3768
|
|
|
0.3750
|
|
|
0.3721
|
|
|
0.3721
|
|
|
0.3704
|
|
|
0.3704
|
|
|
0.3684
|
|
|
0.3673
|
|
|
0.3670
|
|
|
0.3636
|
|
|
0.3636
|
|
|
0.3636
|
|
|
0.3611
|
|
|
0.3607
|
|
|
0.3600
|
|
|
0.3590
|
|
|
0.3571
|
|
|
0.3556
|
|
|
0.3548
|
|
|
0.3537
|
|
|
0.3529
|
|
|
0.3529
|
|
|
0.3509
|
|
|
0.3509
|
|
|
0.3492
|
|
|
0.3462
|
|
|
0.3438
|
|
|
0.3429
|
|
|
0.3429
|
|
|
0.3404
|
|
|
0.3404
|
|
|
0.3380
|
|
|
0.3333
|
|
|
0.3333
|
|
|
0.3333
|
|
|
0.3333
|
|
|
0.3301
|
|
|
0.3279
|
|
|
0.3273
|
|
|