Returned 96 matches
(100 formulae, 64 docs)
Lookup 8.724 ms, Re-ranking 133644.674 ms
Found 72637 tuple postings, 34069 formulae, 8849 documents
1.0000
|
|
|
0.3754
|
|
|
0.2765
|
|
|
0.2484
|
|
|
0.2478
|
|
|
0.1928
|
|
|
0.1774
|
|
|
0.1631
|
|
|
0.1568
|
|
|
0.1436
|
|
|
0.1029
|
|
|
0.1006
|
|
|
0.0965
|
|
|
0.0922
|
|
|
0.0883
|
|
|
0.0794
|
|
|
0.0788
|
|
|
0.0774
|
|
|
0.0755
|
|
|
0.0753
|
|
|
0.0745
|
|
|
0.0719
|
|
|
0.0697
|
|
|
0.0659
|
|
|
0.0655
|
|
|
0.0652
|
|
|
0.0637
|
|
|
0.0628
|
|
|
0.0607
|
|
|
0.0604
|
|
|
0.0604
|
|
|
0.0602
|
|
|
0.0595
|
|
|
0.0576
|
|
|
0.0563
|
|
|
0.0561
|
|
|
0.0546
|
|
|
0.0536
|
|
|
0.0531
|
|
|
0.0507
|
|
|
0.0507
|
|
|
0.0507
|
|
|
0.0505
|
|
|
0.0499
|
|
|
0.0496
|
|
|
0.0490
|
|
|
0.0481
|
|
|
0.0469
|
|
|
0.0451
|
|
|
0.0437
|
|
|
0.0432
|
|
|
0.0430
|
|
|
0.0424
|
|
|
0.0421
|
|
|
0.0421
|
|
|
0.0399
|
|
|
0.0397
|
|
|
0.0385
|
|
|
0.0372
|
|
|
0.0369
|
|
|
0.0341
|
|
|
0.0334
|
|
|
0.0327
|
|
|
0.0325
|
|
|
0.0323
|
|
|
0.0319
|
|
|
0.0318
|
|
|
0.0314
|
|
|
0.0311
|
|
|
0.0310
|
|
|
0.0310
|
|
|
0.0306
|
|
|
0.0302
|
|
|
0.0302
|
|
|
0.0294
|
|
|
0.0294
|
|
|
0.0294
|
|
|
0.0283
|
|
|
0.0279
|
|
|
0.0277
|
|
|
0.0268
|
|
|
0.0245
|
|
|
0.0245
|
|
|
0.0244
|
|
|
0.0229
|
|
|
0.0225
|
|
|
0.0225
|
|
|
0.0221
|
|
|
0.0213
|
|
|
0.0209
|
|
|
0.0202
|
|
|
0.0202
|
|
|
0.0202
|
|
|
0.0201
|
|
|
0.0190
|
|
|
0.0185
|
|
| |
|
|