{"type": "article", "title": "Local Reasoning for Global Properties", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/local-reasoning-for-global-properties", "original_source": "https://tratt.net/laurie/blog/2026/local_reasoning_for_global_properties.html", "published": "2026-06-30T09:58:16+00:00", "accessed": "2026-06-30", "id": "local-reasoning-for-global-properties"}