Ma'alim al-Tanzil (Tafsir al-Baghawi) — 21:79

قَوْلُهُ عَزَّ وَجَلَّ: ﴿فَفَهَّمْنَاهَا سُلَيْمَانَ﴾ أَيْ عَلَّمْنَاهُ الْقَضِيَّةَ وَأَلْهَمْنَاهَا سُلَيْمَانَ، ﴿وَكُلًّا﴾ يَعْنِي دَاوُدَ وَسُلَيْمَانَ، ﴿آتَيْنَا حُكْمًا وَعِلْمًا﴾ قَالَ الْحَسَنُ: لَوْلَا هَذِهِ الْآيَةُ لَرَأَيْتُ الْحُكَّامَ قَدْ هَلَكُوا وَلَكِنَّ اللَّهَ حَمِدَ هَذَا بِصَوَابِهِ وَأَثْنَى عَلَى هَذَا بِاجْتِهَادِهِ . وَاخْتَلَفَ الْعُلَمَاءُ فِي أَنَّ حُكْمَ دَاوُدَ كَانَ بِالِاجْتِهَادِ أَمْ بِالنَّصِّ، وَكَذَلِكَ حُكْمُ سُلَيْمَانَ.