Returned 60 matches
(100 formulae, 87 docs)
Lookup 177.891 ms, Re-ranking 404.718 ms
Found 796441 tuple postings, 125360 formulae, 20414 documents
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
0.9487
|
|
|
0.9250
|
|
|
0.8966
|
|
|
0.8890
|
|
|
0.8696
|
|
|
0.8435
|
|
|
0.8406
|
|
|
0.8221
|
|
|
0.8221
|
|
|
0.8076
|
|
|
0.7949
|
|
|
0.7949
|
|
|
0.7949
|
|
|
0.7949
|
|
|
0.7945
|
|
|
0.7792
|
|
|
0.7752
|
|
|
0.7686
|
|
|
0.7632
|
|
|
0.7619
|
|
|
0.7619
|
|
|
0.7619
|
|
|
0.7619
|
|
|
0.7532
|
|
|
0.7470
|
|
|
0.7405
|
|
|
0.7213
|
|
|
0.7126
|
|
|
0.6995
|
|
|
0.6988
|
|
|
0.6988
|
|
|
0.6977
|
|
|
0.6824
|
|
|
0.6761
|
|
|
0.6667
|
|
|
0.6632
|
|
|
0.6500
|
|
|
0.6461
|
|
|
0.6377
|
|
|
0.6154
|
|
|
0.6154
|
|
|
0.6071
|
|
|
0.5974
|
|
|
0.5818
|
|
|
0.5818
|
|
|
0.5818
|
|
|
0.5818
|
|
|
0.5818
|
|
|
0.5714
|
|
|
0.5654
|
|
|
0.5607
|
|
|
0.5605
|
|
|
0.5457
|
|
|
0.5333
|
|
|
0.4400
|
|
|
0.4332
|
|
|