Paper Citation Record · LEDGER

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2505.08633 v1

Coverage vector

measured 37 of 37 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T21:56:31.876478Z

measured 37 of 37 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

37 of 37 outbound references displayed

verified exact2
verified fuzzy8
unresolved26
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 9ba256cc-21f3-4f90-83f6-43d98b3a90f7 · outbound

This paper cites an unresolved cited work.

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:31.645785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5617c957-92ed-4fdb-a7bb-de06b363fa7e · outbound

This paper cites Distributions of Distances and Volumes of Balls in Homogeneous Lens Spaces.

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation Distributions of Distances and Volumes of Balls in Homogeneous Lens Spaces

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:31.651671Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 326a6cfd-46ed-4d19-bbf6-c51d1e4e89c0 · outbound

This paper cites In: 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS).

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation In: 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS)

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:31.657208Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b30a57ac-b2cf-4efe-93ee-16c4afa1a3ba · outbound

This paper cites Electronic Proceedings in Theoretical Computer Science287, 1–21 (Jan 2019).

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation Electronic Proceedings in Theoretical Computer Science287, 1–21 (Jan 2019)

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:31.665432Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc1e67ec-5b0c-4083-ad37-8e5e5ba17201 · outbound

This paper cites New Journal of Physics16(9), 093021 (2014).

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation New Journal of Physics16(9), 093021 (2014)

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:32.804392Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 6d84995b-1812-4789-8df7-974182eba8a9 · outbound

This paper cites an unresolved cited work.

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:31.679575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b96e93b3-5d5c-43b5-9354-feacbbbbd042 · outbound

This paper cites In: Proceedings of the 26th Asia and South Pacific Design Automation Conference.

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation In: Proceedings of the 26th Asia and South Pacific Design Automation Conference

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:31.687741Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 09765112-7199-4c5a-8a45-f5d5f63e2348 · outbound

This paper cites In: Akleylek, S., Dundua, B.

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation In: Akleylek, S., Dundua, B

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:31.693287Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04ab8902-f82c-4db3-b37c-09a543ec0513 · outbound

This paper cites In: Enea, C., Lal, A.

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation In: Enea, C., Lal, A

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:32.785574Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation e775b6ed-5d7f-47a6-bd6e-d58475ee5027 · outbound

This paper cites an unresolved cited work.

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:31.706783Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 86907551-ce75-4313-93ad-04490dd8acf1 · outbound

This paper cites an unresolved cited work.

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:31.713949Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f89fabaf-1fcf-436c-8e23-f9d3133c7bad · outbound

This paper cites In: Szeider, S., Ganian, R., Silva, A.

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation In: Szeider, S., Ganian, R., Silva, A

Reference 12

Resolution: verified exact; doi, observed 2026-08-15T21:56:32.768940Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation b2d76283-0516-44ee-8209-54d176f67f97 · outbound

This paper cites In: 38th Annual ACM/IEEE Sympo- sium on Logic in Computer Science, LICS 2023, Boston, MA, USA, June 26-29,.

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation In: 38th Annual ACM/IEEE Sympo- sium on Logic in Computer Science, LICS 2023, Boston, MA, USA, June 26-29,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:32.749321Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation e5918b59-d89e-42a7-a215-d5822e4eba77 · outbound

This paper cites In: Aceto, L., Damgård, I., Goldberg, L.A., Halldórsson, M.M., Ingólfsdóttir, A., Walukiewicz, I.

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation In: Aceto, L., Damgård, I., Goldberg, L.A., Halldórsson, M.M., Ingólfsdóttir, A., Walukiewicz, I

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:31.732984Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72543aa8-212c-4ac2-a19e-59e388793eaa · outbound

This paper cites New Journal of Physics13(4), 043016 (2011).

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation New Journal of Physics13(4), 043016 (2011)

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:32.725286Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation b2a931a3-afa7-4f69-899d-5522a72735aa · outbound

This paper cites Indagationes Mathematicae (Proceedings)75(5), 381–392 (1972).

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation Indagationes Mathematicae (Proceedings)75(5), 381–392 (1972)

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:31.739826Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ceba714-475a-4f05-86c4-f2cc167d91f0 · outbound

This paper cites In: Mathematical pro- ceedings of the Cambridge philosophical society.

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation In: Mathematical pro- ceedings of the Cambridge philosophical society

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:31.743478Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c46fe81-cc8d-437d-b6ef-71c80eee2cf2 · outbound

This paper cites In: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation In: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science

Reference 18

Resolution: verified exact; doi, observed 2026-08-15T21:56:32.027446Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation ac381dba-5697-4d35-8613-098be910e1f6 · outbound

This paper cites In: Dawar, A., Grädel, E.

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation In: Dawar, A., Grädel, E

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:31.760193Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7acddb3c-3902-4bd9-ac07-d218b846cb8c · outbound

This paper cites In: Coecke, B., Leifer, M.

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation In: Coecke, B., Leifer, M

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:32.711361Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 94c980b3-c0ca-4298-ac5f-19068d97ddd0 · outbound

This paper cites an unresolved cited work.

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:31.771234Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a7c3192-42f8-45c8-9da4-3798a80f2925 · outbound

This paper cites Formal Verification of Quantum Programs: Theory, Tools and Challenges.

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation Formal Verification of Quantum Programs: Theory, Tools and Challenges

Reference 24

Resolution: metadata mismatch; local_arxiv, observed 2026-08-15T21:56:32.235925Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 1a166c5f-93e2-43e0-8913-5ef925dcfd32 · outbound

This paper cites Qafny: A Quantum-Program Verifier.

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation Qafny: A Quantum-Program Verifier

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:31.781659Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48c74181-4339-49c3-8c09-0021651d1a3d · outbound

This paper cites Cambridge university press (2010).

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation Cambridge university press (2010)

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:32.692958Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation c1fb92b6-9608-4378-861a-4aafdd150241 · outbound

This paper cites Linear Algebra and its Applications694, 206–261 (2024).

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation Linear Algebra and its Applications694, 206–261 (2024)

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:31.797914Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 429c5b12-2a28-43b5-84e8-9bce612fbdf3 · outbound

This paper cites IEEE Journal on Emerging and Selected Topics in Cir- cuits and Systems12(3), 662–675 (2022).

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation IEEE Journal on Emerging and Selected Topics in Cir- cuits and Systems12(3), 662–675 (2022)

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:31.804182Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8fa12ff4-4ddc-47f7-a913-e7a8ddbf4ea4 · outbound

This paper cites Matrix Product State Representations.

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation Matrix Product State Representations

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:31.811205Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8cd6db3c-2135-4d1f-89ae-f1f72d907f46 · outbound

This paper cites In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:31.819386Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc06410f-8fdb-4562-a80d-ca3051bb8ed3 · outbound

This paper cites an unresolved cited work.

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:31.824512Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd63cbe4-871d-441c-9d3d-f4dab48487bb · outbound

This paper cites ZX-calculus for the working quantum computer scientist.

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation ZX-calculus for the working quantum computer scientist

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:31.830120Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b085d241-1487-48df-8226-eeec59cdc3ff · outbound

This paper cites an unresolved cited work.

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:31.837211Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6eb3fc57-869c-46ef-b15f-6d34125d6441 · outbound

This paper cites ACM Program.

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation ACM Program

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:31.844110Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97661edc-ce4c-4720-bee4-26f9d87e2a9a · outbound

This paper cites an unresolved cited work.

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:31.852956Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20f6e7f5-ce69-411c-bedc-3f63c197f428 · outbound

This paper cites Acta Informatica62(1), 7 (Dec 2024).

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation Acta Informatica62(1), 7 (Dec 2024)

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:32.676672Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 346412c1-e6c1-4e67-b083-6617915f486b · outbound

This paper cites In: 36th Annual ACM/IEEE Sympo- sium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2,.

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation In: 36th Annual ACM/IEEE Sympo- sium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2,

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:56:32.660481Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 603c72c9-e82e-4068-a6a1-78b83a431e46 · outbound

This paper cites an unresolved cited work.

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:31.876478Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 883c461b-f514-4a97-b14d-5a1c95231912 · outbound

This paper cites an unresolved cited work.

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation Unresolved cited work

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-15T21:56:31.870595Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.