أرسل هذا في رسالة قصيرة: Decidability of graph neural networks via logical characterizations