A formal theory on problem space as a semantic world model in systems engineering. - Mayuranath SureshKumar; Hanumanthrao Kannan (CoRR, 2026)