Returned 33 matches
(100 formulae, 153 docs)
Lookup 20.344 ms, Re-ranking 0.138 ms
Found 293777 tuple postings, 30342 formulae, 9916 documents
0.9474
|
|
|
0.8182
|
|
|
0.8182
|
|
|
0.7826
|
|
|
0.7500
|
|
|
0.7500
|
|
|
0.7500
|
|
|
0.7500
|
|
|
0.6923
|
|
|
0.6923
|
|
|
0.6667
|
|
|
0.6667
|
|
|
0.6667
|
|
|
0.6429
|
|
|
0.6207
|
|
|
0.6207
|
|
|
0.6207
|
|
|
0.6000
|
|
|
0.6000
|
|
|
0.5833
|
|
|
0.5806
|
|
|
0.5806
|
|
|
0.5806
|
|
|
0.5625
|
|
|
0.5455
|
|
|
0.5455
|
|
|
0.5455
|
|
|
0.5455
|
|
|
0.5333
|
|
|
0.5294
|
|
|
0.5294
|
|
|
0.5294
|
|
|
0.5263
|
|
|