Propositional Model Checking Algorithm Definition Dictionary