Returned 36 matches
(100 formulae, 153 docs)
Lookup 20.344 ms, Re-ranking 105.629 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.8148
|
|
|
0.7568
|
|
|
0.6667
|
|
|
0.6364
|
|
|
0.6364
|
|
|
0.5946
|
|
|
0.5333
|
|
|
0.4628
|
|
|
0.4444
|
|
|