{"as_of":"2026-08-22T09:33:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:43c76db409021b2f87e01b7e2a70576bc74e4a1185715097aea7de1567ab2005","coverage":[{"denominator":29,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":29,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T05:02:06.338596Z","state":"measured"},{"denominator":29,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":29,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-22T06:32:14.747728+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/2412.00906/citation-record","integrity":"/paper/2412.00906/integrity","json":"/paper/2412.00906/citation-record.json","paper":"/paper/2412.00906"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T05:02:06.636928Z","title":"(eds.): Deductive Software Verification - The KeY Book - From Theory to Practice, Lecture Notes in Computer Science, vol","venue":null,"work_id":"0fee17e5-a817-4424-a92a-39cc1b96b6a8","year":2016},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.262625Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:6e013a9c6e4928b5bc354b764bb73604baf0278f5278741097280498a608ffd1","observation_id":"c3436b82-da27-4bdc-91b8-a44ec5b4ffa1","resolution":{"observed_at":"2026-08-12T05:02:06.640719Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2003.12051","last_updated":"2021-02-14T00:23:08Z","snapshot_observed_at":"2026-08-21T13:05:56.901219Z","submitted_at":"2020-03-26T17:39:46Z","title":"Ab initio properties of the NaLi molecule in the $a^3\\Sigma^+$ electronic state","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2003.12051","snapshot_observed_at":"2026-08-12T05:02:06.266670Z","title":"IEEE Trans","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.266670Z"},"links":{"cited_paper":"/paper/2003.12051","citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:89589ad15eb8deb937bc96d5f699984d82c180487c0ea7fd14d9df162729f3f3","observation_id":"4159a00a-3bfe-43b2-a2b4-4535366d212a","resolution":{"observed_at":"2026-08-12T05:02:06.266670Z","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-12T05:02:06.630001Z","title":"MIT Press (2008)","venue":null,"work_id":"960c02ee-2846-4c48-94f1-99c3c4a25f0f","year":2008},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.269874Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:ad72bbb672c20ed491df7917942d7f65a8946d2d20d4af81dd7d3a5cce89ffe5","observation_id":"e785f6b9-4572-49f7-8dea-97b8a4036e9f","resolution":{"observed_at":"2026-08-12T05:02:06.632637Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-12T05:02:06.622265Z","title":"In: Baeten, J.C.M., Mauw, S","venue":null,"work_id":"947ec0d0-5fa8-4149-a339-08a6860600c0","year":1999},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.272448Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:76f056151c3d228e9c31df387aaa3883ac4ae48bb72f71d971e3c47312abf03e","observation_id":"f40b5f38-5f67-483e-ac66-7046c4b0cce2","resolution":{"observed_at":"2026-08-12T05:02:06.624977Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-12T05:02:06.275113Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.275113Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:0c58d3bb3eb238a7eac8305868bc72de0b583370d204012ce7f37df8088ab8d0","observation_id":"5ac4708c-a432-4101-9532-83cca53ee632","resolution":{"observed_at":"2026-08-12T05:02:06.275113Z","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-12T05:02:06.277923Z","title":"In: Sankaranarayanan, S., Sharygina, N","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.277923Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:f4799eb7bd2d908638c7f48befc1563bbd83d89cd7570d3504f0640cfe8b77f5","observation_id":"fac2922b-944f-4a7d-8f7d-9fb8ab5fedd2","resolution":{"observed_at":"2026-08-12T05:02:06.277923Z","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.1145/3434320","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T05:02:06.444303Z","title":null,"venue":null,"work_id":"654a470b-c48a-4a56-a508-e70810a5149e","year":2021},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.280715Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:4508496606f8f148a26c1b347439dde948c2607201045487af73ce239b8cddbb","observation_id":"05ac353f-b18b-4c38-b6ec-5bc1fd28bc36","resolution":{"observed_at":"2026-08-12T05:02:06.447165Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-49812-6_3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"In: Ahrendt et al","venue":"Lecture notes in computer science","work_id":"81bdc08a-e739-4a09-aa40-96a7a99c732e","year":null},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.283123Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:fe7aba6b1cdb086ca2a3a1a387c9eb5cc9cfe0bd827ceda9865e3194cfd4012b","observation_id":"35ccfae0-d828-471f-b87b-fe3a69cf96ea","resolution":{"observed_at":"2026-08-12T05:02:06.438841Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-12T05:02:06.285774Z","title":"Formal Aspects of Computing33(4), 617–636 (2021),https://doi.org/10.1007/s00165-020-00527-y 16 E.B","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.285774Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:8e3dcb73f7b72c56c2b309ad12b02dbb1599f8b0f78388ed87f44c0bc99e4823","observation_id":"08abb8aa-9d95-4035-afcf-08b61ab39ee3","resolution":{"observed_at":"2026-08-12T05:02:06.285774Z","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-12T05:02:06.614591Z","title":"In: Majumdar, R., Kuncak, V","venue":null,"work_id":"61b288bd-f6b2-42c2-87b9-05d19437b4ac","year":2017},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.288512Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:829b729c4acf95476bbea6bb6edd745cfff8f3e7bcd5987137c0ef86f9a55235","observation_id":"1ac46413-142b-44cc-a280-83335d8fb6a9","resolution":{"observed_at":"2026-08-12T05:02:06.617319Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-12T05:02:06.290763Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.290763Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:0e132726cda645b7b4f17ca47932639bef441954ca0f41286ab2843e7c9b0322","observation_id":"aa344bd7-7f68-4efe-bf0d-ec0730d3d31e","resolution":{"observed_at":"2026-08-12T05:02:06.290763Z","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":"4585.35445","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T05:02:06.570149Z","title":"In: Apt, K.R., Hoare, T","venue":null,"work_id":"344b3efc-24e5-4de0-a982-c764f3353620","year":2022},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.293160Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:6b1e1cee9837b45d2ee3657527dae284e78b05d30b1285fedc0f27e1f0959d59","observation_id":"0395069e-c6af-4119-864f-df28c1e1ed3a","resolution":{"observed_at":"2026-08-12T05:02:06.574397Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-12T05:02:06.607460Z","title":"Foundations of Computing, MIT Press (Oct 2000)","venue":null,"work_id":"c59d6d23-c978-4a8e-bb5d-8cc72da091da","year":2000},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.295722Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:3eb4943f03e314d32edbb00f15345f3074cb9b53b5c0f8bb7f03e33a8c34867e","observation_id":"ef3e44bf-405f-40f4-b537-8d66fe8c2d3b","resolution":{"observed_at":"2026-08-12T05:02:06.610159Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-12T05:02:06.298142Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.298142Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:0efcaff92a92cb4f0ffb663c22537810ae96a996675951732512d55261b10712","observation_id":"37d0d9e9-4054-4420-9db2-19fbb3a10ea0","resolution":{"observed_at":"2026-08-12T05:02:06.298142Z","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-25271-6_8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M","venue":"Lecture notes in computer science","work_id":"5b357f7d-29ab-4ae4-8bd5-1b5559619441","year":2010},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.300687Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:e919ff2f6d3bdba061ea7cf7adf36963fe46fe8873e000413de474012605e727","observation_id":"a685485b-ff8e-4ee0-b5c0-823ea209318c","resolution":{"observed_at":"2026-08-12T05:02:06.416491Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-12T05:02:06.303273Z","title":"Formal Methods Syst","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.303273Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:958c51d40a6c5b1e8396d02a06251d2896daf7edb8b64481d82c808fc7010630","observation_id":"fcc88a3e-d0e9-450f-83fd-23e9f466769e","resolution":{"observed_at":"2026-08-12T05:02:06.303273Z","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-12T05:02:06.305921Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.305921Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:cbcbaab58fd664aae0b3bc46bc78dd7884f6c51315cd4d06b419073153706b51","observation_id":"95b716fe-c1b5-4b03-ad13-53cd7d3c2cf8","resolution":{"observed_at":"2026-08-12T05:02:06.305921Z","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-12T05:02:06.599873Z","title":null,"venue":null,"work_id":"047526e1-5c15-4f06-ad42-b4ea4861d61b","year":2019},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.308506Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:d807a3244121471093b2fdeb4adf8ca4f28c4e8739a88cc2c2e465bafce4e055","observation_id":"c3a8e9b5-c89d-48e4-b6bf-4894338e2916","resolution":{"observed_at":"2026-08-12T05:02:06.602507Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-12T05:02:06.311066Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.311066Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:452ff9cb65918486cefc09e1e993c326642a2d2ed426405861f4e9f748dd1546","observation_id":"d1e8ad61-a489-4194-8114-ef25595b53d7","resolution":{"observed_at":"2026-08-12T05:02:06.311066Z","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-12T05:02:06.313708Z","title":"In: Proc","venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.313708Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:c127f22cc626c6f3d60d0e22bfaed62865105662d72cf5a156a282119d6f754f","observation_id":"c0f60c51-8d05-46c9-a9ff-7c8d1bca024f","resolution":{"observed_at":"2026-08-12T05:02:06.313708Z","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-12T05:02:06.592610Z","title":"Monographs in Computer Science, Springer (2005),https://doi.org/10.1007/ b138392","venue":null,"work_id":"dc4124b2-6a15-4d65-b51f-9daa49e4dab5","year":2005},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.317012Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:5faae7a31da32c65ecf950282de1ccb7bba240e3a23ca72bca238c0fe269c819","observation_id":"6e682b9a-87a1-4fec-8bf9-74049025ac70","resolution":{"observed_at":"2026-08-12T05:02:06.595534Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-12T05:02:06.319513Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.319513Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:74231d6527ffd28aad4d553ffd6e959d57c9eea87c941a29e1c3b1b797da5d4e","observation_id":"e7568325-df03-44e2-97e3-a01693fed061","resolution":{"observed_at":"2026-08-12T05:02:06.319513Z","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-12T05:02:06.322085Z","title":"In: Ramakrishnan, C.R., Rehof, J","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.322085Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:94a0278c4b4a63feacf670006b9fcffc71afe912d3a5220c1e829f6b6a170419","observation_id":"54d564b0-cbd9-4abe-af50-62cf99b4974f","resolution":{"observed_at":"2026-08-12T05:02:06.322085Z","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-12T05:02:06.325003Z","title":"In: Jobstmann, B., Leino, K.R.M","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.325003Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:af58d5ce48b580971ee0b1e055315c1db4b3263cd1021309607c92a49bf5273c","observation_id":"94d44575-39c5-4fe4-86ad-be09406ec230","resolution":{"observed_at":"2026-08-12T05:02:06.325003Z","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-031-17715-6_24","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"In: Proc","venue":"Lecture notes in computer science","work_id":"e39d9773-1d3d-4af7-8425-264832d55593","year":2022},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.327653Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:426698f0df3f1dcbc1f9361429b3954584028f7a8d0d7126d66e68d1d038a346","observation_id":"6407da45-586a-4a60-ae27-d76ef8e529a6","resolution":{"observed_at":"2026-08-12T05:02:06.379384Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-12T05:02:06.585440Z","title":"Wiley (2005)","venue":null,"work_id":"25961edb-7e4c-48a3-af6d-8674456e475b","year":2005},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.330414Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:ee75d8d3643b1e985e0b110b7784200051b7312e14444d75bf65494f0fe4f69a","observation_id":"87acdf52-6391-4521-a59f-4908f87ccc2c","resolution":{"observed_at":"2026-08-12T05:02:06.588120Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-12T05:02:06.333473Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.333473Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:224a18f39d2af2ea7252ad05cf322116b3760bd2f43c1e4dbd1b484c07c21fce","observation_id":"7d09ff18-b893-4617-bde4-16237b6f6923","resolution":{"observed_at":"2026-08-12T05:02:06.333473Z","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-12T05:02:06.336035Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.336035Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:427343ecf0dbaa010169451429451fce392b690b29ccc44f8e3a1eb1ffc3401c","observation_id":"c34d0fbe-3e09-4e48-ad6f-3bc5f5c69bfb","resolution":{"observed_at":"2026-08-12T05:02:06.336035Z","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-031-43835-6_23","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"In: Jansen, N., Tribastone, M","venue":"Lecture notes in computer science","work_id":"21eb90b8-1f92-4ee9-b288-03a33d4812b9","year":2023},"citing_paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T05:02:06.338596Z"},"links":{"citing_paper":"/paper/2412.00906"},"observation_digest":"sha256:473e3851d3a64f81b29bc222dd7b200a9acce3eb4a8cd3d5ef2cc375da1d32e0","observation_id":"7d294ca3-5680-4eef-a0b0-45e3b07575b5","resolution":{"observed_at":"2026-08-12T05:02:06.362628Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2412.00906","last_updated":"2024-12-01T17:44:41Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-21T13:06:16.429449Z","submitted_at":"2024-12-01T17:44:41Z","title":"Towards a Proof System for Probabilistic Dynamic Logic"},"reference_resolution":{"displayed":29,"state_counts":{"malformed_identifier":3,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":16,"verified_exact":5,"verified_fuzzy":4},"total_outbound_references":29},"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-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"thesis":"As of 22 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:2412.00906."}