دانشنامه اسلامی
این اثر به کوشش مهدی محقق به چاپ رسیده است و اولین چاپ آن در سال 52 بوده است.
تعلیقات میرزا مهدی آشتیانی بر منظومه برای نخستین بار، توسط مؤسسه مطالعات اسلامی دانشگاه مک گیل، شعبه تهران به چاپ رسید.
اساس چاپ این تعلیقه نسخهای است که میرزا محمود آشتیانی با خط خودش نوشته؛ البته یک بررسی ثانویه هم روی آن انجام شده و موارد استشهاد آیات هم در آن تعیین شده است.
پیشگفتارهای چاپ اول و دوم کتاب به زبان فارسی است و محتوای مطالب به زبان عربی.
محتوای مطالب کتاب به این صورت ارائه شده: میرزا مهدی، ابتدا با عبارت «قوله...»، کلام محقق سبزواری را ذکر میکند و سپس در پایین آن با زبان عربی به شرح مطالب میپردازد.