Returned 93 matches
(100 formulae, 79 docs)
Lookup 5.000 ms, Re-ranking 0.141 ms
Found 36561 tuple postings, 24343 formulae, 7367 documents
1.0000
|
|
|
0.1417
|
|
|
0.1239
|
|
|
0.1193
|
|
|
0.1160
|
|
|
0.1007
|
|
|
0.0997
|
|
|
0.0987
|
|
|
0.0984
|
|
|
0.0963
|
|
|
0.0893
|
|
|
0.0882
|
|
|
0.0851
|
|
|
0.0835
|
|
|
0.0826
|
|
|
0.0811
|
|
|
0.0798
|
|
|
0.0793
|
|
|
0.0793
|
|
|
0.0781
|
|
|
0.0749
|
|
|
0.0727
|
|
|
0.0725
|
|
|
0.0696
|
|
|
0.0688
|
|
|
0.0686
|
|
|
0.0683
|
|
|
0.0682
|
|
|
0.0681
|
|
|
0.0671
|
|
|
0.0671
|
|
|
0.0671
|
|
|
0.0658
|
|
|
0.0650
|
|
|
0.0633
|
|
|
0.0630
|
|
|
0.0625
|
|
|
0.0610
|
|
|
0.0609
|
|
|
0.0592
|
|
|
0.0591
|
|
|
0.0587
|
|
|
0.0581
|
|
|
0.0575
|
|
|
0.0573
|
|
|
0.0573
|
|
|
0.0571
|
|
|
0.0568
|
|
|
0.0565
|
|
|
0.0564
|
|
|
0.0560
|
|
|
0.0557
|
|
|
0.0554
|
|
|
0.0550
|
|
|
0.0541
|
|
|
0.0541
|
|
|
0.0536
|
|
|
0.0531
|
|
|
0.0529
|
|
|
0.0526
|
|
|
0.0525
|
|
|
0.0521
|
|
|
0.0519
|
|
|
0.0519
|
|
|
0.0514
|
|
|
0.0508
|
|
|
0.0506
|
|
|
0.0502
|
|
|
0.0502
|
|
|
0.0501
|
|
|
0.0500
|
|
|
0.0498
|
|
|
0.0498
|
|
|
0.0494
|
|
|
0.0493
|
|
|
0.0491
|
|
|
0.0490
|
|
|
0.0488
|
|
|
0.0487
|
|
|
0.0486
|
|
|
0.0485
|
|
|
0.0483
|
|
|
0.0481
|
|
|
0.0481
|
|
|
0.0480
|
|
|
0.0478
|
|
|
0.0478
|
|
|
0.0473
|
|
|
0.0472
|
|
|
0.0470
|
|
|
0.0469
|
|
|
0.0468
|
|
|
0.0468
|
|
|