Returned 76 matches
(100 formulae, 67 docs)
Lookup 170.162 ms, Re-ranking 0.134 ms
Found 258025 tuple postings, 77679 formulae, 14745 documents
0.5581
|
|
|
0.5101
|
|
|
0.4935
|
|
|
0.4493
|
|
|
0.4487
|
|
|
0.4382
|
|
|
0.4133
|
|
|
0.4107
|
|
|
0.3978
|
|
|
0.3911
|
|
|
0.3904
|
|
|
0.3896
|
|
|
0.3892
|
|
|
0.3891
|
|
|
0.3860
|
|
|
0.3728
|
|
|
0.3684
|
|
|
0.3681
|
|
|
0.3533
|
|
|
0.3488
|
|
|
0.3458
|
|
|
0.3435
|
|
|
0.3425
|
|
|
0.3421
|
|
|
0.3361
|
|
|
0.3357
|
|
|
0.3309
|
|
|
0.3279
|
|
|
0.3270
|
|
|
0.3239
|
|
|
0.3234
|
|
|
0.3204
|
|
|
0.3187
|
|
|
0.3186
|
|
|
0.3185
|
|
|
0.3170
|
|
|
0.3166
|
|
|
0.3165
|
|
|
0.3158
|
|
|
0.3152
|
|
|
0.3141
|
|
|
0.3133
|
|
|
0.3133
|
|
|
0.3123
|
|
|
0.3065
|
|
|
0.3064
|
|
|
0.3061
|
|
|
0.3049
|
|
|
0.3030
|
|
|
0.3023
|
|
|
0.3016
|
|
|
0.3008
|
|
|
0.3008
|
|
|
0.3008
|
|
|
0.2998
|
|
|
0.2989
|
|
|
0.2975
|
|
|
0.2970
|
|
|
0.2940
|
|
|
0.2938
|
|
|
0.2918
|
|
|
0.2917
|
|
|
0.2907
|
|
|
0.2905
|
|
|
0.2889
|
|
|
0.2889
|
|
|
0.2878
|
|
|
0.2870
|
|
|
0.2857
|
|
|
0.2845
|
|
|
0.2844
|
|
|
0.2842
|
|
|
0.2836
|
|
|
0.2821
|
|
|
0.2821
|
|
|
0.2819
|
|
|