Pytania oznaczone «semi-decidability»