Automated Reasoning § Group: 5 #group-5 Relations § Undecidability: Undecidability has implications for the limitations of automated reasoning systems.