Returned 58 matches
(100 formulae, 75 docs)
Lookup 46.463 ms, Re-ranking 0.134 ms
Found 331260 tuple postings, 81199 formulae, 17149 documents
0.4375
|
|
|
0.4118
|
|
|
0.3784
|
|
|
0.3704
|
|
|
0.3704
|
|
|
0.3590
|
|
|
0.3590
|
|
|
0.3590
|
|
|
0.3571
|
|
|
0.3571
|
|
|
0.3500
|
|
|
0.3448
|
|
|
0.3415
|
|
|
0.3333
|
|
|
0.3333
|
|
|
0.3333
|
|
|
0.3333
|
|
|
0.3333
|
|
|
0.3256
|
|
|
0.3256
|
|
|
0.3226
|
|
|
0.3226
|
|
|
0.3226
|
|
|
0.3182
|
|
|
0.3125
|
|
|
0.3125
|
|
|
0.3125
|
|
|
0.3125
|
|
|
0.3111
|
|
|
0.3111
|
|
|
0.3111
|
|
|
0.3043
|
|
|
0.3043
|
|
|
0.3043
|
|
|
0.3043
|
|
|
0.3043
|
|
|
0.3043
|
|
|
0.3043
|
|
|
0.3043
|
|
|
0.3030
|
|
|
0.3030
|
|
|
0.3030
|
|
|
0.3030
|
|
|
0.3030
|
|
|
0.3030
|
|
|
0.3030
|
|
|
0.3030
|
|
|
0.3030
|
|
|
0.3030
|
|
|
0.3030
|
|
|
0.3030
|
|
|
0.2979
|
|
|
0.2979
|
|
|
0.2941
|
|
|
0.2941
|
|
|
0.2941
|
|
|
0.2941
|
|
|
0.2941
|
|
|