Returned 78 matches
(100 formulae, 95 docs)
Lookup 3.797 ms, Re-ranking 0.207 ms
Found 74312 tuple postings, 27024 formulae, 8915 documents
1.0000
|
|
|
0.9474
|
|
|
0.8941
|
|
|
0.8657
|
|
|
0.7895
|
|
|
0.7568
|
|
|
0.7541
|
|
|
0.7119
|
|
|
0.7059
|
|
|
0.6914
|
|
|
0.6765
|
|
|
0.6747
|
|
|
0.6667
|
|
|
0.6441
|
|
|
0.6222
|
|
|
0.5970
|
|
|
0.5926
|
|
|
0.5897
|
|
|
0.5823
|
|
|
0.5789
|
|
|
0.5586
|
|
|
0.5574
|
|
|
0.5542
|
|
|
0.5524
|
|
|
0.5385
|
|
|
0.5333
|
|
|
0.5333
|
|
|
0.5287
|
|
|
0.5287
|
|
|
0.5250
|
|
|
0.5241
|
|
|
0.5111
|
|
|
0.5102
|
|
|
0.5041
|
|
|
0.4889
|
|
|
0.4865
|
|
|
0.4842
|
|
|
0.4800
|
|
|
0.4776
|
|
|
0.4685
|
|
|
0.4658
|
|
|
0.4646
|
|
|
0.4600
|
|
|
0.4559
|
|
|
0.4554
|
|
|
0.4545
|
|
|
0.4516
|
|
|
0.4507
|
|
|
0.4483
|
|
|
0.4478
|
|
|
0.4466
|
|
|
0.4444
|
|
|
0.4397
|
|
|
0.4384
|
|
|
0.4267
|
|
|
0.4211
|
|
|
0.4167
|
|
|
0.4151
|
|
|
0.4107
|
|
|
0.4074
|
|
|
0.4071
|
|
|
0.4051
|
|
|
0.4044
|
|
|
0.4000
|
|
|
0.4000
|
|
|
0.3947
|
|
|
0.3924
|
|
|
0.3855
|
|
|
0.3846
|
|
|
0.3793
|
|
|
0.3770
|
|
|
0.3673
|
|
|
0.3614
|
|
|
0.3614
|
|
|
0.3609
|
|
|
0.3607
|
|
|
0.3607
|
|
|
0.3584
|
|
|