Returned 72 matches
(100 formulae, 91 docs)
Lookup 0.998 ms, Re-ranking 180.953 ms
Found 1653 tuple postings, 1347 formulae, 760 documents
1.0000
|
|
|
0.4792
|
|
|
0.3713
|
|
|
0.2821
|
|
|
0.2500
|
|
|
0.2308
|
|
|
0.1538
|
|
|
0.1250
|
|
|
0.1143
|
|
|
0.1111
|
|
|
0.1096
|
|
|
0.1096
|
|
|
0.1067
|
|
|
0.1043
|
|
|
0.1040
|
|
|
0.0964
|
|
|
0.0941
|
|
|
0.0896
|
|
|
0.0833
|
|
|
0.0825
|
|
|
0.0792
|
|
|
0.0779
|
|
|
0.0769
|
|
|
0.0759
|
|
|
0.0734
|
|
|
0.0734
|
|
|
0.0727
|
|
|
0.0727
|
|
|
0.0727
|
|
|
0.0721
|
|
|
0.0714
|
|
|
0.0714
|
|
|
0.0714
|
|
|
0.0702
|
|
|
0.0702
|
|
|
0.0690
|
|
|
0.0678
|
|
|
0.0678
|
|
|
0.0678
|
|
|
0.0678
|
|
|
0.0678
|
|
|
0.0678
|
|
|
0.0678
|
|
|
0.0678
|
|
|
0.0678
|
|
|
0.0678
|
|
|
0.0678
|
|
|
0.0678
|
|
|
0.0678
|
|
|
0.0667
|
|
|
0.0652
|
|
|
0.0650
|
|
|
0.0625
|
|
|
0.0615
|
|
|
0.0588
|
|
|
0.0583
|
|
|
0.0566
|
|
|
0.0545
|
|
|
0.0526
|
|
|
0.0526
|
|
|
0.0491
|
|
|
0.0486
|
|
|
0.0435
|
|
|
0.0433
|
|
|
0.0417
|
|
|
0.0412
|
|
|
0.0392
|
|
|
0.0385
|
|
|
0.0385
|
|
|
0.0381
|
|
|
0.0366
|
|
|
0.0364
|
|
|