{"as_of":"2026-08-17T05:23:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a7f75ffd7e2556d53ed92cf6053e07ea06d075855aaeac50807fd4b2365ced9b","coverage":[{"denominator":82,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":82,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T13:16:48.639993Z","state":"measured"},{"denominator":82,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":82,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+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/1908.05535/citation-record","integrity":"/paper/1908.05535/integrity","json":"/paper/1908.05535/citation-record.json","paper":"/paper/1908.05535"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:47.950758Z","title":"Schmitt, and Mattias Ulbrich","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:47.950758Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:e849b98bf9df172c165eebae075363a49c2f49bfd307f362fb3a8ca32d3e7419","observation_id":"03229d5d-db31-4b79-8300-f196a4d4d231","resolution":{"observed_at":"2026-08-14T13:16:47.950758Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:47.957746Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:47.957746Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:28abc4eb93aafa37ecdb11eba9153549f86e2c2f80c8571e61264675033c0195","observation_id":"7d566513-fb66-47de-8b98-9afa1c3157a7","resolution":{"observed_at":"2026-08-14T13:16:47.957746Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0304-3975(79)90058-6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:49.553760Z","title":"Apt, Jan A","venue":null,"work_id":"7a183993-317b-44a2-8837-285e46589cf0","year":1979},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:47.964409Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:82d66811216ba03a0258f1d12aa0c7fe33fa0d0ed8f127d2c2e34db4f7707126","observation_id":"17cb542e-400c-4f19-b1a3-27c120d68703","resolution":{"observed_at":"2026-08-14T13:16:49.561136Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:47.971947Z","title":"Arnon, George E","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:47.971947Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:f605da5f2e308f46a6216852c614a9f565dd13731c3b3f7a07237401cdeb177b","observation_id":"8f627b9a-70b1-45e7-9153-0fc435c421a1","resolution":{"observed_at":"2026-08-14T13:16:47.971947Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:47.985022Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:47.985022Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:4ccc44239c842900221e0f2a6eb6a04b5683611982511baddc667d8514b1c4ec","observation_id":"f6b97fe1-16f0-454d-8993-97cede05e7fc","resolution":{"observed_at":"2026-08-14T13:16:47.985022Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-30569-9_3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:49.495162Z","title":null,"venue":null,"work_id":"5091c300-0d98-40d9-849f-2ed68eb1037d","year":2005},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:47.993667Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:b3e2e94a3a359937bd86f06e99f4daf284e6ba9bd67aafe48a22a31482bd86f6","observation_id":"7ed8758c-8a5d-44fb-8154-7d25e815da8b","resolution":{"observed_at":"2026-08-14T13:16:49.501345Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-14T13:16:51.164108Z","title":null,"venue":null,"work_id":"30a25830-f4a2-4eb2-8a18-f9716f96d595","year":1997},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.016143Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:70eb9b87dc20eae486cd64a702c7198a8224e17ac555e87ca450888a830368eb","observation_id":"c0f7ded1-459f-4a07-9673-429cdcd41a2d","resolution":{"observed_at":"2026-08-14T13:16:51.170759Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-14T13:16:51.145175Z","title":null,"venue":null,"work_id":"d5c91597-a12b-47c4-8255-0f66c0e5a491","year":2017},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.027822Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:54fe63ab62bb7bc060a56f0f2124a669ce60405be27e87ccad2ca0d303d360d9","observation_id":"25354055-29c2-4ef4-b9d0-967c88efd7db","resolution":{"observed_at":"2026-08-14T13:16:51.150531Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.036299Z","title":"Henzinger, and Arjun Radhakrishna","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.036299Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:be03629bac2bf64de6cc3231b25e411bf0add18dcdc8e8745e22f03bdfe2c1a7","observation_id":"9f56b041-ac11-49a4-a131-1537b3a7e9d0","resolution":{"observed_at":"2026-08-14T13:16:48.036299Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.046849Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.046849Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:e11760a648b597f475d14954628c20e1eabfe76ccbab4fc626acb847d687d862","observation_id":"9eca6acf-9380-4c9f-87de-1c575c708bb5","resolution":{"observed_at":"2026-08-14T13:16:48.046849Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf00263992","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:49.456406Z","title":null,"venue":null,"work_id":"44d83563-7472-4437-ba48-85f376cfb7b8","year":1980},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.056921Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:a37a6d0812c82e9880375d4ac12d03243b7623b4c22602f9c19b04255e95e810","observation_id":"a6340d2a-d4a4-40a0-b37b-b131ec140e86","resolution":{"observed_at":"2026-08-14T13:16:49.461621Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.066669Z","title":null,"venue":null,"work_id":null,"year":1973},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.066669Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:03fae126b957572ec93bfb4a9647fce6281d37ae797a685d368198cb0389fb67","observation_id":"d431fe39-80a6-49ec-9b14-289a31ca891b","resolution":{"observed_at":"2026-08-14T13:16:48.066669Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.076042Z","title":"Collins and Hoon Hong","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.076042Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:01a174e21efe41874d549518b0e4b139c479653ba221e5ccead8db461c356708","observation_id":"81dc7e1a-9f65-4a24-b313-6932b0ada32c","resolution":{"observed_at":"2026-08-14T13:16:48.076042Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-68103-8_5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:49.402797Z","title":null,"venue":null,"work_id":"77fd1213-c6ef-4a27-b584-0358677de527","year":2007},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.089049Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:8512966adc54aaa60b9a43acd5b82134fbb61a3c9cd312a73f0c9e3541660a75","observation_id":"63920ae9-e379-45bd-b475-eeab1756dc72","resolution":{"observed_at":"2026-08-14T13:16:49.408594Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.097519Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.097519Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:0d34dcaeef6a7d84a00f9fa91b71cf87857b18137bb84a0bd21d3cc6d85bba09","observation_id":"30a181e6-cbc8-4a11-a7c0-eb3fd12ff922","resolution":{"observed_at":"2026-08-14T13:16:48.097519Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.107219Z","title":"Davenport and Joos Heintz","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.107219Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:3852c6b18d7ca227b2d96749ce2089f09574c944afd76d52da2b94f97ec3bc3c","observation_id":"0440e3a4-679e-46c8-bcbe-6cbf62ec5e75","resolution":{"observed_at":"2026-08-14T13:16:48.107219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:51.126050Z","title":null,"venue":null,"work_id":"c15df360-941d-4d2d-901b-b98b9448fe42","year":1981},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.114437Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:c924d619a81315bde0d005aed28311608ac1760da0787de126fec86cca462d44","observation_id":"29ac5d55-429e-46cb-9192-5dcb4d983ae2","resolution":{"observed_at":"2026-08-14T13:16:51.132182Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5236.17652","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:50.534131Z","title":null,"venue":null,"work_id":"5fa4bf34-9a27-4cb6-9f7c-644c6c55cdd2","year":2000},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.121296Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:0fbc565749034d4b5c78c55a5298ee5a75baa37bc8eef86b8595d596968ea246","observation_id":"035e7538-3d23-443d-a910-950aa1f26cc2","resolution":{"observed_at":"2026-08-14T13:16:50.543295Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.127817Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.127817Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:56f73b2579b144c80d6dd4c9a0003f7d006ae718dc14ab1b5dd9cc290f2bba05","observation_id":"c782d9a5-7d5b-4151-ae6f-4c09f10aa7ba","resolution":{"observed_at":"2026-08-14T13:16:48.127817Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:51.106753Z","title":null,"venue":null,"work_id":"1041688c-68de-47b1-8caf-77452088ac4f","year":2005},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.133611Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:1f7ae8286e389966dbb7b6d3e4344b58247df9ad7fc089a72b53d64a173fa1af","observation_id":"585a8786-c041-4a0c-af76-ba9cfd082a71","resolution":{"observed_at":"2026-08-14T13:16:51.112053Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.140627Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.140627Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:6f729c976925a9c606bdba9e442fc1a1da41dde84ca14a7e14784823242df101","observation_id":"222e02c9-9574-42a9-91bb-cfe92a225a51","resolution":{"observed_at":"2026-08-14T13:16:48.140627Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:51.087920Z","title":null,"venue":null,"work_id":"4aeb80b6-d156-46e9-a437-c613f89c0f3e","year":2017},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.146810Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:93807a4758b2a2757fdfa0d5365a28bc6a47f40f83e770b259c3b3eca581f03e","observation_id":"eb61a405-15f6-4872-81bb-549635f4cdbe","resolution":{"observed_at":"2026-08-14T13:16:51.094269Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.152897Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.152897Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:a92e48a814a84844cb843f4ea246c4e008d126d3c897c16908fe719c1dd1d5ba","observation_id":"35367993-d605-49f7-b953-46c1ba6f39cf","resolution":{"observed_at":"2026-08-14T13:16:48.152897Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.158810Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.158810Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:459ea5cd21ae4ff75eb1a15b9ab6d2137537e3954d9b6981fbf2ba737a6f0b77","observation_id":"3af46b01-a7c4-407f-b425-058a19a01cfc","resolution":{"observed_at":"2026-08-14T13:16:48.158810Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:51.068852Z","title":null,"venue":null,"work_id":"d6c1f7a4-530c-4765-a9fb-85359c586cd2","year":2013},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.166387Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:83cbc1e47469ee3af8d8afe1aaa29d68e8b6b93af160dec5cd94015b43a32278","observation_id":"acc0eca4-1fd1-4a5f-8ef5-6efa4664c91f","resolution":{"observed_at":"2026-08-14T13:16:51.075140Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.6092/issn.1972-5787/1979","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:49.296054Z","title":null,"venue":null,"work_id":"cc9e6693-e7a0-4023-8016-b82d59be0874","year":2010},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.172410Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:8ff0ec4b5a5f797b3872994eef7c1f51a70514ac60dd5d95b62cad7fa5858d4b","observation_id":"31c9e03c-4384-402b-ab5c-45adfe3b7788","resolution":{"observed_at":"2026-08-14T13:16:49.306383Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-14T13:16:51.048492Z","title":null,"venue":null,"work_id":"2ca3ff8d-46b6-4d51-972e-00e27da9400a","year":2012},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.179561Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:306bd0740b89d741bde6ca5fd0b628f60fca1dc3d207c3b5169fc2420fd6bce3","observation_id":"4bbb033b-4778-4ef2-bb76-8740179a4112","resolution":{"observed_at":"2026-08-14T13:16:51.053904Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-14T13:16:51.026661Z","title":null,"venue":null,"work_id":"47b3fdc6-f5a4-4260-8520-f3bdb065f04a","year":2000},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.187294Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:52f76eeb01645902ec435855341251d8bf1c78b211d719fd116b01fe8607fd6f","observation_id":"85698de2-37f8-49c1-b9b0-c9f4f4fa9427","resolution":{"observed_at":"2026-08-14T13:16:51.034818Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bfb0105406","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:49.273724Z","title":null,"venue":null,"work_id":"fc698e69-4060-4ba3-aa46-ab838875484e","year":1996},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.198566Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:fe86d9a92e6316f36e1e7bfd5b2f60aa7132f04544d43d886fb07c62736da94f","observation_id":"3fefd9d3-6330-4bd0-88d8-c20b45298cb8","resolution":{"observed_at":"2026-08-14T13:16:49.280273Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.205461Z","title":"Henzinger","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.205461Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:812790b8ab570c14d899d6393eebcc815b6875a4ac2a6f1c8bc3580bbc964e4e","observation_id":"fcef2f9a-a2b0-41b7-a4e3-0cb1e8f1c1ba","resolution":{"observed_at":"2026-08-14T13:16:48.205461Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-63166-6_48","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:49.250307Z","title":"Henzinger, Pei-Hsin Ho, and Howard Wong-Toi","venue":null,"work_id":"3eec0774-99c3-4be0-a530-268e466ff62c","year":1997},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.213281Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:0936d30accf455a9bbec29c739453a652a344763c1a161b75edab41dac9994c8","observation_id":"69751828-6303-4a69-a167-c7b6b20b58ef","resolution":{"observed_at":"2026-08-14T13:16:49.257445Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.220018Z","title":null,"venue":null,"work_id":null,"year":1969},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.220018Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:af2b3a8530d32ee21cb002af68919fea5be228cd365b7b75acedfea7cacf6925","observation_id":"b2362d2f-bbe1-45ef-80b1-346659a7e56d","resolution":{"observed_at":"2026-08-14T13:16:48.220018Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2015.73182","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:50.176890Z","title":null,"venue":null,"work_id":"856688b8-02cf-49da-b907-00c5c1da635f","year":2015},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.226880Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:3570b25be3c02074917d6d9f76656d93306287b60eac8ff0e7398dee21e52206","observation_id":"5532028d-a0c1-4b37-9a44-abe126cb15bd","resolution":{"observed_at":"2026-08-14T13:16:50.187982Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.234472Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.234472Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:0c6fb7ce2af8e1a368790f8f29f8d1ab305863e5431cd7ea1b38c8132ac13989","observation_id":"507aa674-6443-40cd-89d2-9d17253cb4e8","resolution":{"observed_at":"2026-08-14T13:16:48.234472Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-662-49122-5_11","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:49.224865Z","title":null,"venue":null,"work_id":"5d2fb8cc-1bd8-4e85-ad09-98619d1cdcbc","year":2016},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.243672Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:de4dde033a76dc5b91d04286a53f7f5dca090aa86baafca912c57d3a2220156f","observation_id":"2dd31a75-c247-44d0-8e28-4da8503a1580","resolution":{"observed_at":"2026-08-14T13:16:49.233502Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/1743546","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:49.204993Z","title":null,"venue":null,"work_id":"24e66346-07df-464e-8c87-7b251594830e","year":2010},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.254920Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:d93866dffa2715f378fa49fb91973fb1b192f366946d9cc035cebbc24c99ac54","observation_id":"5dc94b8a-1e4a-4afb-8c05-ddeaf97878a9","resolution":{"observed_at":"2026-08-14T13:16:49.210860Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.276967Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.276967Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:370ce0fe5fca6d8417f964e439a73e4846af1869151f4eeaeb8565aba66e5250","observation_id":"8748c11d-6b25-42f3-8598-bc7eadf9e59f","resolution":{"observed_at":"2026-08-14T13:16:48.276967Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:51.004060Z","title":null,"venue":null,"work_id":"a00c1ad7-93e9-4ffa-952d-eff99fb05d44","year":1992},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.285337Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:635faefa2befb402c5b8c8458714b30262e9d06c6d3c1f1f44ff6a916255e428","observation_id":"ef4bcf3d-33dd-45c9-97e6-b0e95f455524","resolution":{"observed_at":"2026-08-14T13:16:51.010416Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-14T13:16:50.980071Z","title":null,"venue":null,"work_id":"17895035-ecdb-43c7-b59f-05b0b481cce9","year":1995},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.292298Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:be40ba1235359e85406642f6a01d53336e2695a4f96d5caa948b6a856e2a3d32","observation_id":"85c8dc09-620e-4905-86cb-bc6e9e6276cd","resolution":{"observed_at":"2026-08-14T13:16:50.986775Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.299318Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.299318Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:1f0c2996fcfaa6fa440e14ecc0b48d9b849eabb6ac0bf295cd3cb9971dd244da","observation_id":"27504436-9f4c-4fa0-aae1-ec866d399b68","resolution":{"observed_at":"2026-08-14T13:16:48.299318Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.307524Z","title":"Leavens, Albert L","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.307524Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:da7a5c75854197bea2b04de6dfe22b8ee300d4f963ade637683ef2a233c1964f","observation_id":"e44aeef1-5283-4b64-a717-e17b0aa7357c","resolution":{"observed_at":"2026-08-14T13:16:48.307524Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.315967Z","title":"Rustan M","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.315967Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:4c8526e3f1deb226d163cb5fabaa2a10d6a0733cdb063aeda8da01bb5bd06e78","observation_id":"6c1de967-5de5-4c6f-98aa-460fdb979627","resolution":{"observed_at":"2026-08-14T13:16:48.315967Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:50.958864Z","title":"Rustan M","venue":null,"work_id":"a0c059eb-13ed-46e5-bb5a-35673a88417c","year":2009},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.323263Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:401838cf89669d8e2439ee57e752d94f4c2cb3f5d979cf3c2861654529f660c3","observation_id":"93cab6f8-1ff0-4e7e-8baf-16ce9db033bc","resolution":{"observed_at":"2026-08-14T13:16:50.965278Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-14T13:16:50.934974Z","title":null,"venue":null,"work_id":"6f978d1f-88d0-4dea-8878-ee13bfa6c619","year":2008},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.330471Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:03862f2e07ddbddff601dc0eaa78013e8bd11f609d5c25157dfe25e9fa6ce9fe","observation_id":"eddf0960-5e10-424b-bcea-5b48b666dba2","resolution":{"observed_at":"2026-08-14T13:16:50.941522Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-14T13:16:50.915693Z","title":null,"venue":null,"work_id":"2bfdacc1-fd98-471f-a659-892d70b2b3da","year":2007},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.336477Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:ef74426c6bd3d0d8bd095b5a2d3f33bbab69b19b772a079add15f16916e92156","observation_id":"852d68a9-8072-454a-aebd-26ced8818df6","resolution":{"observed_at":"2026-08-14T13:16:50.920984Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.343433Z","title":"Loos, André Platzer, and Ligia Nistor","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.343433Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:1584893cf2c4e2136fd692f70cfa87e037c100df7fe51ecf355312330e7ded3f","observation_id":"9d2156a5-a66e-40c6-93de-7196890ace74","resolution":{"observed_at":"2026-08-14T13:16:48.343433Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.350564Z","title":"Loos, David W","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.350564Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:2957cef4b04ad9e53da9aae30ecbf949c7d2d69d337a3c13648b34a5550514c5","observation_id":"f40061e4-2978-4773-a77a-892e0bad9f3d","resolution":{"observed_at":"2026-08-14T13:16:48.350564Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:50.896126Z","title":null,"venue":null,"work_id":"21b07b75-d7d2-4730-8ee2-42a203fc8cfa","year":2015},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.356708Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:ebe2325fcf6ce865296a72b374fcc23220d15875b2ecad4a886a85fc3c2dcd33","observation_id":"87e2fb38-06da-4f3d-8539-d7fea2cb1f75","resolution":{"observed_at":"2026-08-14T13:16:50.902474Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10817-015-9360-2","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:49.095932Z","title":null,"venue":null,"work_id":"efe3d42b-5c00-46b8-800f-28948eaab15e","year":2016},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.362919Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:2d3dacffcd30d6d6452d959fca8f863aa8a4e07797159f72bd319e3363b3b556","observation_id":"540edc7c-8eee-4647-a891-b8a86ca80a49","resolution":{"observed_at":"2026-08-14T13:16:49.103339Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-14T13:16:50.875590Z","title":null,"venue":null,"work_id":"4167f0f8-9021-4162-b727-39c4c12afb44","year":2013},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.370413Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:f1646efdbc4089b3251dbfc03ce2f3a0478cc2593e2a5f2765ddf96a337987c2","observation_id":"d54816db-9fde-47d5-9cc4-834478d28a6b","resolution":{"observed_at":"2026-08-14T13:16:50.881383Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.240.5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:49.069015Z","title":null,"venue":null,"work_id":"9e9b0977-1e54-473c-9a15-e44d565f1cdd","year":2016},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.376368Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:f7f5d966fe81f5a1c2d7882f3160d517d939512963cc655d6e6178b8c23d594e","observation_id":"34cc9cf4-36f5-41bc-a873-ecbc4263d0b4","resolution":{"observed_at":"2026-08-14T13:16:49.076738Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/itsc.2015.128","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:49.044058Z","title":null,"venue":null,"work_id":"8ba9ee3e-f45e-46bb-94a7-bce0ffc5850b","year":2015},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.383069Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:d71eab9eb6103914604b6a3b64096b8b5b96bb21d5007b47c0ced1de99da8364","observation_id":"0c27ea8a-406d-48cf-9359-73413f338471","resolution":{"observed_at":"2026-08-14T13:16:49.050361Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-14T13:16:50.852609Z","title":null,"venue":null,"work_id":"eab69226-f208-46ca-867a-c2518142c6c6","year":2002},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.390574Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:bba7335585ece2aa747c0b4c17b466b6d59c313e101ed33433e8a74259bdf6c2","observation_id":"a116b3a2-5478-4b15-aa84-736af20dee78","resolution":{"observed_at":"2026-08-14T13:16:50.860535Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-14T13:16:50.830700Z","title":null,"venue":null,"work_id":"af74acc6-a5e5-4d58-a88e-fcf9966eaf47","year":2002},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.399223Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:5544fcb7a446ad08b927ff6b2e3ca97a06954926d0b90e71f12418438a66d49e","observation_id":"940815eb-fc4c-4aea-ad0f-f521fd53d7a9","resolution":{"observed_at":"2026-08-14T13:16:50.838200Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.405844Z","title":null,"venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.405844Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:e54493f7702756ec84973124f24a9d53cbd908821d8f5d7a6d8db1972a01942f","observation_id":"be1119a7-b15e-4137-88f5-d47d9b3a2f30","resolution":{"observed_at":"2026-08-14T13:16:48.405844Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:50.807567Z","title":null,"venue":null,"work_id":"2c212782-ec18-4ce2-b7cc-2d4a29ac7c9a","year":1975},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.413140Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:e32a8c19dbf02a26ef69b814c124b9c2704d5009b8d8b19969dc2504d6443175","observation_id":"b57b9d07-2c38-4bf2-a9d8-5892c7ebf988","resolution":{"observed_at":"2026-08-14T13:16:50.814887Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-73099-6_17","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:49.000682Z","title":null,"venue":null,"work_id":"a19cbf61-1eb7-4872-8149-22f7c5db66c8","year":2007},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.419034Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:7e8e2965bf3f721fcb7e90322fc48c5b996ce236373570947dc4332ce6bc3867","observation_id":"506667dd-8861-41fd-8e67-886f9d439e3f","resolution":{"observed_at":"2026-08-14T13:16:49.008814Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.426850Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.426850Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:73a5278ed36edb0d1bd7ef5865c64d9e3448e078fa6781b0173a0f354736975e","observation_id":"98ed2b33-8f7c-4335-91ef-0bc434fa9c26","resolution":{"observed_at":"2026-08-14T13:16:48.426850Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.432443Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.432443Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:7f56a8b67b6a06889b6824c4f594b1d1cbe88fee7def8fbbdfe69fd250021641","observation_id":"4eb9145d-85db-4a01-8311-04919ef4b7dd","resolution":{"observed_at":"2026-08-14T13:16:48.432443Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.438335Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.438335Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:7861828c9bc1a48750590b5dcdafa5eb30e228639487a01148ae8c2b6d635ed5","observation_id":"b4dcefe0-24a9-4abf-a703-d60d1b36b64d","resolution":{"observed_at":"2026-08-14T13:16:48.438335Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2168/lmcs-8(4:16)2012","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.918906Z","title":null,"venue":null,"work_id":"81294975-89b9-4f68-bc9c-0af078f144d9","year":2011},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.448832Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:8d95f0f6f683685aa5cb8300ea22493e918d2a9627a2b57c725dd4f6cd02cc61","observation_id":"301c10fc-c508-488f-8c85-3d81e91da4df","resolution":{"observed_at":"2026-08-14T13:16:48.925877Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2168/lmcs-8(4:17)2012","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.893723Z","title":null,"venue":null,"work_id":"b5f4ca9f-a8ea-4d2a-b613-96429b6907b4","year":2012},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.455053Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:74ffcb2ef6953e56ad509eaabaea9d5af3fb2b5b70adaaf69351cb35829987bb","observation_id":"2630d50c-e2e9-42ab-ab05-4b95eb999bbd","resolution":{"observed_at":"2026-08-14T13:16:48.901747Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-14T13:16:50.785006Z","title":null,"venue":null,"work_id":"1cd9c14d-d920-42b1-8a09-ecf4301491ad","year":2012},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.466937Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:96a5bdc7cf22117683e0ffefbe0476531d618be47c05015999921be49bc59056","observation_id":"67d58271-f005-449d-a15a-b956c0381083","resolution":{"observed_at":"2026-08-14T13:16:50.793584Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1503.01981","last_updated":"2015-07-30T19:18:02Z","snapshot_observed_at":"2026-08-14T22:57:24.550508Z","submitted_at":"2015-03-06T15:05:30Z","title":"A Uniform Substitution Calculus for Differential Dynamic Logic","version":5},"cited_work":{"arxiv_id":"1503.01981","doi":null,"metadata_source":"pith","pith_arxiv_id":"1503.01981","snapshot_observed_at":"2026-08-14T13:16:49.839632Z","title":"A Uniform Substitution Calculus for Differential Dynamic Logic","venue":"cs.LO","work_id":"2d1bc8af-ac9f-410c-9e92-cbbdd68b9af1","year":2015},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.474912Z"},"links":{"cited_paper":"/paper/1503.01981","citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:a844f4910cbe0d8d1155c0422c6b8dd32ebce43ae11f29261e360adcbcef326a","observation_id":"35d750ba-d1f8-4c93-9f18-5a5c2988496f","resolution":{"observed_at":"2026-08-14T13:16:49.847600Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.486149Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.486149Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:71a4cc929aeb5809c6ab1c0b927f35e99ac7d53db143e71a41aedaf785f9a88c","observation_id":"da10da2c-34ce-4ad5-a181-79a89513bc21","resolution":{"observed_at":"2026-08-14T13:16:48.486149Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:50.760190Z","title":null,"venue":null,"work_id":"b51a3fda-f876-4300-8bb5-02f99a8ccec9","year":2009},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.499672Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:601bccd44183f2609848a4ae9e669d2e50726bc8243cbfbcc06de33344028bc8","observation_id":"892ee9ca-920d-4722-9eda-216e5dfd6dd2","resolution":{"observed_at":"2026-08-14T13:16:50.766861Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-71070-7_15","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.853161Z","title":null,"venue":null,"work_id":"eed2880c-0c98-4295-a16d-94aae28e1438","year":2008},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.507966Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:9d6b45d733bd941d2cad1e8ff9f27ef4d4d516b12237a05b128785031af4bd6a","observation_id":"fa8f7fdc-f7c7-47c2-93b7-bdedc1e07074","resolution":{"observed_at":"2026-08-14T13:16:48.861809Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-14T13:16:50.732451Z","title":null,"venue":null,"work_id":"d46baa91-2ba5-4acc-a29f-c31a7d4cb5c0","year":2009},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.516450Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:e48af8afd932bd670f923afa7b7ca0d30abf1c2be6403548963f8c257cbdafc7","observation_id":"512d25ab-8ebc-449c-bf87-e0b55459280f","resolution":{"observed_at":"2026-08-14T13:16:50.740240Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-14T13:16:50.711466Z","title":null,"venue":null,"work_id":"d03e0211-500b-457f-980f-c101da196cdc","year":1976},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.525044Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:71962c484361339e26a8a259f1e2e8b95ab698d056e9abcbe1bcd5b284bb25aa","observation_id":"ead79fa8-b52c-4637-bee9-b3f80faf90ac","resolution":{"observed_at":"2026-08-14T13:16:50.716564Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf00247436","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.823088Z","title":null,"venue":null,"work_id":"75464286-e1f6-4a57-9aad-e940eef6cb71","year":1987},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.532933Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:f484a01d8f1b06dfcb9e8ab0620328b0f8e7f821afa867606dfa7812c597e396","observation_id":"e4e97c6f-38b6-4c5a-bfd6-2b6cde1036f7","resolution":{"observed_at":"2026-08-14T13:16:48.831350Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.540837Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.540837Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:43f6e7e2ca22810d8f38711536c2a28f08bf705809680c63655fd6aba44494cd","observation_id":"3d3b7126-fa54-45d5-abe5-12f0213f3a3e","resolution":{"observed_at":"2026-08-14T13:16:48.540837Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.549443Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.549443Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:250c69b98b1d0e7da32c9b841a39fe5e8b796c097268a2e8ccdf0abf3c89d474","observation_id":"4069dc90-364a-4b43-b3f2-8e4e919dfb4c","resolution":{"observed_at":"2026-08-14T13:16:48.549443Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-22012-8_31","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.799030Z","title":null,"venue":null,"work_id":"e7dc84f3-0817-41fe-bc0b-406ba6614959","year":2011},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.560054Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:2701fc9adc79db7f592c6d75a37760c6505388804c85bc5131e549deb86a3bb2","observation_id":"74529d24-32fb-4bd6-a18c-632a4cbda73c","resolution":{"observed_at":"2026-08-14T13:16:48.806789Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-14T13:16:50.692549Z","title":null,"venue":null,"work_id":"b98719af-ccf3-4fdb-ad35-3ab443fb3c30","year":1997},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.570317Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:ea7d19c32ad6dce60e2424a06653329f0b0c488ec44817da5d9ee2955eb8f5ae","observation_id":"a5f4acf5-0e2c-45b9-b83f-a9ea1c5dc3b7","resolution":{"observed_at":"2026-08-14T13:16:50.697722Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-14T13:16:50.674589Z","title":null,"venue":null,"work_id":"265e9b11-1d81-4c68-a840-7cf08ec4ee20","year":2017},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.578512Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:1261fcfc533665ab9d2768c0bcd705f418f46731d7ebcf51eec1fe3882d8298f","observation_id":"1c71ea61-ce5e-4562-8fba-a2c2f53c055e","resolution":{"observed_at":"2026-08-14T13:16:50.680143Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-14T13:16:50.655977Z","title":null,"venue":null,"work_id":"145e3377-c99c-490d-919b-0b25c7c69193","year":2014},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.588290Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:d05e2f6a302cd4727247356202b47defbd3e18d611c5aad0500a2a3da4365e26","observation_id":"7429bd24-bf4c-419e-8401-edf0bf57164c","resolution":{"observed_at":"2026-08-14T13:16:50.661332Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.594481Z","title":null,"venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.594481Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:2f20077e5a26e09f473778fb55ebd7817da1d7376a581adbda9f3ea6a65e2ae6","observation_id":"2a5dd4dd-563b-49ce-8125-22c52e1dc468","resolution":{"observed_at":"2026-08-14T13:16:48.594481Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/11812289_3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.756586Z","title":null,"venue":null,"work_id":"5e6a3737-e687-4363-94a9-2188c6e10c1d","year":2006},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.601912Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:00f38b66d91c05e1faf139c46b798c6d086d522c9ca6f44e313aaa9d10d64b08","observation_id":"2ac99e28-0b09-4ec9-9d2a-9cd67a0923c8","resolution":{"observed_at":"2026-08-14T13:16:48.763258Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-14T13:16:50.638509Z","title":null,"venue":null,"work_id":"21cfd3ce-c3ec-4d69-a8fe-dc7c557fc47a","year":2007},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.616797Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:491715c2db1e46e35cd991dc57d00703526373688ea3e876739222d7b9e9d2a2","observation_id":"faf7df42-04c3-444b-94f2-60ac9d693692","resolution":{"observed_at":"2026-08-14T13:16:50.644465Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1023/a:1021935419355","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.723235Z","title":null,"venue":null,"work_id":"292e422f-c6d0-4a2d-9f71-dbd636cb9ef9","year":2002},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.624460Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:911a5d50489ac6acf8721f5632b643e0f0e61d9d691d1c781e422db1ab44e017","observation_id":"635fa756-004c-41d0-b6f2-a8140ae5e2b5","resolution":{"observed_at":"2026-08-14T13:16:48.735890Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-44755-5_26","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.694118Z","title":null,"venue":null,"work_id":"72316b7a-8dc9-47f1-9f18-37efea51c703","year":2001},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.630742Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:256752bf73e45e48509dc2b9364be057ae1e17e17f470fcf4e5ced9957aa7767","observation_id":"35a3cfdd-455a-4c85-bd0c-325b0b9cb8ff","resolution":{"observed_at":"2026-08-14T13:16:48.702806Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:16:48.639993Z","title":"Krishnaswami, Aleksandar Nanevski, and Viktor Vafeiadis","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-14T13:16:48.639993Z"},"links":{"citing_paper":"/paper/1908.05535"},"observation_digest":"sha256:15589e68c45cd9a6909bfb478390a679d86c84f9d2549b7ec83acecd51c4d8a4","observation_id":"1ac31c1b-4dc5-41f7-9bb9-746fb1759200","resolution":{"observed_at":"2026-08-14T13:16:48.639993Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"1908.05535","last_updated":"2019-08-15T13:46:13Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-16T14:19:54.653288Z","submitted_at":"2019-08-15T13:46:13Z","title":"Toward Structured Proofs for Dynamic Logics"},"reference_resolution":{"displayed":82,"state_counts":{"malformed_identifier":8,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":49,"verified_exact":22,"verified_fuzzy":1},"total_outbound_references":82},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 82 of 82 outbound references and 0 inbound Pith citation observations for arXiv:1908.05535."}