Paper Citation Record · LEDGER

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs

As of 15 August 2026, this Paper Citation Record lists 59 of 59 outbound references and 0 inbound Pith citation observations for arXiv:2607.11665.

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

pith.paper-citation-record.v1
2607.11665 v1

Coverage vector

measured 59 of 59 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-14T04:01:18.172992Z

measured 59 of 59 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+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

59 of 59 outbound references displayed

verified exact15
verified fuzzy0
unresolved42
parse uncertain0
malformed identifier2
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1ec64ea5-0fdb-4946-af83-6315815cf54c · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04b228a4-fcd4-4e94-a1d9-4271627c6097 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 2

Resolution: verified exact; doi, observed 2026-07-14T04:10:13.959871Z

Source-reported events for the cited work

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

Observation d0c537bd-bb7a-474a-9467-9a8bf88bdae9 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a1f9fff-5ad2-4ae5-bd89-b920e3e59fbe · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b135b0e-ff7e-44e3-a3da-cfe4e17525e5 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8599bb52-c331-43e3-a4b6-05652d021897 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 6

Resolution: verified exact; doi, observed 2026-07-14T04:10:13.972770Z

Source-reported events for the cited work

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

Observation 112a6e5d-086a-48fe-b5b6-ebc6b1a7795f · outbound

This paper cites Thinniyam, and Georg Zetzsche.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Thinniyam, and Georg Zetzsche

Reference 7

Resolution: verified exact; doi, observed 2026-07-14T04:10:13.948774Z

Source-reported events for the cited work

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

Observation c68c94a8-7a0e-4092-bbc4-933b4ffb46e8 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 833c55c9-76fb-4ebf-b7b0-5c2fde9c8543 · outbound

This paper cites Evered, Alexandra A.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Evered, Alexandra A

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00bacef3-a8a2-4d36-a9d6-6412d7cfd5c6 · outbound

This paper cites Borodin and S.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Borodin and S

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eac7fb4b-44ed-438c-b2c9-25a739c0677a · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1bffb34e-4aa3-40ce-8bb3-3481a3b4a508 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 12

Resolution: verified exact; doi, observed 2026-07-14T04:10:13.895682Z

Source-reported events for the cited work

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

Observation f30dcff5-3690-4c31-bf07-1b48a3257cb4 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4df1f2f-8899-4d26-aec7-a2d9dee80dbd · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 14

Resolution: malformed identifier; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 22ef29e9-db4d-4de6-8673-90b6058b4595 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5441f08d-5ef6-4538-b3bb-dff9bc64d511 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77457a46-a14a-4b63-b2f1-ac0099c425d7 · outbound

This paper cites Madhusudan.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Madhusudan

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1ca9090-6a72-4542-a657-01aa7a1eb530 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8044123-9655-4a73-b6f8-50169664467e · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6e7c8b5-abea-41ff-a78f-9866b4edb524 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 195a160f-79a0-4c7f-9569-0084b7e88c6a · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 22

Resolution: verified exact; doi, observed 2026-07-14T04:10:13.989995Z

Source-reported events for the cited work

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

Observation 1147813c-228e-4363-94a3-638338b5aced · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 23

Resolution: verified exact; doi, observed 2026-07-14T04:10:13.881197Z

Source-reported events for the cited work

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

Observation 98c2d7d5-0ac3-4a84-871d-f10994f77f66 · outbound

This paper cites Gay and Rajagopal Nagarajan.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Gay and Rajagopal Nagarajan

Reference 24

Resolution: verified exact; arxiv_id, observed 2026-07-14T04:10:13.912037Z

Source-reported events for the cited work

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

Observation 7a4ae43c-b724-4f72-a378-269af7b0fd64 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a532f454-f7cf-4cae-8bc0-85b24d6d1611 · outbound

This paper cites Goharshady, Kerim Kochekov, Tian Shu, and Ahmed Khaled Zaher.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Goharshady, Kerim Kochekov, Tian Shu, and Ahmed Khaled Zaher

Reference 26

Resolution: verified exact; doi, observed 2026-07-14T04:10:13.807007Z

Source-reported events for the cited work

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

Observation 43d3cb6f-3c83-4715-9eba-06c1e9a86364 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5e88642-35e8-408c-a322-909f88365e2c · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a3cf5668-fc1c-49b4-9dd5-0088aa7f2791 · outbound

This paper cites Wallman, and Irfan Siddiqi.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Wallman, and Irfan Siddiqi

Reference 29

Resolution: verified exact; doi, observed 2026-07-14T04:10:13.964305Z

Source-reported events for the cited work

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

Observation 3066cfa9-9e97-496e-b9f9-9968138cec3b · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 30

Resolution: malformed identifier; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da6d115e-cc12-47c8-a391-749f53e2028e · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11c0fbdd-55b9-4a9c-8d2b-d94b2626a788 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21f5f269-5959-4609-81c3-7f6cd581cbb5 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd5f3042-f91f-4a03-9e6a-7a40dabb07ff · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06c9375b-3690-4458-baa3-17f4478b9e1a · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a92eed9-7c57-4127-b2bb-c244d0d9a9db · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b67e31d-b129-4a65-9d31-8500d04d81c9 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02d13316-aeca-49a3-858e-7a8861ad52c9 · outbound

This paper cites Byrd, and Huiyang Zhou.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Byrd, and Huiyang Zhou

Reference 38

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6ddd586-2cc1-4f65-bdfc-5edc0a777260 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb909dc0-9530-4f0f-96ea-02a1ca8b6300 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 44bb8e3a-07d3-4132-9be1-e3ff6fa84c74 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 41

Resolution: verified exact; doi, observed 2026-07-14T04:10:13.903038Z

Source-reported events for the cited work

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

Observation a2e33c7e-dea2-47c5-9595-af68e30fdca4 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e72c8776-b114-42d6-8c87-b110cb035e26 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 43

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42c89c04-ce7f-4934-ad70-bc9eceed1cd1 · outbound

This paper cites Nielsen and Isaac L.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Nielsen and Isaac L

Reference 44

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 63e408f4-8b75-417f-b692-c1653b3295f2 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 45

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b922e3c-85e4-4723-9c92-8629804f92d1 · outbound

This paper cites A Framework for the Efficient Evaluation of Runtime Assertions on Quantum Computers.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs A Framework for the Efficient Evaluation of Runtime Assertions on Quantum Computers

Reference 46

Resolution: verified exact; local_arxiv, observed 2026-07-14T04:10:13.837986Z

Source-reported events for the cited work

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

Observation bc68a34f-aaff-4e70-908c-f499e6c74eed · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 47

Resolution: verified exact; doi, observed 2026-07-14T04:10:13.831679Z

Source-reported events for the cited work

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

Observation 09379749-458f-43af-8ffd-8b28f006e304 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 48

Resolution: verified exact; doi, observed 2026-07-14T04:10:13.857617Z

Source-reported events for the cited work

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

Observation 5ac48df5-d6d9-4235-94b3-902b72260ab1 · outbound

This paper cites Cross, Frederic T.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Cross, Frederic T

Reference 49

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4845ccb-1975-4440-bb99-34304cdc068c · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 50

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c3b44c3-dddb-42fd-b597-0f58a2607396 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 51

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9f37115-5a2e-45cc-b2a6-1a70768210c8 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 52

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fdb20296-c51d-43b7-8b8e-1152f1cf6101 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 53

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8de76d35-6612-41ad-a2d6-6388a33b31a6 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 54

Resolution: verified exact; doi, observed 2026-07-14T04:10:13.849449Z

Source-reported events for the cited work

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

Observation f9a9e994-8ff1-404b-a31c-0fb0e1b950ab · outbound

This paper cites 2000.Branching Programs and Binary Decision Diagrams.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs 2000.Branching Programs and Binary Decision Diagrams

Reference 55

Resolution: verified exact; doi, observed 2026-07-14T04:10:13.916713Z

Source-reported events for the cited work

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

Observation f2b572b6-2c42-467e-a6f3-afd3f0ab53b7 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 56

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 64e538ee-4192-4fe7-a845-a47087bf257c · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 57

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35775315-4a6e-4167-9227-5777b7dcfbd5 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 58

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b703c791-6b59-41e5-aae0-95b94b4516cd · outbound

This paper cites Taking logarithms yields 𝑛≤ 2 log(1 + √.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Taking logarithms yields 𝑛≤ 2 log(1 + √

Reference 59

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae1edd6a-4248-4dca-a9ad-4988a657eb27 · outbound

This paper cites an unresolved cited work.

The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs Unresolved cited work

Reference 60

Resolution: unresolved; no resolver link, observed 2026-07-14T04:01:18.172992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.