Returned 46 matches
(100 formulae, 70 docs)
Lookup 51.508 ms, Re-ranking 0.139 ms
Found 318576 tuple postings, 88356 formulae, 17669 documents
0.7143
|
|
|
0.6667
|
|
|
0.6557
|
|
|
0.6557
|
|
|
0.6557
|
|
|
0.6349
|
|
|
0.6154
|
|
|
0.6129
|
|
|
0.5970
|
|
|
0.5882
|
|
|
0.5634
|
|
|
0.5405
|
|
|
0.5366
|
|
|
0.5238
|
|
|
0.5238
|
|
|
0.5195
|
|
|
0.5128
|
|
|
0.5128
|
|
|
0.5128
|
|
|
0.5063
|
|
|
0.5000
|
|
|
0.5000
|
|
|
0.4938
|
|
|
0.4906
|
|
|
0.4906
|
|
|
0.4889
|
|
|
0.4889
|
|
|
0.4889
|
|
|
0.4889
|
|
|
0.4783
|
|
|
0.4783
|
|
|
0.4737
|
|
|
0.4681
|
|
|
0.4681
|
|
|
0.4681
|
|
|
0.4598
|
|
|
0.4590
|
|
|
0.4583
|
|
|
0.4561
|
|
|
0.4545
|
|
|
0.4494
|
|
|
0.4490
|
|
|
0.4490
|
|
|
0.4490
|
|
|
0.4483
|
|
|
0.4444
|
|
|