Αποστολή με SMS: Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width