Task: Textual Entailment
Input (Persian): مسلمه بن احمد مجریطی اولین دانشمند ریاضی دان و نجوم شناس اندلسی است. یکی از کتاب های وی در زمینه مثلثات، به نام «مسائل من حساب المثلثات الکروی» است که پایه علم مثلثات و جبر قرار گرفت.
مسلمه بن احمد مجریطی نخستین ریاضی دان اندلسی است که آثار بیشماری از او به لاتین ترجمه شده است.
Output (English): N