أرسل هذا في رسالة قصيرة: The pseudo-Skolem Problem is decidable