Decidability of Querying First-Order Theories via Countermodels of Finite Width (Logical Methods in Computer Science, 2025)