{"as_of":"2026-08-11T18:02:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:15af96f60d5c1bd5ff49deccc1ffa45c31ad1508390f1d90224cffbb2a7449a0","coverage":[{"denominator":15,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":15,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-25T01:55:15.352424Z","state":"measured"},{"denominator":15,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":15,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/1907.02881/citation-record","integrity":"/paper/1907.02881/integrity","json":"/paper/1907.02881/citation-record.json","paper":"/paper/1907.02881"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Hybrid automata: An algorithmic approach to the specification and v erification of hybrid systems","venue":null,"work_id":"86dd2600-d9ee-4075-b715-38a60f099937","year":1993},"citing_paper":{"arxiv_id":"1907.02881","last_updated":"2019-07-08T14:50:36Z","snapshot_observed_at":"2026-07-06T08:05:24.076802Z","submitted_at":"2019-07-05T15:08:39Z","title":"Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-25T01:55:15.352424Z"},"links":{"citing_paper":"/paper/1907.02881"},"observation_digest":"sha256:2090e61f86b41ed85df275bcab6910ea34d3eb9ef884a8bdaaf1c422c34ec6f9","observation_id":"6fe3680b-c098-48de-ae9b-b2025ef94685","resolution":{"observed_at":"2026-05-25T01:56:33.074720Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Contrac ts for system design","venue":null,"work_id":"221d585e-dc11-463e-9ae2-6d5305e27874","year":2012},"citing_paper":{"arxiv_id":"1907.02881","last_updated":"2019-07-08T14:50:36Z","snapshot_observed_at":"2026-07-06T08:05:24.076802Z","submitted_at":"2019-07-05T15:08:39Z","title":"Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-25T01:55:15.352424Z"},"links":{"citing_paper":"/paper/1907.02881"},"observation_digest":"sha256:256834c3323db336e75bd34834dd1da79d6cb797657929e49a7ed1da36e7066a","observation_id":"e0dbd876-4a8e-47f3-ad80-b352ad74307d","resolution":{"observed_at":"2026-05-25T01:56:33.088516Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Keymaera X: an axiomatic tactical theorem prover for hybrid systems","venue":null,"work_id":"460c1450-76a6-45a2-bb6b-0dd1129735fa","year":2015},"citing_paper":{"arxiv_id":"1907.02881","last_updated":"2019-07-08T14:50:36Z","snapshot_observed_at":"2026-07-06T08:05:24.076802Z","submitted_at":"2019-07-05T15:08:39Z","title":"Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-25T01:55:15.352424Z"},"links":{"citing_paper":"/paper/1907.02881"},"observation_digest":"sha256:63d7191d9a8a839b264e77a5aaa398508414a6eafa5de76d9d2215ded0d637a0","observation_id":"f6630fb4-1a2a-4095-ae68-c161b071c783","resolution":{"observed_at":"2026-05-25T01:56:33.102645Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Ass ume-guarantee reasoning for hierarchical hybrid systems","venue":null,"work_id":"3b3ede54-93aa-408e-a342-df7f6ef2a86c","year":2001},"citing_paper":{"arxiv_id":"1907.02881","last_updated":"2019-07-08T14:50:36Z","snapshot_observed_at":"2026-07-06T08:05:24.076802Z","submitted_at":"2019-07-05T15:08:39Z","title":"Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-25T01:55:15.352424Z"},"links":{"citing_paper":"/paper/1907.02881"},"observation_digest":"sha256:56b039677b95ac404091c8bbdc2ec47f6c0dbd5607d99801e5b4603a356c95e7","observation_id":"5bf9c8ba-16e2-4418-b57e-ea90367c77fd","resolution":{"observed_at":"2026-05-25T01:56:33.082434Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"From CSP to hybrid systems","venue":null,"work_id":"78e7f5a9-d2da-491d-b77c-60857b575370","year":1994},"citing_paper":{"arxiv_id":"1907.02881","last_updated":"2019-07-08T14:50:36Z","snapshot_observed_at":"2026-07-06T08:05:24.076802Z","submitted_at":"2019-07-05T15:08:39Z","title":"Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-25T01:55:15.352424Z"},"links":{"citing_paper":"/paper/1907.02881"},"observation_digest":"sha256:94482634263646a8afcba459f919d50d6a33b098b7b27eecfda2ba39558b6394","observation_id":"e2f2a5f1-89a8-4ce5-9974-04fe207b99e2","resolution":{"observed_at":"2026-05-25T01:56:33.086128Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"A calculus for hybrid CSP","venue":null,"work_id":"f7f9811c-afbe-4b9f-930d-c2e386b69f60","year":2010},"citing_paper":{"arxiv_id":"1907.02881","last_updated":"2019-07-08T14:50:36Z","snapshot_observed_at":"2026-07-06T08:05:24.076802Z","submitted_at":"2019-07-05T15:08:39Z","title":"Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-25T01:55:15.352424Z"},"links":{"citing_paper":"/paper/1907.02881"},"observation_digest":"sha256:38fa8e3d155df0516816028f8e9327b73f55ce6168fdcaafb36d951176adbd75","observation_id":"1f8a7a02-c164-4f71-af38-1ae8cca1dfec","resolution":{"observed_at":"2026-05-25T01:56:33.107858Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Comp ositional proofs in dif- ferential dynamic logic","venue":null,"work_id":"0b166103-8d1f-48f5-a1c4-7455b95baa02","year":2017},"citing_paper":{"arxiv_id":"1907.02881","last_updated":"2019-07-08T14:50:36Z","snapshot_observed_at":"2026-07-06T08:05:24.076802Z","submitted_at":"2019-07-05T15:08:39Z","title":"Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-25T01:55:15.352424Z"},"links":{"citing_paper":"/paper/1907.02881"},"observation_digest":"sha256:7c38026bb44635c15d9f92355310e7d504bc040722ca02bca733d0822a21fefc","observation_id":"86aab8af-4e41-4f10-8f50-5996b017da46","resolution":{"observed_at":"2026-05-25T01:56:33.125480Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Lynch, Roberto Segala, and Frits W","venue":null,"work_id":"acc80971-13fc-4201-806f-17e4ebb34511","year":2003},"citing_paper":{"arxiv_id":"1907.02881","last_updated":"2019-07-08T14:50:36Z","snapshot_observed_at":"2026-07-06T08:05:24.076802Z","submitted_at":"2019-07-05T15:08:39Z","title":"Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-25T01:55:15.352424Z"},"links":{"citing_paper":"/paper/1907.02881"},"observation_digest":"sha256:3422df20bdafa013a9d61d2755349c3dc2cbf4129e2a6cd21ff6435b534866f1","observation_id":"48379873-11ac-4f8d-8a4d-2069c3a41410","resolution":{"observed_at":"2026-05-25T01:56:33.079296Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"A component-based approach to hybrid systems safety verification","venue":null,"work_id":"4dad46ed-b55b-4663-9965-a50855660503","year":2016},"citing_paper":{"arxiv_id":"1907.02881","last_updated":"2019-07-08T14:50:36Z","snapshot_observed_at":"2026-07-06T08:05:24.076802Z","submitted_at":"2019-07-05T15:08:39Z","title":"Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-25T01:55:15.352424Z"},"links":{"citing_paper":"/paper/1907.02881"},"observation_digest":"sha256:ccf7a73cbd0c5fb62ff5381040e6670fc6a31c4eacbeb56c5b88599793e8e341","observation_id":"afca92f1-74bb-4274-9091-ea24e7ba7e8b","resolution":{"observed_at":"2026-05-25T01:56:33.104807Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Tactical contract composition for hybrid s ystem component verifi- cation","venue":null,"work_id":"1bbb575d-7f2c-4798-8fbb-f1e704057478","year":2018},"citing_paper":{"arxiv_id":"1907.02881","last_updated":"2019-07-08T14:50:36Z","snapshot_observed_at":"2026-07-06T08:05:24.076802Z","submitted_at":"2019-07-05T15:08:39Z","title":"Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-25T01:55:15.352424Z"},"links":{"citing_paper":"/paper/1907.02881"},"observation_digest":"sha256:634f84740540b9647cc4988bcebe258a43ebe2d3f0aef928d1d8daa8ca9e8241","observation_id":"9caea784-7e9c-401d-8026-02bc2d07796b","resolution":{"observed_at":"2026-05-25T01:56:33.101187Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"The complete proof theory of hybrid syst ems","venue":null,"work_id":"8db002ec-e5ed-4a85-a07f-b69883cd334f","year":2012},"citing_paper":{"arxiv_id":"1907.02881","last_updated":"2019-07-08T14:50:36Z","snapshot_observed_at":"2026-07-06T08:05:24.076802Z","submitted_at":"2019-07-05T15:08:39Z","title":"Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-25T01:55:15.352424Z"},"links":{"citing_paper":"/paper/1907.02881"},"observation_digest":"sha256:a29969a241e12a8220c8db09c1568e4d00788a638934ff3c749557b380b70a68","observation_id":"9d35865b-29b9-46ab-a63e-b4f4ef52269d","resolution":{"observed_at":"2026-05-25T01:56:33.093200Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"A complete uniform substitution calcul us for differential dynamic logic","venue":null,"work_id":"7160a4bd-3336-4bd4-b7c4-b393038ed6a7","year":2017},"citing_paper":{"arxiv_id":"1907.02881","last_updated":"2019-07-08T14:50:36Z","snapshot_observed_at":"2026-07-06T08:05:24.076802Z","submitted_at":"2019-07-05T15:08:39Z","title":"Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-25T01:55:15.352424Z"},"links":{"citing_paper":"/paper/1907.02881"},"observation_digest":"sha256:0e303f19e0d159ff7caf5e1a7611cf3dcfefab9ec4e82461fa7731cb95bef17f","observation_id":"e868ded5-342c-4297-ba1d-bab24ce688ae","resolution":{"observed_at":"2026-05-25T01:56:33.121339Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Logical Foundations of Cyber-Physical Systems","venue":null,"work_id":"3635aea4-7a8d-4d8b-896e-712a3bb213d1","year":2018},"citing_paper":{"arxiv_id":"1907.02881","last_updated":"2019-07-08T14:50:36Z","snapshot_observed_at":"2026-07-06T08:05:24.076802Z","submitted_at":"2019-07-05T15:08:39Z","title":"Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-25T01:55:15.352424Z"},"links":{"citing_paper":"/paper/1907.02881"},"observation_digest":"sha256:cfd2659536c5fbfdaa12d1749e15f32de80cdd71722f15ad818ac20f66bebcb9","observation_id":"cb6b0159-f964-4138-bbb2-592030c0311f","resolution":{"observed_at":"2026-05-25T01:56:33.112987Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Differential equation a xiomatization: The impressive power of differential ghosts","venue":null,"work_id":"e5cabf83-cffe-4101-bd25-7c1a801ced6c","year":2018},"citing_paper":{"arxiv_id":"1907.02881","last_updated":"2019-07-08T14:50:36Z","snapshot_observed_at":"2026-07-06T08:05:24.076802Z","submitted_at":"2019-07-05T15:08:39Z","title":"Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-25T01:55:15.352424Z"},"links":{"citing_paper":"/paper/1907.02881"},"observation_digest":"sha256:a105064338d0eee5916b7daaa09c31694fbd160cd9359663a6f1fee3a7599fb7","observation_id":"8a23763d-b1e5-4844-a391-62e399ae97af","resolution":{"observed_at":"2026-05-25T01:56:33.117408Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Frama-c: a software analysis p erspective","venue":null,"work_id":"864e6c15-e7f1-439c-b36d-3ab3047212b2","year":2012},"citing_paper":{"arxiv_id":"1907.02881","last_updated":"2019-07-08T14:50:36Z","snapshot_observed_at":"2026-07-06T08:05:24.076802Z","submitted_at":"2019-07-05T15:08:39Z","title":"Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-25T01:55:15.352424Z"},"links":{"citing_paper":"/paper/1907.02881"},"observation_digest":"sha256:fd8a3cee1f57b4a530a4a6eb68f19237cc95ca7ecbb8db92c3bb9e535f70c5d0","observation_id":"1e9ab236-eff6-4711-9cf4-547f654e796a","resolution":{"observed_at":"2026-05-25T01:56:33.077210Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1907.02881","last_updated":"2019-07-08T14:50:36Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-07-06T08:05:24.076802Z","submitted_at":"2019-07-05T15:08:39Z","title":"Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic"},"reference_resolution":{"displayed":15,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":15},"total_outbound_references":15},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 15 of 15 outbound references and 0 inbound Pith citation observations for arXiv:1907.02881."}