Returned 92 matches
(100 formulae, 79 docs)
Lookup 5.000 ms, Re-ranking 826.935 ms
Found 36561 tuple postings, 24343 formulae, 7367 documents
1.0000
|
|
|
0.1512
|
|
|
0.1401
|
|
|
0.1197
|
|
|
0.1164
|
|
|
0.1098
|
|
|
0.1067
|
|
|
0.0913
|
|
|
0.0900
|
|
|
0.0888
|
|
|
0.0882
|
|
|
0.0855
|
|
|
0.0847
|
|
|
0.0842
|
|
|
0.0836
|
|
|
0.0818
|
|
|
0.0792
|
|
|
0.0769
|
|
|
0.0763
|
|
|
0.0763
|
|
|
0.0746
|
|
|
0.0734
|
|
|
0.0733
|
|
|
0.0733
|
|
|
0.0724
|
|
|
0.0722
|
|
|
0.0717
|
|
|
0.0711
|
|
|
0.0693
|
|
|
0.0692
|
|
|
0.0683
|
|
|
0.0672
|
|
|
0.0653
|
|
|
0.0641
|
|
|
0.0635
|
|
|
0.0634
|
|
|
0.0630
|
|
|
0.0621
|
|
|
0.0620
|
|
|
0.0616
|
|
|
0.0610
|
|
|
0.0606
|
|
|
0.0605
|
|
|
0.0592
|
|
|
0.0588
|
|
|
0.0588
|
|
|
0.0577
|
|
|
0.0575
|
|
|
0.0561
|
|
|
0.0561
|
|
|
0.0549
|
|
|
0.0545
|
|
|
0.0523
|
|
|
0.0523
|
|
|
0.0518
|
|
|
0.0508
|
|
|
0.0488
|
|
|
0.0480
|
|
|
0.0480
|
|
|
0.0476
|
|
|
0.0471
|
|
|
0.0470
|
|
|
0.0467
|
|
|
0.0466
|
|
|
0.0465
|
|
|
0.0458
|
|
|
0.0458
|
|
|
0.0450
|
|
|
0.0444
|
|
|
0.0441
|
|
|
0.0434
|
|
|
0.0429
|
|
|
0.0421
|
|
|
0.0421
|
|
|
0.0418
|
|
|
0.0416
|
|
|
0.0413
|
|
|
0.0404
|
|
|
0.0403
|
|
|
0.0399
|
|
|
0.0395
|
|
|
0.0394
|
|
|
0.0380
|
|
|
0.0372
|
|
|
0.0371
|
|
|
0.0364
|
|
|
0.0338
|
|
|
0.0335
|
|
|
0.0319
|
|
|
0.0307
|
|
|
0.0293
|
|
|
0.0290
|
|
|