First-Order Theories: The Foundation of Automated Reasoning and Verification Explore first-order theories, their role in decision procedures, and applications in formal verification of software and hardware systems. 2026-02-23