Returned 86 matches
(100 formulae, 84 docs)
Lookup 130.687 ms, Re-ranking 0.151 ms
Found 482112 tuple postings, 185962 formulae, 22095 documents
0.7455
|
|
|
0.6132
|
|
|
0.4505
|
|
|
0.4414
|
|
|
0.4382
|
|
|
0.4317
|
|
|
0.4098
|
|
|
0.3874
|
|
|
0.3810
|
|
|
0.3774
|
|
|
0.3774
|
|
|
0.3768
|
|
|
0.3740
|
|
|
0.3687
|
|
|
0.3604
|
|
|
0.3587
|
|
|
0.3578
|
|
|
0.3547
|
|
|
0.3541
|
|
|
0.3537
|
|
|
0.3514
|
|
|
0.3493
|
|
|
0.3492
|
|
|
0.3482
|
|
|
0.3433
|
|
|
0.3417
|
|
|
0.3415
|
|
|
0.3412
|
|
|
0.3402
|
|
|
0.3402
|
|
|
0.3380
|
|
|
0.3377
|
|
|
0.3373
|
|
|
0.3364
|
|
|
0.3351
|
|
|
0.3350
|
|
|
0.3350
|
|
|
0.3345
|
|
|
0.3322
|
|
|
0.3317
|
|
|
0.3300
|
|
|
0.3290
|
|
|
0.3284
|
|
|
0.3282
|
|
|
0.3260
|
|
|
0.3258
|
|
|
0.3251
|
|
|
0.3251
|
|
|
0.3246
|
|
|
0.3243
|
|
|
0.3222
|
|
|
0.3220
|
|
|
0.3204
|
|
|
0.3204
|
|
|
0.3204
|
|
|
0.3200
|
|
|
0.3188
|
|
|
0.3188
|
|
|
0.3187
|
|
|
0.3173
|
|
|
0.3149
|
|
|
0.3143
|
|
|
0.3113
|
|
|
0.3113
|
|
|
0.3101
|
|
|
0.3096
|
|
|
0.3095
|
|
|
0.3084
|
|
|
0.3070
|
|
|
0.3056
|
|
|
0.3056
|
|
|
0.3028
|
|
|
0.3022
|
|
|
0.3014
|
|
|
0.3014
|
|
|
0.3012
|
|
|
0.2986
|
|
|
0.2986
|
|
|
0.2986
|
|
|
0.2984
|
|
|
0.2974
|
|
|
0.2973
|
|
|
0.2960
|
|
|
0.2946
|
|
|
0.2933
|
|
|
0.2907
|
|
|