{"as_of":"2026-08-03T06:12:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b6e1360dc39f5db59c824fb7cab65fe87be029902f81b74662b93cde054f3ec0","coverage":[{"denominator":72,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":72,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-23T07:44:28.588742Z","state":"measured"},{"denominator":74,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":74,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-02T06:30:47.504484+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T17:18:12.178281Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-07-10T06:15:00.866473Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"cited_work":{"arxiv_id":"2412.09869","doi":"10.48550/arxiv.2412.09869","metadata_source":"pith","pith_arxiv_id":"2412.09869","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","venue":"cs.PL","work_id":"a9353b78-f7ac-4c26-9df4-7add1db69cb3","year":2024},"citing_paper":{"arxiv_id":"2607.08548","last_updated":"2026-07-09T14:41:37Z","snapshot_observed_at":"2026-08-02T03:04:49.238047Z","submitted_at":"2026-07-09T14:41:37Z","title":"An Effective Quantum Hoare Logic for Hybrid Quantum Programs with Unbounded Loops","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-07-10T05:34:48.500902Z"},"links":{"cited_paper":"/paper/2412.09869","citing_paper":"/paper/2607.08548"},"observation_digest":"sha256:fafecf8085a3c3a0f7f34af73424a1da7584513871d6a8876e702557f7ec05d3","observation_id":"054b111d-95f7-497d-b1c5-ce432decdc62","resolution":{"observed_at":"2026-07-10T05:36:48.373938Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-07-18T00:51:14.145685+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-18T00:51:14.145685+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.09869","snapshot_observed_at":"2026-08-01T17:18:12.178281Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.17714","last_updated":"2026-07-20T09:09:20Z","snapshot_observed_at":"2026-08-01T17:18:03.476822Z","submitted_at":"2026-07-20T09:09:20Z","title":"Formal Verification of Continuous-Variable Quantum Programs","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-01T17:18:12.178281Z"},"links":{"cited_paper":"/paper/2412.09869","citing_paper":"/paper/2607.17714"},"observation_digest":"sha256:716994c91e03678e893e638303ed655ecf6ece852fb953dd1a3030b18365d5d1","observation_id":"5d27227d-cb6e-4c81-bd9c-60f07ddc8d2b","resolution":{"observed_at":"2026-08-01T17:18:12.178281Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2412.09869/citation-record","integrity":"/paper/2412.09869/integrity","json":"/paper/2412.09869/citation-record.json","paper":"/paper/2412.09869"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"b1324924-a373-455d-8ff7-201cdc3887fe","year":2009},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:e9acc60bbf60b5a775dd9b02f1b5cea8fdbbf1d56ec0ab9da2c0ae08af63a332","observation_id":"715dc2ea-1336-4a42-8f27-a8d99696495a","resolution":{"observed_at":"2026-05-23T07:45:29.652340Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Barthe, J","venue":null,"work_id":"b56fb7d4-7bcb-493f-a19c-d2fbf2de530a","year":2020},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:3d9515a39da5bbb49b8a6c3bb9c5df59ba013270dcf1cf4b3a1eb0205421abb4","observation_id":"d62550d1-1468-4d71-ad16-19c83f36c6b6","resolution":{"observed_at":"2026-05-23T07:45:29.676411Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Bauer-Marquart, S","venue":null,"work_id":"464cebd6-3885-4887-939b-47ab4996f345","year":2023},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:234a1ffc5c812460467d74d3981bcd5f08f51e08a5b80c6a11a3eef8997a65dc","observation_id":"1e3f200a-6127-4dd5-9679-7b84e3f991a2","resolution":{"observed_at":"2026-05-23T07:45:29.679845Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Biamonte, P","venue":null,"work_id":"80b4453f-04d7-41fb-bda0-a834d5fad713","year":2017},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:452844f20abd36d47a673b42aa6306e80d8525572bf158c50d6001f638b1170f","observation_id":"44d802db-ac45-4e29-93c8-064c1d7be30c","resolution":{"observed_at":"2026-05-23T07:45:29.683758Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Birkhoff and J","venue":null,"work_id":"9b27a8fb-ce15-40ce-9006-b6875d371498","year":1936},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:4d0d87dd98db89256ed35ac0a1a710df002c5a759b6f5fabc20736c2f94002f2","observation_id":"9ed460e5-a83a-42cd-b5d4-3a315f65bfca","resolution":{"observed_at":"2026-05-23T07:45:29.691287Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Carette, G","venue":null,"work_id":"0648c38e-3ecb-4522-b432-8648b21eb536","year":2023},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:a9edc0746c5ab0b29579c3e9e45e86cb8755102fe475ca122f7d8d672f1e9935","observation_id":"a8b44981-f11f-4211-92a1-9a0bc54fcd4c","resolution":{"observed_at":"2026-05-23T07:45:29.542064Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Cerezo, A","venue":null,"work_id":"e7595d43-219e-4277-8777-ff45c5f1e5d1","year":2021},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:69c5a0026800478ce30582f93365c546780562850ff219c7da4b336c595460f1","observation_id":"a3e55182-683a-4e02-95ae-8290d5eb1558","resolution":{"observed_at":"2026-05-23T07:45:29.550583Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Chadha, P","venue":null,"work_id":"90e62000-48a6-4a0a-9090-335dd107344f","year":2006},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:a217f330fb7dea239abc36ccef2428963ce2ccab01f5be73fd0749866d15adcb","observation_id":"dbe3718a-40ac-4650-9b79-e8b565537a62","resolution":{"observed_at":"2026-05-23T07:45:29.538611Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Chareton, S","venue":null,"work_id":"aa2b925c-2f94-4c96-a0e9-91d6df419990","year":2021},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:1c46a69dbdba21773eeaab61bd89be22a88312f2aa9cd6b85c1124823f1a0fa9","observation_id":"0a92ca2a-b7e3-4c71-bca5-1285cb58b76a","resolution":{"observed_at":"2026-05-23T07:45:29.674198Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Chareton, D","venue":null,"work_id":"9313ecbf-3158-4d4b-b2a6-7b93b00ce29a","year":2023},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:bbd2f0dd05e82264c1f6afd8bd9ba266011e068438eb08085e7347e46aefec72","observation_id":"c11599ac-b01b-4d18-adc0-d5c238117533","resolution":{"observed_at":"2026-05-23T07:45:29.669490Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Cross, A","venue":null,"work_id":"8095ff7e-3386-486f-afba-64f5564e47e6","year":2022},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:bbd1edbd67a6421ad47363c2dcad390bc4de9433f81c25e22c62d65a5d7a20ab","observation_id":"39a0153b-40b5-418f-9d68-c1dd34f07157","resolution":{"observed_at":"2026-05-23T07:45:29.596400Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"33ae5c2c-b8c2-45aa-9a9f-492897102e78","year":2022},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:73f25b344cfc982e9b7c8a9963230c909ceacf55d058d9e38cf4f7736d3b8109","observation_id":"a8e805f1-ea61-4eb6-b148-5dcd6b8522e6","resolution":{"observed_at":"2026-05-23T07:45:29.570457Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"62f73643-eceb-4741-aa74-df2acbd26f79","year":2024},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:ee923db4da56e3800bf06832156484af2c5600cb861f93785a071a61691db799","observation_id":"5ecc8fdc-e6e4-44aa-93b3-cee6c9050aa4","resolution":{"observed_at":"2026-05-23T07:45:29.549764Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"D’Hondt and P","venue":null,"work_id":"64714800-1dfd-4b3e-8152-b6778d368fa1","year":2006},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:4ee93cba40453ebdc5b030089a414a713f741ff6a91204de9f3e84ed1250ed79","observation_id":"905cc353-7e3b-4680-9a88-4d873dcdb90e","resolution":{"observed_at":"2026-05-23T07:45:29.584155Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"f2e988d6-d3fd-4b6b-a717-81f094619ca1","year":2023},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:fedd1f3c8e617382f2a7945ba77d71fad1c73269891de96c7fc27ee78b743249","observation_id":"928b0ce7-94bb-4b56-adfc-88d0fc22b97d","resolution":{"observed_at":"2026-05-23T07:45:29.687307Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Fang and M","venue":null,"work_id":"cee07cd8-8ede-4464-bf7f-fbf80d41e81e","year":2024},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:32425fcc55a6eeaa64bb8700103fd03ba452c285fd62a5f7ce642e5b2564de97","observation_id":"ac983957-d5ec-475a-a533-346ed31988b1","resolution":{"observed_at":"2026-05-23T07:45:29.694542Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"c699dbf8-9f34-45f6-89f7-8b0f5a2eb728","year":2024},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:a1e337c2f68306edd391dc4c575a355a2e9c8fd901a6f6f4cb0f10ea025ecb11","observation_id":"9017dc2a-5f05-4a94-841c-30251ad42712","resolution":{"observed_at":"2026-05-23T07:45:29.750647Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"fd9bedc5-d68b-416c-8190-9d9c28efe938","year":2007},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:b3f0d737845ca2545674a0e8caa5e359b160c51ba661d9aef97e11e8705105ae","observation_id":"679cbd8d-06f0-49b5-93d6-ab6c443ae98c","resolution":{"observed_at":"2026-05-23T07:45:29.665677Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"236b4a75-d0a2-4418-b39c-aa71487d7f17","year":2022},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:f6b10644063668b2860088c6fc49308e41b41e3b0bc58bbb9833fe38a9c87a17","observation_id":"2f92614e-ce7c-4a4b-88ce-f0276629740c","resolution":{"observed_at":"2026-05-23T07:45:29.671553Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Feng and Y","venue":null,"work_id":"8a252333-b5b1-4e47-b956-5455d5f8c6b2","year":2023},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:c4f4ed9c801542c157d3827a1237bebbaf48c006e6433f6611c914e4498a2325","observation_id":"7e842354-2c28-43b4-ba29-467ba0c2cfba","resolution":{"observed_at":"2026-05-23T07:45:29.731350Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Feng and M","venue":null,"work_id":"20844746-733f-4168-817e-7fcfcf728d0b","year":2021},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:461283d2039973fc1704609a169cfb17207097abddf4834feca359e2a50bfb3b","observation_id":"9944ced2-ac8b-437b-b5f9-3d8867982dd8","resolution":{"observed_at":"2026-05-23T07:45:29.728029Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2311.14215","last_updated":"2023-11-23T22:12:57Z","snapshot_observed_at":"2026-07-06T16:51:44.144280Z","submitted_at":"2023-11-23T22:12:57Z","title":"Refinement calculus of quantum programs with projective assertions","version":1},"cited_work":{"arxiv_id":"2311.14215","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2311.14215","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"b7405622-013e-4a66-8854-efdb58d54bc7","year":2023},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"cited_paper":"/paper/2311.14215","citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:969c331323b89cf045298babf22b6b2cf418db84647780298da8a2938bf2d52e","observation_id":"3a28602f-efed-4c21-9621-368bdbdbb892","resolution":{"observed_at":"2026-05-23T07:45:28.966422Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"705d20c0-8414-45c8-9ec4-56671358f939","year":1994},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:0f60f126c51bdf6226ca2097cbc66565670e6548718ee787681839491be3130f","observation_id":"7b9037eb-75d2-4bb0-ba54-ac855d24bde6","resolution":{"observed_at":"2026-05-23T07:45:29.723642Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"68bb2c67-8b5e-4e0a-a2be-5746d3037a3c","year":2003},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:9068c7419852621c4fa0d32e68e5dc7dc62a81f3cf371440362a6bfa63eeb6c1","observation_id":"e13b6b5f-8cba-42a7-b28a-31dfde90741b","resolution":{"observed_at":"2026-05-23T07:45:29.560420Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Hietala, A Verified Software Toolchain for Quantum Programming , PhD Thesis, University of Maryland","venue":null,"work_id":"6a98c163-75bf-4b32-9214-d7c2897a8e65","year":2022},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:76e8dbdabbe331d1d7b6f4d748a3ef18dc1ccda3637cbbbe138c5b31f07e0cb7","observation_id":"ef87ca9b-0fb4-4306-9931-c3b9034f9cc9","resolution":{"observed_at":"2026-05-23T07:45:29.614540Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Hietala, R","venue":null,"work_id":"61fb2b51-42eb-4ea8-96a9-f5213628c943","year":2021},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:f7655e2d36a234346e0579474d71697cf080c2c5462b333ffc5e6b28cd66cdcb","observation_id":"3ef8a9cb-4ebb-401f-859e-be7c90e43594","resolution":{"observed_at":"2026-05-23T07:45:29.782997Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Jorrand and S","venue":null,"work_id":"0365d436-fd28-4171-ab25-317b7c35ed61","year":2010},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:bae331198fce26ae1e60f7dfa9a68c89e266b21c5f6450052e627923971c59f7","observation_id":"7b05e03b-9617-4e30-a8c6-e9139e0c1a6a","resolution":{"observed_at":"2026-05-23T07:45:29.765196Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Kakutani, A logic for formal verification of quantum programs, In: Proceedings of the 13th Asian Computing Science Conference (ASIAN) , Springer LNCS 5913, 2009, pp","venue":null,"work_id":"f3c21e75-a066-4e55-a75f-8d5e198c49e8","year":2009},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:9c4d3530e72f0db835b957b1177fbd3b9b26b12323c8d000c2c039b745b44eb7","observation_id":"83d338a9-26e8-45bd-9d68-4db72a4fbc30","resolution":{"observed_at":"2026-05-23T07:45:29.774281Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"b1bfcc7b-bff5-4f22-b3e8-9a0d3328cb06","year":2022},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:fb81a0137f40a9ad89459f61d566b070135e575bccd1739a2864132b6816f1dc","observation_id":"e76ac847-4d7b-4230-8535-cd8dc2fdf3e5","resolution":{"observed_at":"2026-05-23T07:45:29.747930Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Lewis, S","venue":null,"work_id":"569a5e32-cd36-4eab-953d-1ea49d68fe01","year":2024},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:afba8e0239302fbff024830fd877706b6789dafc825aaccc43017bf02f12268f","observation_id":"c27f11c7-9cad-4a28-b7ea-43efbdfb3c4c","resolution":{"observed_at":"2026-05-23T07:45:29.744899Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2211.06411","last_updated":"2024-07-08T16:28:26Z","snapshot_observed_at":"2026-07-06T14:17:19.606305Z","submitted_at":"2022-11-11T18:50:52Z","title":"Qafny: A Quantum-Program Verifier","version":5},"cited_work":{"arxiv_id":"2211.06411","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2211.06411","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"499d0ad4-0255-4a02-920f-44d523341873","year":2022},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"cited_paper":"/paper/2211.06411","citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:4365dffbfa146e5d40bab6560f0a3b75a2ca580ea8bd51de66cdee48b9c2d185","observation_id":"0a5618c9-3397-4185-ac85-5dd901a0673d","resolution":{"observed_at":"2026-05-23T07:45:28.997083Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"85ef6e3d-fc8c-4646-b30c-158cbd84c17f","year":null},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:54157213b361846bd71396408c4dc2133eb3dc2a7fb7b790cae1c96eb931e2ae","observation_id":"bd7b5f97-b7e4-4269-8b56-d1bb5c03a43d","resolution":{"observed_at":"2026-05-23T07:45:29.734960Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"cff9a9a4-aaca-43f4-9312-3b85deed305b","year":2021},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:0e662b0d5f06917fb2056ba59f7da1ecbdcd12f39cbf3720664f6d4ac498f398","observation_id":"ef563fba-ca59-4236-adf4-b39d8f5f13ea","resolution":{"observed_at":"2026-05-23T07:45:29.738373Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"665b3280-42f3-46bc-bcf5-a9bf73913554","year":2019},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:3db75a287c25f9cca66baee068bc06cf0df7a7628472791cd9d8192bf18dc9aa","observation_id":"af532bdb-6bb7-471b-9835-73f2251af416","resolution":{"observed_at":"2026-05-23T07:45:29.769746Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Loeckx and K","venue":null,"work_id":"099c459e-138d-43c0-98d7-ebfdeac66249","year":1987},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:20f098088e62c86403ec22eb76b7e48b0ddadb4790dce5d1a0e61dbd68d88b02","observation_id":"8c82bd6b-0590-41df-a9a6-b171414d62b4","resolution":{"observed_at":"2026-05-23T07:45:29.663838Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Mateus and A","venue":null,"work_id":"c1fefab9-b59a-407c-9181-07fc645a58cc","year":2006},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:358dca803162a6b0b41a3197e595a2fdf7e6b4d50ec8ee54cf3029b7180362ab","observation_id":"1541f46e-4cfe-4c9d-bb6d-c43764ec0dbd","resolution":{"observed_at":"2026-05-23T07:45:29.744577Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Meuli, M","venue":null,"work_id":"a9a1b0a4-6f18-4080-af42-aea2053942e7","year":2020},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:929d54c98f8647a3768e2e9299acdaa0cf3f993e50dadd8371739e9362c9fb6f","observation_id":"9d4f527c-9eb8-49de-8bbb-7c0ceb5d96b5","resolution":{"observed_at":"2026-05-23T07:45:29.727033Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"6043a419-8680-46e8-b493-6010c511abd4","year":2000},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:2cc9b854354fa50ebbfc31a2492b548124abddee5651fe1517f5d087fa9203af","observation_id":"31e4efd8-0ef0-40ef-be62-dce06938dfb8","resolution":{"observed_at":"2026-05-23T07:45:29.730497Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2307.15641","last_updated":"2025-05-06T18:39:37Z","snapshot_observed_at":"2026-07-06T15:59:56.179560Z","submitted_at":"2023-07-28T16:00:57Z","title":"QbC: Quantum Correctness by Construction","version":3},"cited_work":{"arxiv_id":"2307.15641","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2307.15641","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Peduri, I","venue":null,"work_id":"1049602f-7ab7-48fb-8ce4-77e6883d70f8","year":2023},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"cited_paper":"/paper/2307.15641","citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:f53eebbdb9eda8cbd5a4f45050c5fc92d4f6a0e1886b18696f27d49526cb1a18","observation_id":"ba0a426b-ae23-4a9e-83fa-49222b271b13","resolution":{"observed_at":"2026-05-23T07:45:28.981491Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"fb4a84d3-cf4b-46be-a3f4-0364288dcee3","year":2024},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:f44a1c3f7e3d0fae70b4d2215348323af549fe4a96961c86587a60384cc8a786","observation_id":"0b813651-3a68-4062-824d-f3712d178fa8","resolution":{"observed_at":"2026-05-23T07:45:29.751023Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"f68c9c21-5000-4335-a02e-ab8919fcfd49","year":2023},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:204ab6b00f4c134c36b94baf801735582aa3ebf0791c287c5182f039d5273058","observation_id":"c9968454-bc2f-44ff-8c88-6128dee9d3b1","resolution":{"observed_at":"2026-05-23T07:45:29.778691Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Perdrix, Quantum entanglement analysis based on abstract interpre- tation, in: Proceedings of the 2008 International Static Analysis Sympo- sium (SAS), pp","venue":null,"work_id":"10e1fc9c-8e93-4308-8ec6-9bfa8e3be223","year":2008},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:017903dde0a5c3f5ecbef656af06f925013281926fd6debf94e58a1f34fab454","observation_id":"52f0fb65-ae89-4e44-923b-0993952437e9","resolution":{"observed_at":"2026-05-23T07:45:29.787445Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Rand, Formally Verified Quantum Programming, PhD Thesis, Uni- versity of Pennsylvania","venue":null,"work_id":"63300cb9-2e92-4b6d-a5cb-8329ad5a33dc","year":2018},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:1ba5d0abe2a2100097f20af9e02d5a3f7d56bbc272fa1ebfe549790ff2399fd4","observation_id":"d31cd47d-20ce-4d50-a602-a0ce7cf3a9c8","resolution":{"observed_at":"2026-05-23T07:45:29.709373Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Selinger, Towards a quantum programming language, Mathematical Structures in Computer Science 14(2004) 527-586","venue":null,"work_id":"2cd6d2a8-e12c-47ad-bd0b-a9acb4b06236","year":2004},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:382b64ef2ebd5471a14ee69df5e7627325cfa255653b59f5c8ac9c279889a774","observation_id":"2ecb5f6a-c69b-4a6d-ae20-ebf594313535","resolution":{"observed_at":"2026-05-23T07:45:29.705390Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"c65d309f-21b8-4550-9e51-1ea1f029ee8c","year":2020},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:c179acf9386840673c03d3fcfd9afc579227973852930c0f2a714559887ed865","observation_id":"e8adcdc0-95c2-4383-a723-fbf9f749cc8b","resolution":{"observed_at":"2026-05-23T07:45:29.712852Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Singhal, R","venue":null,"work_id":"74e19601-c911-4a27-8794-f296b883cc0b","year":2022},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:60f472f758c2941c4d0b9cf555df1f20277b486223668198766ef5708ac93ddc","observation_id":"1baa54d8-e96c-4a41-a78e-78402c496169","resolution":{"observed_at":"2026-05-23T07:45:29.747653Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Svore, A","venue":null,"work_id":"103ff41e-f4f0-461a-b962-cf99658c0659","year":2018},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:5eeb26f5ee2ba858f0074ca558c7f463f90bd82fa7e9a74c5c9a9394824d256b","observation_id":"ed31e946-c8ab-458f-8104-2fe2238b3026","resolution":{"observed_at":"2026-05-23T07:45:29.765531Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Takagi, C","venue":null,"work_id":"2dc9ef22-8f10-4307-9f6b-9c9d1f7884ac","year":2023},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:f67939fab50ec5d96d480824192aa71bac93675f4f2cc288f3e927d9fce54e18","observation_id":"3fcb8736-92a0-4a21-b883-cc6e026290b3","resolution":{"observed_at":"2026-05-23T07:45:29.738072Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"153f2a9a-90b4-4935-b797-54abc0824f8b","year":2024},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:77d0066e7ab507c7d86f147cb82a8f9f9759e1d7301802b33cace5c8beccac11","observation_id":"7c40b77c-c823-4619-ba05-9a55ae854625","resolution":{"observed_at":"2026-05-23T07:45:29.741119Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"b841a97c-cbd4-43ea-af54-23b2195daaeb","year":2022},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:65c2bea774b59a79fc315a95a3eea89d9862a2d525eff8904e9b208a4b0ace42","observation_id":"7b7f4c9b-2817-4e5c-b221-862f823a8f87","resolution":{"observed_at":"2026-05-23T07:45:29.705658Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Unruh, Quantum Hoare logic with ghost variables, Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","venue":null,"work_id":"6be2ae8e-f6a9-4234-bcea-95a49fa0d061","year":2019},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:1f94c43bcb57288c6443969567e92583c322fd0a603543f599230611d29c36e8","observation_id":"732f14e9-8302-498f-9e5f-5744272834a9","resolution":{"observed_at":"2026-05-23T07:45:29.701355Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Unruh, Quantum relational Hoare logic, Proceedings of ACM Pro- gramming Languages 3(2019) POPL: art","venue":null,"work_id":"d06940dc-bbbe-4c64-b2c5-cc4135dca62c","year":2019},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:a53fa7cf89ca1e12fac1021e72136c23e9052aa150b4469aa683b79ba533dcf3","observation_id":"663df82c-d3ae-440e-9f50-3d2513af0117","resolution":{"observed_at":"2026-05-23T07:45:29.720243Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Valiron, On Quantum Programming Languages , Habilitation Disser- tation, University of Paris - Saclay","venue":null,"work_id":"46e40209-fa61-465b-a9cb-2f7348b39d59","year":2024},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:ce203ab3482c79c61fab05888510ae20b614d3b327ed87241a929a6015998e6d","observation_id":"20290979-18cb-47be-ae5d-d566fcb0d67a","resolution":{"observed_at":"2026-05-23T07:45:29.686528Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"von Neumann, On infinite direct products, Compositio Mathematica, tome 6(1939) 1-77","venue":null,"work_id":"49347715-a473-4e32-aceb-98533d009a30","year":1939},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:920120c31b2cdb74ab4da7c586b75cc51ba3d8f0c1856df261ea63f35ffab915","observation_id":"20cde6c1-f6c3-4f35-a960-b4c491193db7","resolution":{"observed_at":"2026-05-23T07:45:29.682042Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2107.11679","last_updated":"2021-07-24T20:11:46Z","snapshot_observed_at":"2026-07-06T11:32:10.067773Z","submitted_at":"2021-07-24T20:11:46Z","title":"Reasoning about Recursive Quantum Programs","version":1},"cited_work":{"arxiv_id":"2107.11679","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2107.11679","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"c15b8fb5-e86a-4b5d-b4d1-b1b2213b68a6","year":2021},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"cited_paper":"/paper/2107.11679","citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:912bb492e90379bfdb7e124bf98c6aed566394e0024a690daffc55030d929249","observation_id":"76df4262-2aa4-4546-b8eb-6426976f9fa6","resolution":{"observed_at":"2026-05-23T07:45:28.991944Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"75da3ddc-7c3d-49b3-891a-681bad33c542","year":2022},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:0ea86e491801e956a4d055865c939d67fcd42620bf9d773f38b68dd55aeedadf","observation_id":"6730ce21-3901-4392-bfa6-82b757e49377","resolution":{"observed_at":"2026-05-23T07:45:29.661122Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"2d818b5e-9082-4d0b-8eda-1a735a71e79b","year":2024},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:2ae286b30311aee7fd1ddfcf41ce7b40418206be6a47db2b7dbdf5bf333b5185","observation_id":"95459408-010b-49c7-a329-5ccdb0e4297b","resolution":{"observed_at":"2026-05-23T07:45:29.690014Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"0d2daf32-521b-4ac6-8411-72f75df38c76","year":2011},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:84b51e77a21cc896d07914fcfcb4316e5f47f5f36cf187caf171eaa5c5b6bea6","observation_id":"177e00ea-93e0-40dd-8a8e-707f5e1b1a24","resolution":{"observed_at":"2026-05-23T07:45:29.716337Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"706ab4cf-001f-4263-a36a-d0bd881cbc6b","year":2019},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:89251798a3abf3b066d8d1330ac768b6966301c10fef9aa408be8fcc784ea38d","observation_id":"65c4b382-9572-4bb7-88b7-070617bae4c2","resolution":{"observed_at":"2026-05-23T07:45:29.643337Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2205.01959","last_updated":"2022-05-04T08:57:44Z","snapshot_observed_at":"2026-07-06T13:06:30.887962Z","submitted_at":"2022-05-04T08:57:44Z","title":"Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs","version":1},"cited_work":{"arxiv_id":"2205.01959","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2205.01959","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"baca571a-631b-4c88-b2c6-a8b791adbf8f","year":2022},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"cited_paper":"/paper/2205.01959","citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:5b864194c149b6102c9eb8711b5a808925b4ea483425b25ae0a7f602bdb697fc","observation_id":"93fbcc21-ab2f-4447-8766-669d1f2fa74f","resolution":{"observed_at":"2026-05-23T07:45:28.987356Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"85cbf480-a226-4368-a6b9-b05a1529ab10","year":2024},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:0479078500440746f68c72912bdb1abb596bd7fd0e27f981f3a4d3aa314f8f44","observation_id":"24595cbf-9a2b-4ed8-aa62-dbf6ba784561","resolution":{"observed_at":"2026-05-23T07:45:29.678259Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"cf54ef0c-9b65-41e4-a457-c37967639b55","year":null},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:794317e909f7936aa073c15464d319e671cb12d843b5d3c7e10b2e6c9ff222ea","observation_id":"22db60c7-4e45-4d0e-960d-d0df994fbe7f","resolution":{"observed_at":"2026-05-23T07:45:29.753821Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"5f057095-8b20-46af-b1ca-3bf71d6d6639","year":2011},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:0f4d6f2367fc27d7c9e57891d9cd0365ae46b2e91eb9d48f7d3fe9a4b3a174aa","observation_id":"db08e7d5-b20a-456f-8ad1-c5fd8b316e76","resolution":{"observed_at":"2026-05-23T07:45:29.761606Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2311.01725","last_updated":"2023-11-03T05:44:52Z","snapshot_observed_at":"2026-07-31T12:10:38.469832Z","submitted_at":"2023-11-03T05:44:52Z","title":"Quantum Recursive Programming with Quantum Case Statements","version":1},"cited_work":{"arxiv_id":"2311.01725","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2311.01725","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"3f7e2cbe-065a-48fe-9ed4-b860572530ae","year":2023},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"cited_paper":"/paper/2311.01725","citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:594ef1edcddeb489d9f01522c9bd42b2c0cb76ac2d2c262f88dc1a82d06ecf1b","observation_id":"7bf68a56-c6ce-42cf-8915-a2c0c289804e","resolution":{"observed_at":"2026-05-23T07:45:28.981730Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.05934","last_updated":"2024-11-06T20:54:12Z","snapshot_observed_at":"2026-07-06T17:57:31.912970Z","submitted_at":"2024-04-09T01:35:13Z","title":"Verification of Recursively Defined Quantum Circuits","version":2},"cited_work":{"arxiv_id":"2404.05934","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2404.05934","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"59b3545d-cf12-48aa-845b-bc15842a479c","year":2024},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"cited_paper":"/paper/2404.05934","citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:e27545f34fd9e2c7aba0c26c4c0d9d1cc83a5191fb7308670d8318b151dfda78","observation_id":"1b784616-6e1f-4446-9ea0-3cfeecc3445c","resolution":{"observed_at":"2026-05-23T07:45:28.969997Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.11334","last_updated":"2019-10-01T13:35:51Z","snapshot_observed_at":"2026-07-06T07:10:47.707646Z","submitted_at":"2018-10-26T14:10:44Z","title":"Reasoning about Parallel Quantum Programs","version":2},"cited_work":{"arxiv_id":"1810.11334","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1810.11334","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"7f1424e9-74a2-4f5c-922d-61d45b17027a","year":2018},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"cited_paper":"/paper/1810.11334","citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:1425e9535e16c5df95523124a6b74ad95ca84cba92b8470bf814ef4122766b1e","observation_id":"3d1da7ec-475e-40b8-8bd9-acc26960e445","resolution":{"observed_at":"2026-05-23T07:45:28.971204Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"260e8cc7-6dac-42db-b6a2-2a70805d9ad9","year":2024},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:7b9571d81c0f64506b09049ef9e337f8289099e400b2ef26c204c7fbd6f5d106","observation_id":"6c05ceb0-fbfb-4946-bf4f-a8794b0e21de","resolution":{"observed_at":"2026-05-23T07:45:29.769437Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"68d42499-3d9e-452b-9502-13bb4d27c102","year":2021},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:fe085eab535f51907f7cf70e1af3225f5448a42163914e3c5b2b9643ea5df912","observation_id":"ea647f13-7aa8-4a67-84e5-1c8570da9b0a","resolution":{"observed_at":"2026-05-23T07:45:29.757819Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"e85fea28-391a-4c9b-a12a-63638bdadd15","year":2021},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:fa91f027a54250af94f13f6b7226f38b9390a7e962ccf8ce3b7af1f81e15c94d","observation_id":"62213a85-2574-45d0-8422-42417f1efb77","resolution":{"observed_at":"2026-05-23T07:45:29.575507Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"31de1e09-dce9-4320-bbb4-5cb15cb6d28b","year":2023},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:178d8eedc067a92c841bfe006786577d186a22a287903549e5ee7047e107b409","observation_id":"40266d40-993b-45bd-a8c1-6e2c40b3834d","resolution":{"observed_at":"2026-05-23T07:45:29.589846Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"c9239039-93b1-4332-aaf6-3e522238ae43","year":2019},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:fd99704549dc7c4bee6b764f6bf17a5e97c7cdc1f071aba693cbef6328894828","observation_id":"a8a2b32b-e365-45f0-b869-969324f8c3e0","resolution":{"observed_at":"2026-05-23T07:45:29.602201Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"WD” stand for “is well-defined","venue":null,"work_id":"bf11960f-97c7-40a8-b18e-aef60582edf5","year":2020},"citing_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-05-23T07:44:28.588742Z"},"links":{"citing_paper":"/paper/2412.09869"},"observation_digest":"sha256:1486567d0b03e28bb2fd1fd8729b12aa4b77591e16d248a288989a175b9827b9","observation_id":"7e43c852-8f26-4ce7-a1d0-aa611accc8a7","resolution":{"observed_at":"2026-05-23T07:45:29.571976Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","latest_version":4,"primary_category":"cs.PL","snapshot_observed_at":"2026-07-06T20:06:21.957662Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I"},"reference_resolution":{"displayed":72,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":31,"verified_exact":8,"verified_fuzzy":33},"total_outbound_references":72},"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-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"thesis":"As of 3 August 2026, this Paper Citation Record lists 72 of 72 outbound references and 2 inbound Pith citation observations for arXiv:2412.09869."}