لغتنامه دهخدا
فخرالمحققین . [ ف َ رُ ل ْ م ُ ح َق ْ ق ِ ] (اِخ ) محمدبن علامه ٔ حلی ، گاه او را به لقب فخرالاسلام ، فخرالدین و رأس المدققین هم خوانده اند. از اعاظم و محققان علمای امامیه و از ثقات و مدققین فقهای شیعه و جامععلوم عقلی و نقلی بوده است . و پدر وی با آن همه عظمت و دانش او را بس