Returned 83 matches
(100 formulae, 52 docs)
Lookup 4.976 ms, Re-ranking 1454.580 ms
Found 42764 tuple postings, 31889 formulae, 9035 documents
1.0000
|
|
|
0.3382
|
|
|
0.2721
|
|
|
0.2721
|
|
|
0.2132
|
|
|
0.1859
|
|
|
0.1245
|
|
|
0.0969
|
|
|
0.0961
|
|
|
0.0921
|
|
|
0.0917
|
|
|
0.0905
|
|
|
0.0905
|
|
|
0.0898
|
|
|
0.0891
|
|
|
0.0856
|
|
|
0.0856
|
|
|
0.0843
|
|
|
0.0838
|
|
|
0.0795
|
|
|
0.0787
|
|
|
0.0751
|
|
|
0.0743
|
|
|
0.0737
|
|
|
0.0724
|
|
|
0.0717
|
|
|
0.0711
|
|
|
0.0679
|
|
|
0.0679
|
|
|
0.0669
|
|
|
0.0651
|
|
|
0.0651
|
|
|
0.0643
|
|
|
0.0634
|
|
|
0.0617
|
|
|
0.0617
|
|
|
0.0617
|
|
|
0.0617
|
|
|
0.0614
|
|
|
0.0614
|
|
|
0.0608
|
|
|
0.0587
|
|
|
0.0586
|
|
|
0.0584
|
|
|
0.0576
|
|
|
0.0574
|
|
|
0.0565
|
|
|
0.0556
|
|
|
0.0556
|
|
|
0.0551
|
|
|
0.0541
|
|
|
0.0538
|
|
|
0.0536
|
|
|
0.0533
|
|
|
0.0484
|
|
|
0.0479
|
|
|
0.0471
|
|
|
0.0442
|
|
|
0.0440
|
|
|
0.0437
|
|
|
0.0419
|
|
|
0.0418
|
|
|
0.0409
|
|
|
0.0409
|
|
|
0.0406
|
|
|
0.0406
|
|
|
0.0398
|
|
|
0.0345
|
|
|
0.0342
|
|
|
0.0339
|
|
|
0.0337
|
|
|
0.0337
|
|
|
0.0326
|
|
|
0.0325
|
|
|
0.0307
|
|
|
0.0307
|
|
|
0.0273
|
|
|
0.0273
|
|
|
0.0235
|
|
|
0.0217
|
|
|
0.0211
|
|
|
0.0164
|
|
|
0.0161
|
|
|