abū al-jārūd is one of the leading figures of zaydis and the narrator of the significant books and traditions of imam al-ṣādiq (a.s.) and imam al-bāqir (a.s.), who has received the attention of the imāmī rijālīs (biographers) and dignitaries. on one hand, the imāmī and sunnī rijālīs have weakened him and, on the other hand, he is known as the transmitter of many and sometimes important traditio...

different religions have applied the term ‘faith’ in various areas and this diversity has caused the minds of monotheists and others to engage in defining and explaining the nature of ‘faith’. in several verses from the qur’an, the final divine book and the eternal miracle of islam, the word ‘faith’ occurs. thus, a comparative study of these verses clarifies the point that the concept of faith ...

Evaluation of incomplete algorithms that solve SAT requires to generate hard satisfiable instances. For that purpose, the kSAT uniform random generation is not usable. The other generators of satisfiable instances generate instances that are not intrinsically hard, or exhaustive tests have not been done for determining hard and easy areas. A simple method for generating random hard satisfiable ...