Returned 91 matches
(100 formulae, 79 docs)
Lookup 5.000 ms, Re-ranking 717.760 ms
Found 36561 tuple postings, 24343 formulae, 7367 documents
1.0000
|
|
|
0.1209
|
|
|
0.1067
|
|
|
0.1021
|
|
|
0.1005
|
|
|
0.0851
|
|
|
0.0847
|
|
|
0.0836
|
|
|
0.0780
|
|
|
0.0746
|
|
|
0.0733
|
|
|
0.0733
|
|
|
0.0733
|
|
|
0.0731
|
|
|
0.0724
|
|
|
0.0719
|
|
|
0.0711
|
|
|
0.0693
|
|
|
0.0692
|
|
|
0.0667
|
|
|
0.0641
|
|
|
0.0635
|
|
|
0.0630
|
|
|
0.0627
|
|
|
0.0621
|
|
|
0.0621
|
|
|
0.0620
|
|
|
0.0606
|
|
|
0.0605
|
|
|
0.0598
|
|
|
0.0588
|
|
|
0.0577
|
|
|
0.0570
|
|
|
0.0547
|
|
|
0.0543
|
|
|
0.0523
|
|
|
0.0518
|
|
|
0.0516
|
|
|
0.0508
|
|
|
0.0506
|
|
|
0.0502
|
|
|
0.0502
|
|
|
0.0488
|
|
|
0.0482
|
|
|
0.0475
|
|
|
0.0471
|
|
|
0.0463
|
|
|
0.0458
|
|
|
0.0458
|
|
|
0.0458
|
|
|
0.0458
|
|
|
0.0457
|
|
|
0.0455
|
|
|
0.0447
|
|
|
0.0436
|
|
|
0.0436
|
|
|
0.0427
|
|
|
0.0424
|
|
|
0.0418
|
|
|
0.0407
|
|
|
0.0399
|
|
|
0.0391
|
|
|
0.0388
|
|
|
0.0379
|
|
|
0.0373
|
|
|
0.0366
|
|
|
0.0364
|
|
|
0.0362
|
|
|
0.0333
|
|
|
0.0327
|
|
|
0.0327
|
|
|
0.0323
|
|
|
0.0313
|
|
|
0.0307
|
|
|
0.0304
|
|
|
0.0300
|
|
|
0.0263
|
|
|
0.0260
|
|
|
0.0249
|
|
|
0.0237
|
|
|
0.0235
|
|
|
0.0230
|
|
|
0.0223
|
|
|
0.0217
|
|
|
0.0215
|
|
|
0.0213
|
|
|
0.0213
|
|
|
0.0179
|
|
|
0.0179
|
|
|
0.0165
|
|
|
0.0162
|
|
|