Returned 48 matches
(100 formulae, 109 docs)
Lookup 19.746 ms, Re-ranking 112.593 ms
Found 199024 tuple postings, 33344 formulae, 11918 documents
0.8824
|
|
|
0.8571
|
|
|
0.6188
|
|
|
0.6188
|
|
|
0.6188
|
|
|
0.6188
|
|
|
0.6161
|
|
|
0.6118
|
|
|
0.6070
|
|
|
0.6070
|
|
|
0.6039
|
|
|
0.6039
|
|
|
0.6039
|
|
|
0.6026
|
|
|
0.6026
|
|
|
0.6010
|
|
|
0.5890
|
|
|
0.5890
|
|
|
0.5860
|
|
|
0.5833
|
|
|
0.5833
|
|
|
0.5600
|
|
|
0.5580
|
|
|
0.5515
|
|
|
0.5442
|
|
|
0.5185
|
|
|
0.5000
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4667
|
|
|
0.3960
|
|
|
0.3810
|
|
|
0.3333
|
|
|
0.2667
|
|
|