{"as_of":"2026-08-15T14:55:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6fb7c9334847b9d107cd05826774b551b409c9a2f48a45cb6616eb2da1b61e40","coverage":[{"denominator":90,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":90,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T00:41:27.466106Z","state":"measured"},{"denominator":90,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":90,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2412.19463/citation-record","integrity":"/paper/2412.19463/integrity","json":"/paper/2412.19463/citation-record.json","paper":"/paper/2412.19463"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.050982Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.050982Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:a376f34c637ab1d80ad03d5e859599c7aa282efaa5e1d3dbf2810f1b1614b3b4","observation_id":"c59bc74c-b4c3-441c-8a60-b3d617e7d122","resolution":{"observed_at":"2026-08-11T00:41:27.050982Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.055352Z","title":"Altenkirch and J","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.055352Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:8f054e587dd1e33ce3ba6ed307f1e4017b511b6e8ee361e635c58a760ecbd9df","observation_id":"3348908f-7938-4acd-b3fa-10ce2be799ef","resolution":{"observed_at":"2026-08-11T00:41:27.055352Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.059460Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.059460Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:77e0e98f0248e7a33f1de60c97a3e00eacd86f1e231a9650fa3fb94ed9d7168c","observation_id":"4f75ef99-35a8-4e35-aea7-0b1482515781","resolution":{"observed_at":"2026-08-11T00:41:27.059460Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.ic.2017.04.001","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.695116Z","title":null,"venue":null,"work_id":"771b260c-07c0-41a7-815d-09e7a2ce16de","year":2017},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.063177Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:2ac4e413d19a7300812ed0b0c257b51d60955d155e133bc34bcb9e4106d1ba74","observation_id":"82fdf7c3-700a-4494-bc26-81ec5f004ac5","resolution":{"observed_at":"2026-08-11T00:41:27.698385Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.070321Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.070321Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:538f0ec60108a135aa8f917ade11112936d87d3c46fc1f0c65b386c8ef71a7d7","observation_id":"33491d13-875e-4311-876f-5047cc351abd","resolution":{"observed_at":"2026-08-11T00:41:27.070321Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-10082-1_6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":null,"venue":"Lecture notes in computer science","work_id":"af3e3621-e89e-450b-b08d-0ab9245ed82d","year":2014},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.073780Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:ebd995e9469fcdb502eacd1d8146a8d0dc055cd9171d24ee67867e61f0e221d1","observation_id":"bdbd6833-6418-492a-932b-05afeec3c8d5","resolution":{"observed_at":"2026-08-11T00:41:27.688938Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.077418Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.077418Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:4e4347e528237e2546c11ecdedee3fa3915819bc5442e4084e5ee4f38d3dd117","observation_id":"af5e0468-6376-442a-ba7a-b71590236092","resolution":{"observed_at":"2026-08-11T00:41:27.077418Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.080767Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.080767Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:7acf149ad71bc28792112679b93a28d85edf94c8ff0d3c21c495d7855ab8b866","observation_id":"2a701e20-d18b-4ee5-8856-58f03e27d108","resolution":{"observed_at":"2026-08-11T00:41:27.080767Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.083963Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.083963Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:a567785e50fa0e13db0e56569e38773b83b61298ce34eb7b87c86cecb6477d7d","observation_id":"57203e5b-ba8b-4267-b6cc-4aa5b8cf861a","resolution":{"observed_at":"2026-08-11T00:41:27.083963Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.187206Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.187206Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:3e91bea23b3d5f188cd38e137c8b9b998b41485ecb926abff437dc8e4dff273a","observation_id":"d8e842e0-19cf-493c-8c61-ca8a44f2c2aa","resolution":{"observed_at":"2026-08-11T00:41:27.187206Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.190331Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.190331Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:1a455f703a2d746e7ca375cb6d7faebb476a0ba7b143cac190f0aeeeaf632617","observation_id":"823e86e3-b2de-4b3a-96d7-bc747154e3f1","resolution":{"observed_at":"2026-08-11T00:41:27.190331Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.193574Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.193574Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:aa949ed1948e64a8067da35dcbf3106dab3adb0d286d6600428263d83502a695","observation_id":"25f44613-dc5a-48a5-89a4-3e3ef72b7483","resolution":{"observed_at":"2026-08-11T00:41:27.193574Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.196585Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.196585Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:2c6cfad160f3c2700e56f7e6f15d1e9a3cc0c3fb65289030d54c07c7e9d650ee","observation_id":"08c06083-2196-4764-9ad7-778788515d76","resolution":{"observed_at":"2026-08-11T00:41:27.196585Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.199754Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.199754Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:f74a294044181f64d98c34e652d803d1994fbf7665182c9428e5dfe8e439b047","observation_id":"47927792-6c6b-4911-9983-79dd8637150d","resolution":{"observed_at":"2026-08-11T00:41:27.199754Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.202710Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.202710Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:d4ac138af7d71c5cca58c9f8092a311369731f6bf80adb412b24e0834edf3c03","observation_id":"f7ab5868-6d87-4e8a-a891-04339243cf93","resolution":{"observed_at":"2026-08-11T00:41:27.202710Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.205780Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.205780Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:86958646213bbc9451663f53b799968a55460100c69d171b1434eed716e16abc","observation_id":"5b065da8-4263-418a-a751-fc0fb76558ee","resolution":{"observed_at":"2026-08-11T00:41:27.205780Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.208854Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.208854Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:a4762206f063d15fc8cb5005023ec5c1af6170c34fe38863fb2dfe4407d90543","observation_id":"de8ceb9c-9cda-4e53-bd46-c71727639473","resolution":{"observed_at":"2026-08-11T00:41:27.208854Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.212155Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.212155Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:3a071590ff9ec1e390a86149c7c0443cb9e0cf19ecfb2157091d28ad30a69d13","observation_id":"6926e401-083c-42fb-b56f-20e7095dc3a7","resolution":{"observed_at":"2026-08-11T00:41:27.212155Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.214995Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.214995Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:8fe76bdba2f1a3aaafac254c6b6654454b3563d08d91d326198e492dd2ada97f","observation_id":"a5987e21-0861-40a0-ac5b-32f65bc9380c","resolution":{"observed_at":"2026-08-11T00:41:27.214995Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.217857Z","title":"Dijkstra","venue":null,"work_id":null,"year":1975},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.217857Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:712136da746c9628cc40141c6d5d67c080565e4f54c257c281642e1c2f7e5019","observation_id":"376d0656-dc8d-485d-a7d8-43cfefe7bd34","resolution":{"observed_at":"2026-08-11T00:41:27.217857Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.220633Z","title":null,"venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.220633Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:d2629aac644b47acb54759042039bc594a97787f5b7e5943c99ca4e32da21828","observation_id":"e4a77f38-adbf-4871-8ef8-5a42487c6d1d","resolution":{"observed_at":"2026-08-11T00:41:27.220633Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.223701Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.223701Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:0c27772201d4f6dc15cdd37c27f45033e4c22c402e4a3bb36907a1298035cdc5","observation_id":"df2ee577-ed43-4a6a-89d3-025d2ffe6c4a","resolution":{"observed_at":"2026-08-11T00:41:27.223701Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.226619Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.226619Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:5bc9a8258ba1e70514203169c1e01d74aba2c1c66a2636c9179eef09a19e6124","observation_id":"6cd13176-d148-40f3-b634-4c3c2b3faef1","resolution":{"observed_at":"2026-08-11T00:41:27.226619Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2311.14215","last_updated":"2023-11-23T22:12:57Z","snapshot_observed_at":"2026-08-13T05:18:47.064747Z","submitted_at":"2023-11-23T22:12:57Z","title":"Refinement calculus of quantum programs with projective assertions","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.14215","snapshot_observed_at":"2026-08-11T00:41:27.229416Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.229416Z"},"links":{"cited_paper":"/paper/2311.14215","citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:91cf20a9e1856b88504cfdd3608f0022531dde8c223658d73bcc04da402e299e","observation_id":"d905f9b0-7988-4924-8731-119ecc14d1ba","resolution":{"observed_at":"2026-08-11T00:41:27.229416Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2478/v10175-010-0008-4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.636384Z","title":"Gawron, J","venue":null,"work_id":"3ae6c0de-fd33-43c7-8c23-99128c2d8f19","year":2010},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.232654Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:a5547fa67c944f874e741f1f843f50d8c21af2398450522164e6f19096143919","observation_id":"40539254-28c7-4399-8c9f-1b834af614f2","resolution":{"observed_at":"2026-08-11T00:41:27.639670Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.236408Z","title":"Gerdt and Alexander N","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.236408Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:02dc5696c617c876dc2e668ebbc534ee0fe9c99cce1552e9ed3d843778a505b0","observation_id":"b1b7679b-9261-4fbf-983b-e2930c46baf7","resolution":{"observed_at":"2026-08-11T00:41:27.236408Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.240222Z","title":"Green, Peter LeFanu Lumsdaine, Neil J","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.240222Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:72212964ddc8c2f428a808efff4b340f837fe699cc16cfe808d4a18b9a743f01","observation_id":"016bb602-7ce3-4ded-b777-c3d835ab6312","resolution":{"observed_at":"2026-08-11T00:41:27.240222Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2023.32758","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:28.606326Z","title":null,"venue":null,"work_id":"a4443427-961c-4dff-9fff-cc53594959d8","year":2023},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.243915Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:76158cec8eeba9b7b0eecd898846d9758bc978886587f7adb32bdbc8fe8a6b73","observation_id":"8669c8d7-088d-482d-8c5c-37a009cc9335","resolution":{"observed_at":"2026-08-11T00:41:28.613880Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.248109Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.248109Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:0aa89b6a3ddfe3d7ef3a1431bff968efffb08bc47602d7c8a8da49ef208486f1","observation_id":"846557a7-9abc-4bb3-97d0-61772ad8a47e","resolution":{"observed_at":"2026-08-11T00:41:27.248109Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.252078Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.252078Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:71e366eb75d0cfa408037c7185973a28b0eac94f0406fbf77b82c8a230d1e599","observation_id":"06d39fb2-d42f-47e9-b423-ddb776d45380","resolution":{"observed_at":"2026-08-11T00:41:27.252078Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7651.27653","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:28.544545Z","title":null,"venue":null,"work_id":"56cf85e6-8d32-47b0-9416-08d3a8899d1a","year":1987},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.256250Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:a95f7bb6f061b46a44da6e1052258ca677987ab04aa61212830f1600d685f30f","observation_id":"1d378280-5bc9-42c2-870a-af83bd94599e","resolution":{"observed_at":"2026-08-11T00:41:28.549238Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf01191809","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:08:50.044864Z","title":null,"venue":"Acta Informatica","work_id":"8c4eec10-0d4f-4f61-8ceb-29f00efc0976","year":1993},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.260169Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:448d448373c5c3023eaad5ec13ce9a7d1843dd3871c0c4007fac4516117f0e00","observation_id":"f7d55b80-3142-40fd-b403-a3636d628c71","resolution":{"observed_at":"2026-08-11T00:41:27.617905Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.08810","last_updated":"2024-06-19T01:39:44Z","snapshot_observed_at":"2026-08-15T00:52:11.520317Z","submitted_at":"2024-05-14T17:55:32Z","title":"Quantum computing with Qiskit","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.08810","snapshot_observed_at":"2026-08-11T00:41:27.263650Z","title":"Wood, Jake Lishman, Julien Gacon, Simon Martiel, Paul D","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.263650Z"},"links":{"cited_paper":"/paper/2405.08810","citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:de772cbbb9827d5617773c278749043bb56327cd2ead57aa21a5f5b30cea6aa3","observation_id":"6ca4ff8b-840c-4a4b-a221-745288b1ea7c","resolution":{"observed_at":"2026-08-11T00:41:27.263650Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.268105Z","title":"Seidel, and A","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.268105Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:56d5042bf476346abea75d72830eefa2f76424c4ce35c58f7453e413a8115f5b","observation_id":"1c09dad9-3294-41d7-9ca4-0c601092c394","resolution":{"observed_at":"2026-08-11T00:41:27.268105Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.272408Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.272408Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:0c6f517420ac2149fe5af2bd86178547feae6264f876a61992ee67c2c976c26f","observation_id":"b26c8bbe-c51c-4b3f-9dff-dbcd5efd4a58","resolution":{"observed_at":"2026-08-11T00:41:27.272408Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.276828Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.276828Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:2ff1e2f26c1a6c06a2add66175b913bab92be622326ec9fa360a8e340f86181f","observation_id":"f6183fb8-7806-4a85-bd57-3a0812a08926","resolution":{"observed_at":"2026-08-11T00:41:27.276828Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.280395Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.280395Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:1f1993f35b531fe0d3b4f3227e69e2f2a39485977beeb490075212d5c720635b","observation_id":"d91327a1-14a7-4af3-ae3d-d90699eabb06","resolution":{"observed_at":"2026-08-11T00:41:27.280395Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.284301Z","title":null,"venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.284301Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:46a688f829e4883ab25878b9104c4e687dff2d60b33993e80aa3ef3a99a967a6","observation_id":"712a44e3-db5e-4a76-ae06-9f94e58d94b6","resolution":{"observed_at":"2026-08-11T00:41:27.284301Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2205.05781","last_updated":"2022-05-18T22:28:53Z","snapshot_observed_at":"2026-08-13T15:45:30.415525Z","submitted_at":"2022-05-11T21:37:23Z","title":"VyZX : A Vision for Verifying the ZX Calculus","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2205.05781","snapshot_observed_at":"2026-08-11T00:41:27.288059Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.288059Z"},"links":{"cited_paper":"/paper/2205.05781","citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:96c5ddd8feacdbba6965c0604f6182f7f69261588dc692175bcff1579f7de5fd","observation_id":"74c6a9de-1709-46fa-b1f4-e0d74b77b9b0","resolution":{"observed_at":"2026-08-11T00:41:27.288059Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2311.11571","last_updated":"2026-04-08T17:21:31Z","snapshot_observed_at":"2026-08-03T00:08:58.823786Z","submitted_at":"2023-11-20T07:12:22Z","title":"VyZX: Formal Verification of a Graphical Quantum Language","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.11571","snapshot_observed_at":"2026-08-11T00:41:27.292617Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.292617Z"},"links":{"cited_paper":"/paper/2311.11571","citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:d818ede5206c8c1b08c964da03e0e4284f03d7b223d2b4b62c049816471c05e8","observation_id":"5009c545-b158-4abe-9829-27ec6b29300b","resolution":{"observed_at":"2026-08-11T00:41:27.292617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.296997Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.296997Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:38a69c641f3eaf506e8f0b73e92c90467c5f27cd2a6fb4d9cbb74aeac14ff00e","observation_id":"aa26b6b2-78fc-4490-8d00-b92650a0d290","resolution":{"observed_at":"2026-08-11T00:41:27.296997Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.301164Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.301164Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:83ccae147f55933c4984c6f2faa9decf6dc9d58793858e0bb5f043c42a3af867","observation_id":"01ec7407-88de-4026-85a9-36b66f59f941","resolution":{"observed_at":"2026-08-11T00:41:27.301164Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.305028Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.305028Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:ed39e3e27970283398d879a7398ff16e17a3fe4e93a72686b173383e04efc88b","observation_id":"4960c959-2615-40bc-b7a9-d43f9c6ae42a","resolution":{"observed_at":"2026-08-11T00:41:27.305028Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:29.389776Z","title":null,"venue":null,"work_id":"c77876ee-3bc0-4a8b-a429-ccaac33769d7","year":2007},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.308788Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:748dd3815a48815a530798d818f69112bd1775a4ad1609cca7a95b7ec4332dc3","observation_id":"8c3d7a83-225d-4afa-aab8-c42cd16dae8f","resolution":{"observed_at":"2026-08-11T00:41:29.393065Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:29.380125Z","title":null,"venue":null,"work_id":"d3d402e5-2dd2-4b63-87c1-9fc6eaa47a56","year":1990},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.312351Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:34df3e6a7dc7945cd2bd9d8048df710f427a8d67674788785eb0d52485d380bb","observation_id":"e3370cc0-e412-4f19-8354-8a956dea3e24","resolution":{"observed_at":"2026-08-11T00:41:29.383537Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.315891Z","title":"Oliveira","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.315891Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:078617c73a8ff87392276cdc0434e663c27d1e189c07426b50d4850207ada424","observation_id":"362709cf-cf73-4f4b-9ccc-d272cdfdd237","resolution":{"observed_at":"2026-08-11T00:41:27.315891Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:29.368808Z","title":null,"venue":null,"work_id":"b3fad3e6-0ee4-46c3-8b35-f9791835c9f1","year":2010},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.319393Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:05f9e19ad9514fa6c9f098c25b21a5e6c2cca238e3d1f51375e0d5346a76ec8b","observation_id":"977b7122-1bb1-467a-b941-dc1599e6ab55","resolution":{"observed_at":"2026-08-11T00:41:29.372795Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10773-005-7071-x","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.579196Z","title":null,"venue":null,"work_id":"f420c224-f797-450a-8905-3275e9ce1ce4","year":2005},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.322966Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:ae6f157febbdf0e035b3c7efa41bbf7edf4f3691eaa0f542f08502889afcac80","observation_id":"877e2c3f-5bd4-48b8-a32b-b0e6ef6a38fa","resolution":{"observed_at":"2026-08-11T00:41:27.582738Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:29.356496Z","title":null,"venue":null,"work_id":"992cdf55-1765-4a72-964e-53d8b54379fa","year":2017},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.326889Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:39cd616189d917b31c67103644bca06cb34888e994ffc25ae60176d7c7d1ab90","observation_id":"4a2e122e-9c30-44a3-9f83-35f11a12368c","resolution":{"observed_at":"2026-08-11T00:41:29.360268Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3720433","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.569167Z","title":null,"venue":null,"work_id":"f6a223fc-5f9a-41f8-b123-1812003375fb","year":2025},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.331055Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:2efee4eae1d0f39aa4600b00489b242a591756d1d4bbb9f378c359d204e54fac","observation_id":"97feea55-81e9-4d3e-9332-69680cc8622d","resolution":{"observed_at":"2026-08-11T00:41:27.572618Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:29.344140Z","title":null,"venue":null,"work_id":"f2d4a6ef-0a03-4067-8e88-500932f75fab","year":null},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.334949Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:d8ce80f7480232aa145a023d571a6d384a054f81723e6307e92f0ce6ddfda47e","observation_id":"912776b3-2105-4b4a-acaa-d9032ce9f603","resolution":{"observed_at":"2026-08-11T00:41:29.348057Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.342611Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.342611Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:ccb850d111d7bbff44d8be1744f90cb1c5206304eaf98f1ccebba35a8087788b","observation_id":"79c2d859-5fdf-4af0-b235-6f1e77e6fd26","resolution":{"observed_at":"2026-08-11T00:41:27.342611Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:29.330061Z","title":null,"venue":null,"work_id":"bc78c475-0cd4-4678-9b45-6dc83d2b3899","year":2018},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.345074Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:482407004396f8fd55febf7aaebf68da46788e8bf912d2d7d3e475c31de6bdc5","observation_id":"788f9679-2aa8-4982-9ebd-fb17a3c9d09a","resolution":{"observed_at":"2026-08-11T00:41:29.334239Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.348228Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.348228Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:f9140b7db4043e15a54a43f8e6284a55e6465ffb7f4c932f441f0a4cd1ae4c02","observation_id":"700911b9-7a2d-494d-86a8-8d2c135e0557","resolution":{"observed_at":"2026-08-11T00:41:27.348228Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0304-3975(88)90049-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.547492Z","title":"Roscoe and C.A.R","venue":null,"work_id":"2c4af67a-65af-4de8-a0cc-962210fcead4","year":1988},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.352145Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:b808345590646bef492af6e10acd9a8be57510ae12f292b527ee32614841ecdc","observation_id":"41ed3e14-c819-4559-bbaa-dbb06d0a28af","resolution":{"observed_at":"2026-08-11T00:41:27.550949Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:29.316218Z","title":null,"venue":null,"work_id":"fbb0e490-9560-4b08-b52d-c9843eafaccf","year":2018},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.355421Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:bd4c27a1b7f46eaf3901ec6c46caeda4a2b37782a35242cfc981cfe518e949a6","observation_id":"06f46ac1-c6a7-4dbb-bd28-744637bfe1c0","resolution":{"observed_at":"2026-08-11T00:41:29.320124Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:29.303279Z","title":null,"venue":null,"work_id":"5a0b354c-c58e-4c14-aebc-4ec652a58581","year":2000},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.358841Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:b4c779baa20b6615afad906eae214f9b20e3b0cba85e911cff77847ff2f15074","observation_id":"755e575e-42b3-4388-bfee-f3a2572ad23a","resolution":{"observed_at":"2026-08-11T00:41:29.307494Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2404.08163","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:28.214381Z","title":null,"venue":null,"work_id":"6e5e345c-507b-474c-a57c-f2111dea36b9","year":2024},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.361562Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:f7b5f90d7efe3886c57f5af487b4c4994076940501015ff9266f0a4520c33e0a","observation_id":"0165c961-f119-436a-ab76-c3886731c3a3","resolution":{"observed_at":"2026-08-11T00:41:28.218939Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0725.11208","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:28.136516Z","title":"Shende, Stephen S","venue":null,"work_id":"55a6d9c5-43ea-433e-8070-e79d36b90992","year":2005},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.364173Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:1205b259c230c84075fa46d3fe74de978740178ff70efdfe6450b103cf0e068f","observation_id":"cd8f6131-8227-4899-af84-69e91732bfec","resolution":{"observed_at":"2026-08-11T00:41:28.143732Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:29.291708Z","title":null,"venue":null,"work_id":"1e7ada7c-9993-4487-a536-f54ec759ca87","year":2020},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.367523Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:ed07972d32c3a839f919365a06bbc75678a45ddf16de379fdea1621185b24410","observation_id":"83bc40ae-0ec1-41dd-b4ff-19b6d651d1f1","resolution":{"observed_at":"2026-08-11T00:41:29.295330Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.370942Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.370942Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:4ebe7caa2328e655c2f8a66a427a1e5e06fd9a6906953a62f5ff53996cd433c4","observation_id":"0f38bf0b-c04e-4068-95df-0808a3767e5f","resolution":{"observed_at":"2026-08-11T00:41:27.370942Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:29.280778Z","title":null,"venue":null,"work_id":"09e68acc-d134-41b0-b25e-bd7766941703","year":2021},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.374345Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:45fd2c288640f9190861b719e03a2def07816eb9180e4a1adb3a87395e317b55","observation_id":"3711ec24-8fe1-4ee2-b96d-da862eb7cd83","resolution":{"observed_at":"2026-08-11T00:41:29.284463Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.377794Z","title":"Steiger, Thomas Häner, and Matthias Troyer","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.377794Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:ac95c9ec6de30b3b3d482b315b3da3cbe4a5ac54d594e5c51ea36c6e512ba636","observation_id":"49381bc5-8f55-4a18-be08-2b23f8cc37af","resolution":{"observed_at":"2026-08-11T00:41:27.377794Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.381280Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.381280Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:178947a2599abac8f3bb44c6cc8602ea88f0e5c39e3d645b36551d1835184416","observation_id":"78ceff59-a770-4df5-af30-d90fb5ebdab7","resolution":{"observed_at":"2026-08-11T00:41:27.381280Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.8161141","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.530775Z","title":null,"venue":null,"work_id":"75ec82b1-a241-471b-9f5c-a56adf8efee4","year":2023},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.388061Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:9ec4d87c57d1c4669faf9f013e281d8505abd9aa11cec3c9be54671dfb8025e1","observation_id":"218e252c-08d6-446a-9817-bf7f07f2589e","resolution":{"observed_at":"2026-08-11T00:41:27.535190Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:29.270379Z","title":null,"venue":null,"work_id":"bfc68617-c395-4e72-bd16-6fb05aeaf136","year":2024},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.391386Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:d3b9554b72e57a57d854850d551f9cd6a5d965d35a4b7ab49c578a90995079dc","observation_id":"343ac342-7eee-472c-9723-40a7f0faa21f","resolution":{"observed_at":"2026-08-11T00:41:29.274107Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.394583Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.394583Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:82201e4ffcb3ff8b24b434ff16164227933029d5cd7fbd5ee29c76a4ce7e3f70","observation_id":"dee18f05-276a-4e6e-987f-1ac9d0bf3f57","resolution":{"observed_at":"2026-08-11T00:41:27.394583Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:29.258429Z","title":null,"venue":null,"work_id":"bf52c081-a300-45e4-93b9-60e22bfbbb73","year":2020},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.397963Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:219ccd069444b52b053785cdc7dc807f052b9204f7c60e8cd7f435136dc64575","observation_id":"3de97828-9e00-48e0-a562-872e6e6798b9","resolution":{"observed_at":"2026-08-11T00:41:29.262253Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.401171Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.401171Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:812bab4a7fcb645c629bd8d55f65a055348d804f5f4e739877691e5e19520065","observation_id":"eca7e9a7-0092-4e3d-863a-45dd9b7b3e72","resolution":{"observed_at":"2026-08-11T00:41:27.401171Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.404232Z","title":"Viamontes, Igor L","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.404232Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:e4f36ff7fd231b8b62230f7504902db2f301baae863e56cb2f3eaff39d099091","observation_id":"aba6ac61-e81d-43ae-9421-bacb89c18b26","resolution":{"observed_at":"2026-08-11T00:41:27.404232Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.407628Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.407628Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:076fe3796284e28a1216145f84525a0b1f73512f833e048ffc16497be94a5df5","observation_id":"d4463afa-874e-4663-83eb-2efe919de856","resolution":{"observed_at":"2026-08-11T00:41:27.407628Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.411440Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.411440Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:293c7c8b34cbd026f93bbeec1e7569ad2f50d1e0751373441a4c905c26b113ce","observation_id":"24518a7e-7b6c-4570-a5b6-739bbfe7f0c3","resolution":{"observed_at":"2026-08-11T00:41:27.411440Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.415304Z","title":"Acar, and Zhihao Jia","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.415304Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:0de7635d00a956322e945d1c3aac6c3bacb3f960a6dcbc883bfa361419a9335f","observation_id":"1a7966df-4005-4cc8-ba72-70f801d7bb88","resolution":{"observed_at":"2026-08-11T00:41:27.415304Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2107.11679","last_updated":"2021-07-24T20:11:46Z","snapshot_observed_at":"2026-08-13T18:40:11.026099Z","submitted_at":"2021-07-24T20:11:46Z","title":"Reasoning about Recursive Quantum Programs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.11679","snapshot_observed_at":"2026-08-11T00:41:27.418874Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.418874Z"},"links":{"cited_paper":"/paper/2107.11679","citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:da3253d1fb0c3825390d59413e1b0f4efc39b8973cb66800c42d17ed4c68b249","observation_id":"94a2a10e-1960-46a5-9d57-fb47fd4284ca","resolution":{"observed_at":"2026-08-11T00:41:27.418874Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.422757Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.422757Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:151804151709477060a629bc4ae0df5f31f6fd31cab4dfc7a71890605327dde3","observation_id":"cdbc7d0d-a0af-420f-a38f-1592df327c52","resolution":{"observed_at":"2026-08-11T00:41:27.422757Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1209.4379","last_updated":"2012-09-19T21:56:39Z","snapshot_observed_at":"2026-08-15T00:45:58.993104Z","submitted_at":"2012-09-19T21:56:39Z","title":"Defining Quantum Control Flow","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1209.4379","snapshot_observed_at":"2026-08-11T00:41:27.426116Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.426116Z"},"links":{"cited_paper":"/paper/1209.4379","citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:930d08550ee81d7ac3bbb1977a359bb13545850401e7d245bb2aeb256fe22bfc","observation_id":"65700d6a-9c8a-42b9-80ac-bbd129197936","resolution":{"observed_at":"2026-08-11T00:41:27.426116Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2311.01725","last_updated":"2023-11-03T05:44:52Z","snapshot_observed_at":"2026-08-15T05:14:26.714769Z","submitted_at":"2023-11-03T05:44:52Z","title":"Quantum Recursive Programming with Quantum Case Statements","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.01725","snapshot_observed_at":"2026-08-11T00:41:27.429695Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.429695Z"},"links":{"cited_paper":"/paper/2311.01725","citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:aa1079c4507f04eeefa9c7bb44fae94541f8478cdbee3b463bdb5ec8a1ad661b","observation_id":"2b072823-cded-421f-9b3a-29f2c66bfcbc","resolution":{"observed_at":"2026-08-11T00:41:27.429695Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.05934","last_updated":"2024-11-06T20:54:12Z","snapshot_observed_at":"2026-08-15T02:14:56.514375Z","submitted_at":"2024-04-09T01:35:13Z","title":"Verification of Recursively Defined Quantum Circuits","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.05934","snapshot_observed_at":"2026-08-11T00:41:27.432785Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.432785Z"},"links":{"cited_paper":"/paper/2404.05934","citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:ddd703d96eb8b8e770b173f8bea210a5faf8486dd76a3479de28899973701145","observation_id":"ce9834cf-2baf-478c-94db-7ddcf4d766dc","resolution":{"observed_at":"2026-08-11T00:41:27.432785Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:29.236582Z","title":null,"venue":null,"work_id":"fc35776a-3274-4654-b745-1850a67d7d28","year":2023},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.435866Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:39888922fe512c5c176788ba55b862b776a70b2ec9a5942d30b749db8915c40c","observation_id":"ea524cf0-885b-47d0-a0e3-1a72a21ee1fc","resolution":{"observed_at":"2026-08-11T00:41:29.240598Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.439175Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.439175Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:7c417e63a214a75a4dc7cd45f386bc706d862f0d3fecd027375952add30cc7f6","observation_id":"6c411d88-3262-4f06-aa66-d5243ce32d7b","resolution":{"observed_at":"2026-08-11T00:41:27.439175Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:29.224388Z","title":null,"venue":null,"work_id":"2c5a80f0-a897-472e-bf48-521ac10d5e28","year":2024},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.442231Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:dbac7f0b27392b2a0b11fbba28a85b41c4d0b9056b20b23e4a64b69e497a8f68","observation_id":"c50fceb7-0205-4f47-8af8-2f54718827bd","resolution":{"observed_at":"2026-08-11T00:41:29.228228Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.444970Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.444970Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:b78b1e9128b5e54d7caab98a7156cb962419e917f452e576529927f2d094b05b","observation_id":"cad75c8f-38a6-4015-997b-f5b7a1e286d5","resolution":{"observed_at":"2026-08-11T00:41:27.444970Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.448337Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.448337Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:750af38f7252656ae4da4b08c32337e53daaa6c173212860e842990334dde751","observation_id":"f274a913-6f23-44ae-aa8a-408924606c3a","resolution":{"observed_at":"2026-08-11T00:41:27.448337Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:29.212320Z","title":null,"venue":null,"work_id":"4e072f30-5c53-440a-8599-865ea3053d13","year":2005},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.451227Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:092922846ef8cfc5d3d44f6ddd83de7fd0a92311171bae6a2e855b65d4fae1db","observation_id":"d9e96a47-f0df-44cc-8da8-26bfd80961ef","resolution":{"observed_at":"2026-08-11T00:41:29.216426Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:29.198772Z","title":"⇒”: This is immediate, since𝐴⊥𝐵 means𝐴𝐵 = 0. “⇐","venue":null,"work_id":"3844773f-1804-436d-83cb-30693a170553","year":2004},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.453871Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:c2f8202473863d07e3d42f99fcfc8072c79901dd8d7d203b000e561d52cc8ce8","observation_id":"b2f4c091-2c82-459f-8bf2-af9faa09ea83","resolution":{"observed_at":"2026-08-11T00:41:29.203370Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:29.187233Z","title":null,"venue":null,"work_id":"c709fb52-4bb9-4f87-9c00-5b8c107b7ffd","year":null},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.457503Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:06417b440190035d93e029d528f03d99b1643bca082a73fb04037acb64085734","observation_id":"bc41859e-2762-430c-8b58-8d464cc132fd","resolution":{"observed_at":"2026-08-11T00:41:29.191083Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:29.175330Z","title":null,"venue":null,"work_id":"3cb410be-d4a0-4ec6-a935-282d4d40615d","year":2025},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.460229Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:c07df30e5db5a7c40418e62b274692e85086f6071d3729964d229622b9c31233","observation_id":"b271cbcc-2e24-4202-aff8-cdaaa498311d","resolution":{"observed_at":"2026-08-11T00:41:29.179486Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:29.163802Z","title":null,"venue":null,"work_id":"e30c0ef1-1fab-4bd8-a9e8-1f991e33f72e","year":null},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.463312Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:9904d1b926c44f0bbe8fc4aec089cb9b599e322db814a6df7c4bc6ff4452c69c","observation_id":"13291156-2ab8-4106-8f54-d575d2b7b822","resolution":{"observed_at":"2026-08-11T00:41:29.167934Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:29.152725Z","title":null,"venue":null,"work_id":"718a84d9-3f66-4f74-8e14-7c3195a8dc7b","year":2025},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.466106Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:84704808d9251ecfe8205c7a49a9fbc8f344ca1b1c98200d876029393c491759","observation_id":"9590c7d0-8bf9-4bf0-8fc5-c5e1deba2442","resolution":{"observed_at":"2026-08-11T00:41:29.156540Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T00:41:27.338904Z","title":"Proceedings of the National Academy of Sciences 120, 21 (2023), e2218775120","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming","version":2},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-11T00:41:27.338904Z"},"links":{"citing_paper":"/paper/2412.19463"},"observation_digest":"sha256:d9b0a7c5cfab17d95d6c4285d4c9d39f259bb3037da28b601b2594c780bb04d7","observation_id":"be3d4b24-9d57-45d5-b26a-09c35797f92c","resolution":{"observed_at":"2026-08-11T00:41:27.338904Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2412.19463","last_updated":"2025-09-01T15:13:54Z","latest_version":2,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-15T00:53:00.905967Z","submitted_at":"2024-12-27T05:16:35Z","title":"Laws of Quantum Programming"},"reference_resolution":{"displayed":90,"state_counts":{"malformed_identifier":2,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":75,"verified_exact":10,"verified_fuzzy":1},"total_outbound_references":90},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 90 of 90 outbound references and 0 inbound Pith citation observations for arXiv:2412.19463."}