Returned 60 matches
(100 formulae, 91 docs)
Lookup 0.998 ms, Re-ranking 0.166 ms
Found 1653 tuple postings, 1347 formulae, 760 documents
1.0000
|
|
|
0.4681
|
|
|
0.3636
|
|
|
0.2632
|
|
|
0.2340
|
|
|
0.2105
|
|
|
0.1316
|
|
|
0.0972
|
|
|
0.0971
|
|
|
0.0968
|
|
|
0.0965
|
|
|
0.0943
|
|
|
0.0936
|
|
|
0.0845
|
|
|
0.0833
|
|
|
0.0822
|
|
|
0.0741
|
|
|
0.0723
|
|
|
0.0635
|
|
|
0.0615
|
|
|
0.0606
|
|
|
0.0582
|
|
|
0.0571
|
|
|
0.0561
|
|
|
0.0550
|
|
|
0.0533
|
|
|
0.0526
|
|
|
0.0519
|
|
|
0.0497
|
|
|
0.0444
|
|
|
0.0444
|
|
|
0.0443
|
|
|
0.0423
|
|
|
0.0417
|
|
|
0.0408
|
|
|
0.0400
|
|
|
0.0400
|
|
|
0.0400
|
|
|
0.0400
|
|
|
0.0396
|
|
|
0.0392
|
|
|
0.0388
|
|
|
0.0385
|
|
|
0.0377
|
|
|
0.0377
|
|
|
0.0370
|
|
|
0.0370
|
|
|
0.0370
|
|
|
0.0370
|
|
|
0.0364
|
|
|
0.0364
|
|
|
0.0364
|
|
|
0.0357
|
|
|
0.0357
|
|
|
0.0351
|
|
|
0.0351
|
|
|
0.0351
|
|
|
0.0351
|
|
|
0.0351
|
|
|
0.0345
|
|
|