{"type": "article", "title": "RDFdL: Integrating RDF with Differential Dynamic Logic", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/rdfdl-integrating-rdf-with-differential-dynamic-logic", "original_source": "https://arxiv.org/abs/2608.18165", "published": "2026-08-20T04:00:00+00:00", "accessed": "2026-08-20", "id": "rdfdl-integrating-rdf-with-differential-dynamic-logic"}