Чтобы узнать, сколько значков у Вани, нужно количество значков у Миши разделить на 2, так как у Вани в 2 раза меньше значков.
$$20 \div 2 = 10$$
Ответ: 10 значков