Returned 60 matches
(100 formulae, 87 docs)
Lookup 177.891 ms, Re-ranking 414.058 ms
Found 796441 tuple postings, 125360 formulae, 20414 documents
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
1.0000
|
|
|
0.9744
|
|
|
0.9250
|
|
|
0.8974
|
|
|
0.8966
|
|
|
0.8890
|
|
|
0.8696
|
|
|
0.8565
|
|
|
0.8551
|
|
|
0.8221
|
|
|
0.8221
|
|
|
0.8082
|
|
|
0.8076
|
|
|
0.7949
|
|
|
0.7949
|
|
|
0.7949
|
|
|
0.7842
|
|
|
0.7792
|
|
|
0.7752
|
|
|
0.7686
|
|
|
0.7662
|
|
|
0.7659
|
|
|
0.7632
|
|
|
0.7619
|
|
|
0.7619
|
|
|
0.7619
|
|
|
0.7619
|
|
|
0.7470
|
|
|
0.7229
|
|
|
0.7229
|
|
|
0.7213
|
|
|
0.7126
|
|
|
0.6995
|
|
|
0.6824
|
|
|
0.6761
|
|
|
0.6667
|
|
|
0.6632
|
|
|
0.6590
|
|
|
0.6522
|
|
|
0.6500
|
|
|
0.6154
|
|
|
0.6154
|
|
|
0.6071
|
|
|
0.5974
|
|
|
0.5844
|
|
|
0.5818
|
|
|
0.5818
|
|
|
0.5818
|
|
|
0.5818
|
|
|
0.5818
|
|
|
0.5654
|
|
|
0.5612
|
|
|
0.5607
|
|
|
0.5605
|
|
|
0.5500
|
|
|
0.4400
|
|
|
0.4332
|
|
|