Returned 61 matches
(100 formulae, 87 docs)
Lookup 177.891 ms, Re-ranking 0.130 ms
Found 796441 tuple postings, 125360 formulae, 20414 documents
0.8750
|
|
|
0.8493
|
|
|
0.8125
|
|
|
0.7945
|
|
|
0.7941
|
|
|
0.7812
|
|
|
0.7561
|
|
|
0.7397
|
|
|
0.7222
|
|
|
0.7013
|
|
|
0.6944
|
|
|
0.6849
|
|
|
0.6526
|
|
|
0.6517
|
|
|
0.6479
|
|
|
0.6410
|
|
|
0.6301
|
|
|
0.6250
|
|
|
0.6207
|
|
|
0.6195
|
|
|
0.6098
|
|
|
0.6053
|
|
|
0.6000
|
|
|
0.5970
|
|
|
0.5965
|
|
|
0.5938
|
|
|
0.5897
|
|
|
0.5750
|
|
|
0.5741
|
|
|
0.5614
|
|
|
0.5600
|
|
|
0.5600
|
|
|
0.5556
|
|
|
0.5517
|
|
|
0.5479
|
|
|
0.5397
|
|
|
0.5391
|
|
|
0.5370
|
|
|
0.5287
|
|
|
0.5263
|
|
|
0.5205
|
|
|
0.5185
|
|
|
0.5167
|
|
|
0.5143
|
|
|
0.5122
|
|
|
0.5098
|
|
|
0.5098
|
|
|
0.5091
|
|
|
0.5079
|
|
|
0.5070
|
|
|
0.5000
|
|
|
0.5000
|
|
|
0.5000
|
|
|
0.4932
|
|
|
0.4923
|
|
|
0.4918
|
|
|
0.4918
|
|
|
0.4912
|
|
|
0.4898
|
|
|
0.4848
|
|
|
0.4848
|
|
|