この資料をSMS送信: The pseudo-Skolem Problem is decidable