900), Ibrahim ibn Sinan, al-Quhi, Abu Nasr Mansur (n.