Enviar aquest missatge de text: The pseudo-Skolem Problem is decidable