Returned 36 matches
(100 formulae, 153 docs)
Lookup 20.344 ms, Re-ranking 109.709 ms
Found 293777 tuple postings, 30342 formulae, 9916 documents
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
0.9583
|
|
|
0.9333
|
|
|
0.9167
|
|
|
0.9167
|
|
|
0.9048
|
|
|
0.8947
|
|
|
0.8750
|
|
|
0.8750
|
|
|
0.8462
|
|
|
0.8235
|
|
|
0.8182
|
|
|
0.8182
|
|
|
0.8148
|
|
|
0.7568
|
|
|
0.6667
|
|
|
0.6207
|
|
|
0.6111
|
|
|
0.5946
|
|
|
0.5333
|
|
|