Analysing Wiki Quality Using Probabilistic Model Checking · Study