On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories (Logical Methods in Computer Science, 2026)