The Algorithm of Islamic Jurisprudence (Fiqh) with Validation of an Entscheidungsproblem

Elnaserledinellah Mahmood Abdelwahab, Karim Daghbouche, Nadra Ahmad Shannan

The historic background of algorithmic processing with regard to etymology and methodology is translated into terms of mathematical logic and Computer Science. A formal logic struc…