View of Mathematical Modeling to Measure the Level of Terrorism Deradicalization Effectiveness | IJID (International Journal on Informatics for Development)