{"as_of":"2026-08-13T22:41:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3e0a2602c6e8ff7c40f66aa7a3d98b1ec77279592e2d56181a32e5cd67ec0cdf","coverage":[{"denominator":54,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":54,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T18:50:28.499905Z","state":"measured"},{"denominator":54,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":54,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+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/2507.07480/citation-record","integrity":"/paper/2507.07480/integrity","json":"/paper/2507.07480/citation-record.json","paper":"/paper/2507.07480"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T18:50:26.791697Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:26.791697Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:fd4bb17e6a0c6965409abf74f56fcb1f5af602e7b2fbfdef1f0e1e168a125730","observation_id":"59e7cc21-eeb1-40f8-8393-c2b1e026304c","resolution":{"observed_at":"2026-08-06T18:50:26.791697Z","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-06T18:50:29.467998Z","title":"Journal of Logic and Computation p","venue":null,"work_id":"3b13af43-d5ab-4378-951e-1c3af989a0cf","year":2024},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:26.909807Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:8e3ddfb1263d0a06c4c722ff52ae53b16b3071d147e377e7857a61078dda7c89","observation_id":"f9269f6f-60a6-409b-8378-fb4eb721517b","resolution":{"observed_at":"2026-08-06T18:50:29.470061Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-06T18:50:29.461788Z","title":"McGraw-Hill (1970)","venue":null,"work_id":"db92fac7-8d0d-4a0b-8072-ae8b43bdcbc1","year":1970},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:27.052678Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:4637b26bc88b9eb26798d39c985b25da359b665d0539f1c8606305acb7036987","observation_id":"259ff604-8a4e-4d66-805d-750f184a7f00","resolution":{"observed_at":"2026-08-06T18:50:29.463882Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3704861","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"In: POPL","venue":"Proceedings of the ACM on Programming Languages","work_id":"3b009167-24f8-41f1-9db5-486daf6f731b","year":2025},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:27.148718Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:a47c14028b5265ab3c5102ef4e81c22b5e22977e89c76ad6dc0f624c384719a0","observation_id":"2335c792-7130-4619-9041-e526169dfa37","resolution":{"observed_at":"2026-08-06T18:50:28.610762Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.tcs.2004.07","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T18:50:28.602192Z","title":null,"venue":null,"work_id":"c930dff0-27b4-4e67-a044-518b3ff9f6c9","year":2004},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:27.270010Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:b1d04abef2bc8cc77f1601bea4dd30e8340e520c6e12f28a01e7b32b90057ecf","observation_id":"da0c29d1-a898-48a2-a45f-6243d371676e","resolution":{"observed_at":"2026-08-06T18:50:28.604373Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-06T18:50:29.455696Z","title":null,"venue":null,"work_id":"d3278139-dfc6-451f-8de2-ae61b0d325fa","year":1994},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:27.372089Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:eebd86d9f5ec805aace595068146d7cbada507ca2074f6312ea3ce83630183e4","observation_id":"ab02cbad-6e2d-485d-9f05-7e241eb8ac5b","resolution":{"observed_at":"2026-08-06T18:50:29.457782Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-06T18:50:29.449546Z","title":null,"venue":null,"work_id":"ab5fae5d-2ab0-43ac-94fe-c40a832a8e0b","year":1994},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:27.504375Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:311e28a92dc8624613836e51c0c9e3d106cc8350b44d2bb6d2dd5421150c50d7","observation_id":"f3b39577-654d-4514-b268-e6ceb35fc251","resolution":{"observed_at":"2026-08-06T18:50:29.452093Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-06T18:50:29.443557Z","title":null,"venue":null,"work_id":"0813b76b-6f49-487c-bae8-eb6ce0063a1a","year":1996},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:27.622521Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:f6404885b4161ca6c40678f6c1823868b5eeb03378b94fe5426a7faaa7fb5693","observation_id":"8118767e-7b55-4b8d-8556-3889d06f1572","resolution":{"observed_at":"2026-08-06T18:50:29.445692Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-06T18:50:29.437530Z","title":"Chapman and Hall, Ltd., London (1971)","venue":null,"work_id":"ee419b9d-1313-4ba1-8cfc-419387d45042","year":1971},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:27.775223Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:18b6ac7758edc1681faee627d0f9bfadebbf82b31d5b049bd09751c1c7244750","observation_id":"4bba95a9-d5c9-4911-a12c-0c32d669e5c0","resolution":{"observed_at":"2026-08-06T18:50:29.439827Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.calco.2021","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"In: CALCO","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","work_id":"bc635503-f899-43d8-9746-39e4239f7edc","year":2021},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:27.899644Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:a912bb0edc89a5f963c94b709106fcd576a51ba1fbdeeff5da4a090407f8a34b","observation_id":"57f9a4a8-68a7-441c-a06f-eac45917f1f1","resolution":{"observed_at":"2026-08-06T18:50:28.598131Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3278.11832","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T18:50:29.331776Z","title":"ACM Trans","venue":null,"work_id":"43f29ed8-ddac-4351-b02a-ca7c7a142086","year":2006},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.042947Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:134b330754dc9063e84e5b3bcd8c5e42540259c3dd1d432daa8b6e11380ef274","observation_id":"9e6ed8f4-4227-4187-9e5d-21b1ffca3644","resolution":{"observed_at":"2026-08-06T18:50:29.335571Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2929.36294","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T18:50:29.276832Z","title":"ACM 11(3), 147–148 (1968).https://doi.org/10.1145/362929.362947","venue":null,"work_id":"dab39684-b5fc-49ca-a58c-b4b9edeee082","year":1968},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.046115Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:74efc8235bce7925d58f18143e6eb9ae1254340b2661d4e109ceaf0290cb78c4","observation_id":"65458660-f3fc-4ae8-bd5c-d93c854ecbaa","resolution":{"observed_at":"2026-08-06T18:50:29.280282Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-06T18:50:29.431332Z","title":null,"venue":null,"work_id":"4e911bb8-c02e-42c8-94f1-75b4d90510fb","year":1987},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.163187Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:20300c5ce8a0b89978f680c08790a0fecefb2c91bfda796a9e42d6ca7881f083","observation_id":"b53bdc58-e058-422d-9722-5bb9faeaeda8","resolution":{"observed_at":"2026-08-06T18:50:29.433391Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-06T18:50:29.424965Z","title":"In: FoSSaCS","venue":null,"work_id":"d512fc09-169d-483b-b82c-87720ed35df6","year":2019},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.331860Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:fab8829a05b8a62912d3b4dc34039d47f4c92163d1fdcd34b52ca6872cab0447","observation_id":"3fd312a7-421b-485d-aef8-1c3f324546f0","resolution":{"observed_at":"2026-08-06T18:50:29.427023Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-06T18:50:29.419031Z","title":null,"venue":null,"work_id":"4e55989b-9d22-4ceb-8098-c71765bd0e98","year":2005},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.336425Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:6657a6646ea1af6c42285bd99d866829c7ee2a59ca5661c5dab110531b14b87a","observation_id":"2b52b5e7-553d-405b-bd69-1d0cdb216bf9","resolution":{"observed_at":"2026-08-06T18:50:29.421088Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-90897-2_12","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"In: FoSSaCS","venue":"Lecture notes in computer science","work_id":"8cb6271b-6901-42f1-800f-0ddb06fa5364","year":2025},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.401626Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:4662d510de04f98c5db1072f4559623061fb9fa7d235d44f34ae77a4de1c9cdd","observation_id":"26ea4478-46d1-417c-9f6c-baa5fe23b7ad","resolution":{"observed_at":"2026-08-06T18:50:28.590813Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1130.35324","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T18:50:29.211652Z","title":"In: LICS","venue":null,"work_id":"1294ed34-d97c-409f-9199-c8004482322a","year":2022},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.419495Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:02eee69091983eb83993e3df3bb5ae5135a0c33bd913a0ba152c1aad41413aa4","observation_id":"26cb6ba1-2113-40ca-b0bb-d217f1a301c3","resolution":{"observed_at":"2026-08-06T18:50:29.215078Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-06T18:50:28.421970Z","title":"In: LICS","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.421970Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:c3036c033f1c7a054c8a8e7df29e07c866c8f634e742be718dc746fc2f41b108","observation_id":"1bcaf22e-6700-4eee-9372-b1a70951d834","resolution":{"observed_at":"2026-08-06T18:50:28.421970Z","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-06T18:50:29.412570Z","title":null,"venue":null,"work_id":"803e4188-32ce-44f1-b97a-7017ba523aad","year":2005},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.424040Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:4b25babfe89a5d625a249c36058fc149040b0b9577272fe75ffe8f16fc64cc53","observation_id":"ec02d70b-d03c-4b03-8d95-faa53172eb29","resolution":{"observed_at":"2026-08-06T18:50:29.415072Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-06T18:50:29.406527Z","title":null,"venue":null,"work_id":"ab657770-a1bd-4bed-85ed-eeea31de5f8e","year":1971},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.426066Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:1a772917499742cd27ee81b0a435b818fc3070ae2204fb3688bdd6901171f6d0","observation_id":"2f0f9939-e178-4f1c-b33f-62ec9c64f82c","resolution":{"observed_at":"2026-08-06T18:50:29.408929Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/11780274_20","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"In: Algebra, Meaning, and Computation, Essays Dedicated to Joseph On Propositional Program Equivalence (extended abstract) 15 A","venue":"Lecture notes in computer science","work_id":"40a818ec-7461-4ec8-a1bd-4cef281d9358","year":2006},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.428700Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:66c197e5d04cbb4eb22010639c7d0583b3228232ef822186a9cfbee7ef03bf1f","observation_id":"f6281567-c509-4e03-9a4d-a1b0fae7f1e7","resolution":{"observed_at":"2026-08-06T18:50:28.584141Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-06T18:50:28.430701Z","title":"In: FoSSaCS","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.430701Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:c1d754e078eb1c3db58780d8047f781c97cbbb9674ca55ed0e835bf2e394f6d9","observation_id":"f828e14c-a7c5-4956-a44b-1bfab291c750","resolution":{"observed_at":"2026-08-06T18:50:28.430701Z","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-06T18:50:29.400183Z","title":"In: FoSSaCS","venue":null,"work_id":"4a9ae527-1b16-4196-ab58-caf907ce99be","year":2025},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.432720Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:f5ec66913f5b7d1ddc1b1fc05723a8de82b3d324284757eb9c84dae567e05744","observation_id":"4e9d207e-e09a-496d-84d2-2d74198774b5","resolution":{"observed_at":"2026-08-06T18:50:29.402627Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2301.11301","last_updated":"2024-10-01T15:42:19Z","snapshot_observed_at":"2026-08-13T19:16:32.897454Z","submitted_at":"2023-01-26T18:39:19Z","title":"A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests","version":4},"cited_work":{"arxiv_id":"2301.11301","doi":null,"metadata_source":"pith","pith_arxiv_id":"2301.11301","snapshot_observed_at":"2026-08-06T18:50:29.093621Z","title":"A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests","venue":"cs.LO","work_id":"ac982307-5b1e-43a4-84a0-892f155f631b","year":2023},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.434839Z"},"links":{"cited_paper":"/paper/2301.11301","citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:77005054085808ab756c71340493c265cda98149efe41d4bbd33d2b3cf721ce3","observation_id":"92761a40-4d91-4314-ac6c-7462c2f3e35e","resolution":{"observed_at":"2026-08-06T18:50:29.096191Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2212.10931","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T18:50:29.081548Z","title":null,"venue":null,"work_id":"fb276b33-54d0-421d-8829-2eedfd4b26e3","year":2024},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.437165Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:1aa0cfd48cb7eb76bba9c568127507bdb96dbaa6acc1b7da687eb4323704af59","observation_id":"78916840-439d-4460-b04b-1319c054dbfc","resolution":{"observed_at":"2026-08-06T18:50:29.085293Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-06T18:50:29.394095Z","title":"Addison-Wesley (1997)","venue":null,"work_id":"313748fc-9b91-4b84-87cc-a5238a029518","year":1997},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.439410Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:8beb17ee06e6106b3d9f35df6dda498704e93f1515c6d1d0f337eeb0bbf8b6d9","observation_id":"48878b88-189c-4da1-8e3a-939aab7b1e18","resolution":{"observed_at":"2026-08-06T18:50:29.396187Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-06T18:50:28.441690Z","title":null,"venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.441690Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:2948ff20fdfc1f50fbf55153ec8281c858b4a162dd2e9df3e44c22f3580819da","observation_id":"9db992e5-dccf-4000-a87f-a11c14c5fdc1","resolution":{"observed_at":"2026-08-06T18:50:28.441690Z","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-06T18:50:28.443864Z","title":"In: TACAS","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.443864Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:bcfe4788bbc7852461b2f2470a10b2735a16a690f8dc280303de7213d1e538d2","observation_id":"1694b548-bd14-45b5-b03b-d2a57718c8c0","resolution":{"observed_at":"2026-08-06T18:50:28.443864Z","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":"6167.25619","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T18:50:28.945181Z","title":"ACM Trans","venue":null,"work_id":"13f56479-e571-40f9-8a5e-c8dec184e859","year":1997},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.446555Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:08b1f14905104381be6e6ebae9c55e184344e1e1497f897b28834cd7f3ff24ff","observation_id":"131be870-917d-4dcd-909b-3da9a2ae59f7","resolution":{"observed_at":"2026-08-06T18:50:28.949022Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-06T18:50:29.387086Z","title":"In: STACS","venue":null,"work_id":"c03e2243-30eb-46ad-ae30-b264bd3d62b8","year":2001},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.448475Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:82297600eabadfb6a4ddb85bf5c4c8d3dedd197f381c31f2629e5bc2c14d1209","observation_id":"e0ffacf3-62ab-4eb0-b70d-5e055c7112de","resolution":{"observed_at":"2026-08-06T18:50:29.389706Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-06T18:50:29.380423Z","title":"Matematica Contem- poranea 24, 117–139 (2003)","venue":null,"work_id":"79d3592b-368a-44bc-9d9b-f036226d3aba","year":2003},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.450530Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:9fab456080bd585641a5b9e9567036dabf3571ce43663590b51a5eadb04b8112","observation_id":"e4fb9a5c-3e7c-4f5e-b54c-12a51e464c4b","resolution":{"observed_at":"2026-08-06T18:50:29.382709Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-06T18:50:28.452459Z","title":"In: ICALP","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.452459Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:b478c95fa6e386c3f390f3b434db79c78621cfa9b1e04dbce1d66fa93f9dd6a8","observation_id":"87f675a6-e355-4f32-9691-f11eb64a769e","resolution":{"observed_at":"2026-08-06T18:50:28.452459Z","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-06T18:50:29.373765Z","title":null,"venue":null,"work_id":"952be39e-931b-40f4-95f8-fe8d1423a549","year":2000},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.454433Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:5789e048f645f91cb87e264dec49226e1c7c4f887c686f50d756ef8449e530fd","observation_id":"9ac0f2d5-3064-4919-b2bb-2956d02d6701","resolution":{"observed_at":"2026-08-06T18:50:29.376039Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-06T18:50:28.456455Z","title":null,"venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.456455Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:eddb4703b0846df070031eb593f7b2cbc9d6ebe984524f49f654d1bb44a62725","observation_id":"54e9243d-ca25-46e0-b8bc-131b187ac826","resolution":{"observed_at":"2026-08-06T18:50:28.456455Z","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-70594-9_11","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":null,"venue":"Lecture notes in computer science","work_id":"5ce379b6-79cd-43c0-965d-afa830225f89","year":2008},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.458888Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:c77f8c9c401f6c27632f2fdc6b1494c417990397d6589cb383aceda5a645d832","observation_id":"647e3b19-dbf8-4a16-85b6-4def01ce95be","resolution":{"observed_at":"2026-08-06T18:50:28.562093Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bfb0032022","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:03:45.533247Z","title":"In: ICALP","venue":"Lecture notes in computer science","work_id":"ceaadad5-3d41-4eb2-9d2e-fe8527f3f7c6","year":1990},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.460942Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:7ef6de12b5ed719fe3ab215367cb5f51c2d00f18bf6f1ed418ebfa4e4f0a0f77","observation_id":"9e2e8780-6477-460c-8d8a-8e4b12d71215","resolution":{"observed_at":"2026-08-06T18:50:28.555414Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-06T18:50:29.367338Z","title":"In: ICTAC","venue":null,"work_id":"b2370475-89b1-46f2-93f4-7ac892d40baa","year":2023},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.463115Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:ccbfec4149f9935fa4f6b24ec8b605ad0e6d5ddc12961822a694f072c8746953","observation_id":"e49ac58c-d072-4420-b39e-e2f8678af625","resolution":{"observed_at":"2026-08-06T18:50:29.369735Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1960.52216","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T18:50:28.871365Z","title":"IRE Trans","venue":null,"work_id":"efcc0dab-3d66-437c-8266-b9be6496d92d","year":1960},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.465079Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:af078607d4ce7fdb59ed5cf89610b51f074a5cf44b2e2cad3153b47f1682de85","observation_id":"01195c10-4284-4291-80f9-0497db9e0f06","resolution":{"observed_at":"2026-08-06T18:50:28.876023Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0022-0000(84","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T18:50:28.545378Z","title":null,"venue":null,"work_id":"df585974-68c0-4585-8076-82a3666cd5d0","year":1984},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.467050Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:470d9263f0f774d7cb366bf7351c3100aa4c85981f3d7158fb0b4f99ada74490","observation_id":"d5564aec-f940-4b6b-b3ed-4bc8efaa538e","resolution":{"observed_at":"2026-08-06T18:50:28.548178Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-06T18:50:28.469518Z","title":"In: POPL","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.469518Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:978cb711f5729859834d27f7f23930f16e1aa047c18c0210b098253a40f8a1ba","observation_id":"fd93aee4-5810-47d8-a6a4-2ebe290e10e2","resolution":{"observed_at":"2026-08-06T18:50:28.469518Z","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-06T18:50:29.361198Z","title":null,"venue":null,"work_id":"f663fb6d-d634-4b9f-b4e6-a681f9dd39da","year":2024},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.471427Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:9e886c6cecc78a476b468cddbe75d9b942f53926af87bf71c75ed63270847152","observation_id":"e404a694-f98f-4f3c-bce1-e212bed5e35e","resolution":{"observed_at":"2026-08-06T18:50:29.363295Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-06T18:50:29.354363Z","title":null,"venue":null,"work_id":"f4359526-63e0-433b-acfb-648d0517861c","year":2024},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.473415Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:15867bb146965163ccf5c41e1d26a965b42f98f8fb4dcf9562ed74572ef829b4","observation_id":"055a86e0-01ba-4e66-ab11-64a99e055ccd","resolution":{"observed_at":"2026-08-06T18:50:29.356952Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-06T18:50:29.347441Z","title":"In: IJCAR","venue":null,"work_id":"2f1af167-f348-4875-a234-4cb40a045d75","year":2024},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.475343Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:e1a42d9f7105791e2d107eecb47ed81a2eac9527754f568555799909b32ea797","observation_id":"17b063e3-b240-4c0d-ae29-4c13deef121a","resolution":{"observed_at":"2026-08-06T18:50:29.349970Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-06T18:50:28.477980Z","title":"In: ICALP (07 2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.477980Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:c56d0a8d63a6e6ee68df1e05a57dc2150d80d5247724144f0f2bbff85eccf573","observation_id":"d5e501d0-1bd4-4c16-ad89-8eb10e4ce760","resolution":{"observed_at":"2026-08-06T18:50:28.477980Z","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":"1312.32132","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T18:50:28.813675Z","title":null,"venue":null,"work_id":"12e48e97-d0c6-4998-b19d-9cbaec00d0df","year":1966},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.480028Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:fc8b94c756da8469d83d03644e94d6efdf96b53d9ed18224f3da216984760b21","observation_id":"2cfe69f4-185d-4f29-949a-51ad01b58aa6","resolution":{"observed_at":"2026-08-06T18:50:28.818296Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-06T18:50:28.482188Z","title":"In: ICALP","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.482188Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:b8d5a69ae9d74ed352cf5f608016acf66d6b709c5e9d0662f7e81c2c6c7072fb","observation_id":"e040b6b3-92f1-4f29-9e77-7ab13296cac0","resolution":{"observed_at":"2026-08-06T18:50:28.482188Z","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.4204/eptcs.351","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"In: MFPS","venue":"Electronic Proceedings in Theoretical Computer Science","work_id":"bd9bfee8-144e-4728-bfaa-b70075bdd8fb","year":2021},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.484063Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:e05d53044acfcdf269f0641293d958937dc51baa8898370f49107d297c2b1b8b","observation_id":"05bd3ed6-0cec-464e-a4ed-20c226211f53","resolution":{"observed_at":"2026-08-06T18:50:28.528974Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2311.06937","last_updated":"2023-11-12T19:49:41Z","snapshot_observed_at":"2026-08-13T05:27:32.357325Z","submitted_at":"2023-11-12T19:49:41Z","title":"Kleene Algebra with Dynamic Tests: Completeness and Complexity","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.06937","snapshot_observed_at":"2026-08-06T18:50:28.486421Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.486421Z"},"links":{"cited_paper":"/paper/2311.06937","citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:0e025e4a584709c90c53e984b8e629b452beab89c60a4bd538a442bec39ea3de","observation_id":"174abff6-b996-405c-ad0b-414f6f273864","resolution":{"observed_at":"2026-08-06T18:50:28.486421Z","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-06T18:50:28.488677Z","title":"In: POPL","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.488677Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:15f7140e7e681b148724088c8d7d74537f947091c76457e5160ff71fdd685ba6","observation_id":"8261e34c-cf0f-4cc2-b85a-e3e1a9d997f9","resolution":{"observed_at":"2026-08-06T18:50:28.488677Z","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-06T18:50:28.490978Z","title":null,"venue":null,"work_id":null,"year":1975},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.490978Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:6f143543674ca3d1cd8381d06a87b65629ba30f00d9a85b353f5cb2dfe7dce07","observation_id":"927251d9-fa19-454e-8aba-516c17874526","resolution":{"observed_at":"2026-08-06T18:50:28.490978Z","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-06T18:50:28.493468Z","title":null,"venue":null,"work_id":null,"year":1968},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.493468Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:b140937717444dc9e78b6d320a24d4b39fcacae9ecac7226e7ee4bcdc45fa1db","observation_id":"43aa0d9e-849b-46f2-a3d9-6e8898794206","resolution":{"observed_at":"2026-08-06T18:50:28.493468Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.20385","last_updated":"2025-04-29T03:11:55Z","snapshot_observed_at":"2026-08-07T15:58:23.292474Z","submitted_at":"2025-04-29T03:11:55Z","title":"Weighted GKAT: Completeness and Complexity","version":1},"cited_work":{"arxiv_id":"2504.20385","doi":null,"metadata_source":"pith","pith_arxiv_id":"2504.20385","snapshot_observed_at":"2026-08-06T18:50:28.621682Z","title":"Weighted GKAT: Completeness and Complexity","venue":"cs.LO","work_id":"6c7c60d2-bcef-4645-bdab-e7801bf5a60f","year":2025},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.495319Z"},"links":{"cited_paper":"/paper/2504.20385","citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:9db01bda55767df1bfc9dda1a04ea1dd60b1142a2cbb726fc9682743b29bb338","observation_id":"69855e6c-9fd2-429c-b0be-d7c63a12f94c","resolution":{"observed_at":"2026-08-06T18:50:28.625064Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-06T18:50:29.340375Z","title":null,"venue":null,"work_id":"de3b76bf-be45-40e5-9a74-2e5325427d04","year":1993},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.497877Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:dc464356c4ce650b4263cfd645e208d3a006752839c9ae5b0c0e95eb5dddb577","observation_id":"19dec8f3-d976-4093-9dc3-c791bfcc6d89","resolution":{"observed_at":"2026-08-06T18:50:29.342773Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-06T18:50:28.499905Z","title":"In: POPL","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-06T18:50:28.499905Z"},"links":{"citing_paper":"/paper/2507.07480"},"observation_digest":"sha256:54c6fd3bd6c5e8a0a2e32152bff5f9c954e752fa62fb2f247228e91ccca0a55e","observation_id":"623a06ad-5eb0-4cbd-850d-5614ce281422","resolution":{"observed_at":"2026-08-06T18:50:28.499905Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2507.07480","last_updated":"2025-07-10T07:06:47Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-11T23:51:12.873460Z","submitted_at":"2025-07-10T07:06:47Z","title":"On Propositional Program Equivalence (extended abstract)"},"reference_resolution":{"displayed":54,"state_counts":{"malformed_identifier":11,"metadata_mismatch":4,"parse_uncertain":0,"unresolved":22,"verified_exact":12,"verified_fuzzy":5},"total_outbound_references":54},"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-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 54 of 54 outbound references and 0 inbound Pith citation observations for arXiv:2507.07480."}