Returned 76 matches
(100 formulae, 67 docs)
Lookup 170.162 ms, Re-ranking 3217.576 ms
Found 258025 tuple postings, 77679 formulae, 14745 documents
0.6280
|
|
|
0.6092
|
|
|
0.5889
|
|
|
0.5748
|
|
|
0.5590
|
|
|
0.5541
|
|
|
0.5504
|
|
|
0.5490
|
|
|
0.5125
|
|
|
0.5119
|
|
|
0.5100
|
|
|
0.4974
|
|
|
0.4925
|
|
|
0.4852
|
|
|
0.4770
|
|
|
0.4713
|
|
|
0.4689
|
|
|
0.4599
|
|
|
0.4598
|
|
|
0.4585
|
|
|
0.4509
|
|
|
0.4481
|
|
|
0.4445
|
|
|
0.4442
|
|
|
0.4425
|
|
|
0.4414
|
|
|
0.4390
|
|
|
0.4372
|
|
|
0.4249
|
|
|
0.4229
|
|
|
0.4148
|
|
|
0.4138
|
|
|
0.4135
|
|
|
0.4129
|
|
|
0.4112
|
|
|
0.4056
|
|
|
0.4051
|
|
|
0.4038
|
|
|
0.4026
|
|
|
0.4020
|
|
|
0.4014
|
|
|
0.4011
|
|
|
0.3979
|
|
|
0.3978
|
|
|
0.3974
|
|
|
0.3966
|
|
|
0.3946
|
|
|
0.3930
|
|
|
0.3919
|
|
|
0.3848
|
|
|
0.3830
|
|
|
0.3823
|
|
|
0.3814
|
|
|
0.3811
|
|
|
0.3794
|
|
|
0.3764
|
|
|
0.3761
|
|
|
0.3709
|
|
|
0.3709
|
|
|
0.3700
|
|
|
0.3668
|
|
|
0.3659
|
|
|
0.3611
|
|
|
0.3580
|
|
|
0.3576
|
|
|
0.3571
|
|
|
0.3563
|
|
|
0.3504
|
|
|
0.3465
|
|
|
0.3464
|
|
|
0.3419
|
|
|
0.3416
|
|
|
0.3373
|
|
|
0.2888
|
|
|
0.2654
|
|
|
0.1845
|
|
|