{"as_of":"2026-08-19T16:04:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f7ac28edb2e26536cef4276c4c4253ef59e31fadf2d0f6138699dadc5a910596","coverage":[{"denominator":37,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":37,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T21:56:31.876478Z","state":"measured"},{"denominator":37,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":37,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+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/2505.08633/citation-record","integrity":"/paper/2505.08633/integrity","json":"/paper/2505.08633/citation-record.json","paper":"/paper/2505.08633"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:56:31.645785Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.645785Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:7b550955de2f69147bf290d8a01ec5d3f2bd2d5d68567a1917b2e0c50f19aa35","observation_id":"9ba256cc-21f3-4f90-83f6-43d98b3a90f7","resolution":{"observed_at":"2026-08-15T21:56:31.645785Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2004.13196","last_updated":"2020-04-27T22:07:02Z","snapshot_observed_at":"2026-08-16T12:51:05.623585Z","submitted_at":"2020-04-27T22:07:02Z","title":"Distributions of Distances and Volumes of Balls in Homogeneous Lens Spaces","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2004.13196","snapshot_observed_at":"2026-08-15T21:56:31.651671Z","title":"In: 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.651671Z"},"links":{"cited_paper":"/paper/2004.13196","citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:9ff1d5e590d016af217e958099e8d2dae824063b5618cdab42cc00e24b6eec13","observation_id":"5617c957-92ed-4fdb-a7bb-de06b363fa7e","resolution":{"observed_at":"2026-08-15T21:56:31.651671Z","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-15T21:56:31.657208Z","title":"In: 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.657208Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:d9fe32ef419c84c3b459d25ea3909b3c36d52c2a1da0b48cf5febb79d691b408","observation_id":"326a6cfd-46ed-4d19-bbf6-c51d1e4e89c0","resolution":{"observed_at":"2026-08-15T21:56:31.657208Z","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-15T21:56:31.665432Z","title":"Electronic Proceedings in Theoretical Computer Science287, 1–21 (Jan 2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.665432Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:b6aa960752783568f31baa7248a673df537570e88e3068699f08f405b56af4cb","observation_id":"b30a57ac-b2cf-4efe-93ee-16c4afa1a3ba","resolution":{"observed_at":"2026-08-15T21:56:31.665432Z","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-15T21:56:32.797648Z","title":"New Journal of Physics16(9), 093021 (2014)","venue":null,"work_id":"9efb58f1-99d4-4d3c-952d-2743d6b4401e","year":2014},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.671214Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:be984d02b2f3ab495ad6ad1c61cdf6658fd4498c1bd0d1f1ab767a6af8276271","observation_id":"dc1e67ec-5b0c-4083-ad37-8e5e5ba17201","resolution":{"observed_at":"2026-08-15T21:56:32.804392Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T21:56:31.679575Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.679575Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:d94fd1598b872062586f4c722658f7ae6031e82540ee3e670ad2ed7a86451e9b","observation_id":"6d84995b-1812-4789-8df7-974182eba8a9","resolution":{"observed_at":"2026-08-15T21:56:31.679575Z","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-15T21:56:31.687741Z","title":"In: Proceedings of the 26th Asia and South Pacific Design Automation Conference","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.687741Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:82319069bd0184d2f92419eb523cf73584dc4b4837f49109794ee5a0620b3beb","observation_id":"b96e93b3-5d5c-43b5-9354-feacbbbbd042","resolution":{"observed_at":"2026-08-15T21:56:31.687741Z","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-15T21:56:31.693287Z","title":"In: Akleylek, S., Dundua, B","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.693287Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:ab45c250dda9c4309bcc60c0813b9ee6a9fab283064731bdf026160192bfbce1","observation_id":"09765112-7199-4c5a-8a45-f5d5f63e2348","resolution":{"observed_at":"2026-08-15T21:56:31.693287Z","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-15T21:56:32.780868Z","title":"In: Enea, C., Lal, A","venue":null,"work_id":"19943697-57ff-4d77-8d6a-157d4af55444","year":2023},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.701677Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:c4dbe32061be3c394c0298ceeda73b42a7691b12caffb8dec1b28c15afdf9503","observation_id":"04ab8902-f82c-4db3-b37c-09a543ec0513","resolution":{"observed_at":"2026-08-15T21:56:32.785574Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T21:56:31.706783Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.706783Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:2c4d9095f4857b72d0235b83ad11576a409ee277d6009a069c73492d123739c1","observation_id":"e775b6ed-5d7f-47a6-bd6e-d58475ee5027","resolution":{"observed_at":"2026-08-15T21:56:31.706783Z","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-15T21:56:31.713949Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.713949Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:927c700f3d4333d6052b9086fc7ba4817d5b2517b55477c6c61272c0305002b4","observation_id":"86907551-ce75-4313-93ad-04490dd8acf1","resolution":{"observed_at":"2026-08-15T21:56:31.713949Z","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.4230/lipics.mfcs.2022.35","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:56:32.762786Z","title":"In: Szeider, S., Ganian, R., Silva, A","venue":null,"work_id":"23ad6953-4071-490d-8283-7fbff2f93a5e","year":2022},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.719391Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:b56132ca537c5f54e66231e039fc92a247bd538c2cbd427e64238f0a670f6874","observation_id":"f89fabaf-1fcf-436c-8e23-f9d3133c7bad","resolution":{"observed_at":"2026-08-15T21:56:32.768940Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T21:56:32.744882Z","title":"In: 38th Annual ACM/IEEE Sympo- sium on Logic in Computer Science, LICS 2023, Boston, MA, USA, June 26-29,","venue":null,"work_id":"e262b246-b187-46a8-8c24-971937ebd1e2","year":2023},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.724465Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:c8a9be06e3b5504eaa851d5484403a53f207a5a7d4cf5f451d7b65e3606d54d8","observation_id":"b2d76283-0516-44ee-8209-54d176f67f97","resolution":{"observed_at":"2026-08-15T21:56:32.749321Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T21:56:31.732984Z","title":"In: Aceto, L., Damgård, I., Goldberg, L.A., Halldórsson, M.M., Ingólfsdóttir, A., Walukiewicz, I","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.732984Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:d5f55fbe234319c6f28283b5ef480e9619a2a7d572ddaba23e27a70915b04c27","observation_id":"e5918b59-d89e-42a7-a215-d5822e4eba77","resolution":{"observed_at":"2026-08-15T21:56:31.732984Z","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-15T21:56:32.720290Z","title":"New Journal of Physics13(4), 043016 (2011)","venue":null,"work_id":"607be417-db54-47a3-9347-ca30d40a6415","year":2011},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.736569Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:979942c43214fd4b2212808931270936dc6700019e78262cebf3173040f3c950","observation_id":"72543aa8-212c-4ac2-a19e-59e388793eaa","resolution":{"observed_at":"2026-08-15T21:56:32.725286Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T21:56:31.739826Z","title":"Indagationes Mathematicae (Proceedings)75(5), 381–392 (1972)","venue":null,"work_id":null,"year":1972},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.739826Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:be03bec2b2605544cccd7e5011396c296623026a78cefc5ee1b1627f34a3ce25","observation_id":"b2a931a3-afa7-4f69-899d-5522a72735aa","resolution":{"observed_at":"2026-08-15T21:56:31.739826Z","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-15T21:56:31.743478Z","title":"In: Mathematical pro- ceedings of the Cambridge philosophical society","venue":null,"work_id":null,"year":1939},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.743478Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:9fee3633bed29d76b9975a152e20c175e58a561fcd2b3f55ea7cc0615cfc5b3c","observation_id":"4ceba714-475a-4f05-86c4-f2cc167d91f0","resolution":{"observed_at":"2026-08-15T21:56:31.743478Z","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.1109/lics.2015.59","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T21:56:32.020403Z","title":"In: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science","venue":null,"work_id":"e4fcce1c-eb77-4a98-95a2-c1227a3ef852","year":2015},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.747251Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:6ad8ad008342cbaed2f0bc82c2ebbff33bb3777bff56d83bb5250d0b25350239","observation_id":"9c46fe81-cc8d-437d-b6ef-71c80eee2cf2","resolution":{"observed_at":"2026-08-15T21:56:32.027446Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T21:56:31.760193Z","title":"In: Dawar, A., Grädel, E","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.760193Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:91ee70628cd0cce463ff7bd15bf79d42a05103e50af23e5ed4ac5ec13c6df22c","observation_id":"ac381dba-5697-4d35-8613-098be910e1f6","resolution":{"observed_at":"2026-08-15T21:56:31.760193Z","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-15T21:56:32.707233Z","title":"In: Coecke, B., Leifer, M","venue":null,"work_id":"cf0252b6-c7b3-4b8c-b3b2-235de5fddc98","year":2020},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.764891Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:f951ac2c121f4fd08c10d891f9741958259ad357daeceaa7ab8e2f31da199659","observation_id":"7acddb3c-3902-4bd9-ac07-d218b846cb8c","resolution":{"observed_at":"2026-08-15T21:56:32.711361Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T21:56:31.771234Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.771234Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:2de6633ef4a1c30d32a53db795c2dc5979c8068915d3cff28b5507a56efe521c","observation_id":"94c980b3-c0ca-4298-ac5f-19068d97ddd0","resolution":{"observed_at":"2026-08-15T21:56:31.771234Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2110.01320","last_updated":"2022-12-12T14:38:38Z","snapshot_observed_at":"2026-08-16T17:52:04.694341Z","submitted_at":"2021-10-04T11:00:48Z","title":"Formal Verification of Quantum Programs: Theory, Tools and Challenges","version":2},"cited_work":{"arxiv_id":"2110.01320","doi":null,"metadata_source":"pith","pith_arxiv_id":"2110.01320","snapshot_observed_at":"2026-08-15T21:56:32.224730Z","title":"Formal Verification of Quantum Programs: Theory, Tools and Challenges","venue":"cs.LO","work_id":"440c2108-8733-400a-a6e9-aa85f3cd1847","year":2021},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.776303Z"},"links":{"cited_paper":"/paper/2110.01320","citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:61d8fee1de4e7d51217078d3d0aeb983b2ff04a0359e92f948d960e273b9a81f","observation_id":"0a7c3192-42f8-45c8-9da4-3798a80f2925","resolution":{"observed_at":"2026-08-15T21:56:32.235925Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2211.06411","last_updated":"2024-07-08T16:28:26Z","snapshot_observed_at":"2026-08-16T16:16:49.750251Z","submitted_at":"2022-11-11T18:50:52Z","title":"Qafny: A Quantum-Program Verifier","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2211.06411","snapshot_observed_at":"2026-08-15T21:56:31.781659Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.781659Z"},"links":{"cited_paper":"/paper/2211.06411","citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:e43d5612a42ce7fd19344cadd5b0b39d1d5239d6ed4f2832266b754dc0b25173","observation_id":"1a166c5f-93e2-43e0-8913-5ef925dcfd32","resolution":{"observed_at":"2026-08-15T21:56:31.781659Z","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-15T21:56:32.687687Z","title":"Cambridge university press (2010)","venue":null,"work_id":"e7c081aa-6613-4c1a-8f32-e18b53665186","year":2010},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.788817Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:78633adb1239b9858485577814010a91d7a6568f04e6a330ce2a7f0adf0477c6","observation_id":"48c74181-4339-49c3-8c09-0021651d1a3d","resolution":{"observed_at":"2026-08-15T21:56:32.692958Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T21:56:31.797914Z","title":"Linear Algebra and its Applications694, 206–261 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.797914Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:70b82933b1b5a8040f76f3ecb841fddb5b7004e56274ccbd7684c707ceedbc8d","observation_id":"c1fb92b6-9608-4378-861a-4aafdd150241","resolution":{"observed_at":"2026-08-15T21:56:31.797914Z","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-15T21:56:31.804182Z","title":"IEEE Journal on Emerging and Selected Topics in Cir- cuits and Systems12(3), 662–675 (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.804182Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:26dfc48c134c2b7a81af473fce91920e5eab83a110f53de13cc8896ace11a18e","observation_id":"429c5b12-2a28-43b5-84e8-9bce612fbdf3","resolution":{"observed_at":"2026-08-15T21:56:31.804182Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"quant-ph/0608197","last_updated":"2007-05-14T16:05:27Z","snapshot_observed_at":"2026-08-15T11:05:15.641271Z","submitted_at":"2006-08-25T09:05:11Z","title":"Matrix Product State Representations","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"quant-ph/0608197","snapshot_observed_at":"2026-08-15T21:56:31.811205Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.811205Z"},"links":{"cited_paper":"/paper/quant-ph/0608197","citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:862a7ee8e057c251125bcd2814da6799daad7f870bda77fcaa28f37cb16494d2","observation_id":"8fa12ff4-4ddc-47f7-a913-e7a8ddbf4ea4","resolution":{"observed_at":"2026-08-15T21:56:31.811205Z","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-15T21:56:31.819386Z","title":"In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.819386Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:087120037a846223997928d38d75caa8104c794b4d4f49fea3d21f9b27a146ea","observation_id":"8cd6db3c-2135-4d1f-89ae-f1f72d907f46","resolution":{"observed_at":"2026-08-15T21:56:31.819386Z","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-15T21:56:31.824512Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.824512Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:dfeebf2a4541af180d6f6756417907c6512f46b43b740cb8e09326fa2a369081","observation_id":"cc06410f-8fdb-4562-a80d-ca3051bb8ed3","resolution":{"observed_at":"2026-08-15T21:56:31.824512Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2012.13966","last_updated":"2020-12-27T15:54:25Z","snapshot_observed_at":"2026-08-18T07:31:32.477651Z","submitted_at":"2020-12-27T15:54:25Z","title":"ZX-calculus for the working quantum computer scientist","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2012.13966","snapshot_observed_at":"2026-08-15T21:56:31.830120Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.830120Z"},"links":{"cited_paper":"/paper/2012.13966","citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:4ecb1606519fa14c1ddc3fb526d83e176abb591dd05ef7392bb5ba03b65a7847","observation_id":"dd63cbe4-871d-441c-9d3d-f4dab48487bb","resolution":{"observed_at":"2026-08-15T21:56:31.830120Z","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-15T21:56:31.837211Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.837211Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:2c223696e98858f6fd27f0aef303f427b157291899b956593a367df1f309693a","observation_id":"b085d241-1487-48df-8226-eeec59cdc3ff","resolution":{"observed_at":"2026-08-15T21:56:31.837211Z","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-15T21:56:31.844110Z","title":"ACM Program","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.844110Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:52be467923a0da416d9cd047eb13df418adfce5e27a43037a7475e0478da3620","observation_id":"6eb3fc57-869c-46ef-b15f-6d34125d6441","resolution":{"observed_at":"2026-08-15T21:56:31.844110Z","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-15T21:56:31.852956Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.852956Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:b16b8b6744e17c622277a9212b0a277885750fe3064fa072015a3c7a1b98bb21","observation_id":"97661edc-ce4c-4720-bee4-26f9d87e2a9a","resolution":{"observed_at":"2026-08-15T21:56:31.852956Z","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-15T21:56:32.671139Z","title":"Acta Informatica62(1), 7 (Dec 2024)","venue":null,"work_id":"72e4b582-9ee1-4bb3-8247-695500edee24","year":2024},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.859451Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:2ba26d803cf57f4872748509325263940142ff61ee6c630c6dba9a20c4452182","observation_id":"20f6e7f5-ce69-411c-bedc-3f63c197f428","resolution":{"observed_at":"2026-08-15T21:56:32.676672Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T21:56:32.655361Z","title":"In: 36th Annual ACM/IEEE Sympo- sium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2,","venue":null,"work_id":"678a805a-de7e-4846-bd3d-2282ade96619","year":2021},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.865850Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:2024bc97bd004ad40f4a7cfbe5fb4422e261e0f751539064d79f6f3ce08ef9c0","observation_id":"346412c1-e6c1-4e67-b083-6617915f486b","resolution":{"observed_at":"2026-08-15T21:56:32.660481Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T21:56:31.876478Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.876478Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:e4d5a1fc220e2e7f8a756af77d2f67d101223e01b8404eca1efe537171ce714d","observation_id":"603c72c9-e82e-4068-a6a1-78b83a431e46","resolution":{"observed_at":"2026-08-15T21:56:31.876478Z","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-15T21:56:31.870595Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation","version":1},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-15T21:56:31.870595Z"},"links":{"citing_paper":"/paper/2505.08633"},"observation_digest":"sha256:2dd3c04b2072634f7ae09e272781293da8e8e0ef2a293ebee0e9aaa84a37647f","observation_id":"883c461b-f514-4a97-b14d-5a1c95231912","resolution":{"observed_at":"2026-08-15T21:56:31.870595Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2505.08633","last_updated":"2025-05-13T14:51:04Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-18T07:34:41.289160Z","submitted_at":"2025-05-13T14:51:04Z","title":"D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation"},"reference_resolution":{"displayed":37,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":26,"verified_exact":2,"verified_fuzzy":8},"total_outbound_references":37},"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-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 0 inbound Pith citation observations for arXiv:2505.08633."}