Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-11T00:41:27.466106Z
Paper Citation Record · LEDGER
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.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-11T00:41:27.466106Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
90 of 90 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation c59bc74c-b4c3-441c-8a60-b3d617e7d122 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 1
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3348908f-7938-4acd-b3fa-10ce2be799ef · outbound
Laws of Quantum Programming Altenkirch and J
Reference 2
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4f75ef99-35a8-4e35-aea7-0b1482515781 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 3
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 82fdf7c3-700a-4494-bc26-81ec5f004ac5 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 4
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 33491d13-875e-4311-876f-5047cc351abd · outbound
Laws of Quantum Programming Unresolved cited work
Reference 6
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bdbd6833-6418-492a-932b-05afeec3c8d5 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 7
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 af5e0468-6376-442a-ba7a-b71590236092 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 8
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2a701e20-d18b-4ee5-8856-58f03e27d108 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 9
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 57203e5b-ba8b-4267-b6cc-4aa5b8cf861a · outbound
Laws of Quantum Programming Unresolved cited work
Reference 10
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d8e842e0-19cf-493c-8c61-ca8a44f2c2aa · outbound
Laws of Quantum Programming Unresolved cited work
Reference 11
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 823e86e3-b2de-4b3a-96d7-bc747154e3f1 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 12
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 25f44613-dc5a-48a5-89a4-3e3ef72b7483 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 13
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 08c06083-2196-4764-9ad7-778788515d76 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 14
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 47927792-6c6b-4911-9983-79dd8637150d · outbound
Laws of Quantum Programming Unresolved cited work
Reference 15
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f7ab5868-6d87-4e8a-a891-04339243cf93 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 16
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5b065da8-4263-418a-a751-fc0fb76558ee · outbound
Laws of Quantum Programming Unresolved cited work
Reference 17
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation de8ceb9c-9cda-4e53-bd46-c71727639473 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 18
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6926e401-083c-42fb-b56f-20e7095dc3a7 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 19
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a5987e21-0861-40a0-ac5b-32f65bc9380c · outbound
Laws of Quantum Programming Unresolved cited work
Reference 20
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 376d0656-dc8d-485d-a7d8-43cfefe7bd34 · outbound
Laws of Quantum Programming Dijkstra
Reference 21
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e4a77f38-adbf-4871-8ef8-5a42487c6d1d · outbound
Laws of Quantum Programming Unresolved cited work
Reference 22
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation df2ee577-ed43-4a6a-89d3-025d2ffe6c4a · outbound
Laws of Quantum Programming Unresolved cited work
Reference 23
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6cd13176-d148-40f3-b634-4c3c2b3faef1 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 24
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d905f9b0-7988-4924-8731-119ecc14d1ba · outbound
Laws of Quantum Programming Refinement calculus of quantum programs with projective assertions
Reference 25
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 40539254-28c7-4399-8c9f-1b834af614f2 · outbound
Laws of Quantum Programming Gawron, J
Reference 26
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 b1b7679b-9261-4fbf-983b-e2930c46baf7 · outbound
Laws of Quantum Programming Gerdt and Alexander N
Reference 27
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 016bb602-7ce3-4ded-b777-c3d835ab6312 · outbound
Laws of Quantum Programming Green, Peter LeFanu Lumsdaine, Neil J
Reference 28
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8669c8d7-088d-482d-8c5c-37a009cc9335 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 29
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 846557a7-9abc-4bb3-97d0-61772ad8a47e · outbound
Laws of Quantum Programming Unresolved cited work
Reference 30
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 06d39fb2-d42f-47e9-b423-ddb776d45380 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 31
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1d378280-5bc9-42c2-870a-af83bd94599e · outbound
Laws of Quantum Programming Unresolved cited work
Reference 32
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 f7d55b80-3142-40fd-b403-a3636d628c71 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 33
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 6ca4ff8b-840c-4a4b-a221-745288b1ea7c · outbound
Reference 34
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1c09dad9-3294-41d7-9ca4-0c601092c394 · outbound
Laws of Quantum Programming Seidel, and A
Reference 35
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b26c8bbe-c51c-4b3f-9dff-dbcd5efd4a58 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 36
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f6183fb8-7806-4a85-bd57-3a0812a08926 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 37
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d91327a1-14a7-4af3-ae3d-d90699eabb06 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 38
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 712a44e3-db5e-4a76-ae06-9f94e58d94b6 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 39
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 74c6a9de-1709-46fa-b1f4-e0d74b77b9b0 · outbound
Laws of Quantum Programming VyZX : A Vision for Verifying the ZX Calculus
Reference 40
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5009c545-b158-4abe-9829-27ec6b29300b · outbound
Laws of Quantum Programming VyZX: Formal Verification of a Graphical Quantum Language
Reference 41
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation aa26b6b2-78fc-4490-8d00-b92650a0d290 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 42
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 01ec7407-88de-4026-85a9-36b66f59f941 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 43
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4960c959-2615-40bc-b7a9-d43f9c6ae42a · outbound
Laws of Quantum Programming Unresolved cited work
Reference 44
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8c3d7a83-225d-4afa-aab8-c42cd16dae8f · outbound
Laws of Quantum Programming Unresolved cited work
Reference 45
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 e3370cc0-e412-4f19-8354-8a956dea3e24 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 46
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 362709cf-cf73-4f4b-9ccc-d272cdfdd237 · outbound
Laws of Quantum Programming Oliveira
Reference 47
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 977b7122-1bb1-467a-b941-dc1599e6ab55 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 48
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 877e2c3f-5bd4-48b8-a32b-b0e6ef6a38fa · outbound
Laws of Quantum Programming Unresolved cited work
Reference 49
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 4a2e122e-9c30-44a3-9f83-35f11a12368c · outbound
Laws of Quantum Programming Unresolved cited work
Reference 50
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 97feea55-81e9-4d3e-9332-69680cc8622d · outbound
Laws of Quantum Programming Unresolved cited work
Reference 51
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 912776b3-2105-4b4a-acaa-d9032ce9f603 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 52
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 79c2d859-5fdf-4af0-b235-6f1e77e6fd26 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 53
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 788f9679-2aa8-4982-9ebd-fb17a3c9d09a · outbound
Laws of Quantum Programming Unresolved cited work
Reference 54
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 700911b9-7a2d-494d-86a8-8d2c135e0557 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 55
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 41ed3e14-c819-4559-bbaa-dbb06d0a28af · outbound
Laws of Quantum Programming Roscoe and C.A.R
Reference 56
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 06f46ac1-c6a7-4dbb-bd28-744637bfe1c0 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 57
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 755e575e-42b3-4388-bfee-f3a2572ad23a · outbound
Laws of Quantum Programming Unresolved cited work
Reference 58
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 0165c961-f119-436a-ab76-c3886731c3a3 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 59
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 cd8f6131-8227-4899-af84-69e91732bfec · outbound
Laws of Quantum Programming Shende, Stephen S
Reference 60
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 83bc40ae-0ec1-41dd-b4ff-19b6d651d1f1 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 61
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 0f38bf0b-c04e-4068-95df-0808a3767e5f · outbound
Laws of Quantum Programming Unresolved cited work
Reference 62
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3711ec24-8fe1-4ee2-b96d-da862eb7cd83 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 63
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 49381bc5-8f55-4a18-be08-2b23f8cc37af · outbound
Laws of Quantum Programming Steiger, Thomas Häner, and Matthias Troyer
Reference 64
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 78ceff59-a770-4df5-af30-d90fb5ebdab7 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 65
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 218e252c-08d6-446a-9817-bf7f07f2589e · outbound
Laws of Quantum Programming Unresolved cited work
Reference 67
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 343ac342-7eee-472c-9723-40a7f0faa21f · outbound
Laws of Quantum Programming Unresolved cited work
Reference 68
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 dee18f05-276a-4e6e-987f-1ac9d0bf3f57 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 69
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3de97828-9e00-48e0-a562-872e6e6798b9 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 70
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 eca7e9a7-0092-4e3d-863a-45dd9b7b3e72 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 71
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation aba6ac61-e81d-43ae-9421-bacb89c18b26 · outbound
Laws of Quantum Programming Viamontes, Igor L
Reference 72
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d4463afa-874e-4663-83eb-2efe919de856 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 73
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 24518a7e-7b6c-4570-a5b6-739bbfe7f0c3 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 74
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1a7966df-4005-4cc8-ba72-70f801d7bb88 · outbound
Laws of Quantum Programming Acar, and Zhihao Jia
Reference 75
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 94a2a10e-1960-46a5-9d57-fb47fd4284ca · outbound
Laws of Quantum Programming Reasoning about Recursive Quantum Programs
Reference 76
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cdbc7d0d-a0af-420f-a38f-1592df327c52 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 77
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 65700d6a-9c8a-42b9-80ac-bbd129197936 · outbound
Reference 78
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2b072823-cded-421f-9b3a-29f2c66bfcbc · outbound
Laws of Quantum Programming Quantum Recursive Programming with Quantum Case Statements
Reference 79
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ce9834cf-2baf-478c-94db-7ddcf4d766dc · outbound
Laws of Quantum Programming Verification of Recursively Defined Quantum Circuits
Reference 80
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ea524cf0-885b-47d0-a0e3-1a72a21ee1fc · outbound
Laws of Quantum Programming Unresolved cited work
Reference 81
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 6c411d88-3262-4f06-aa66-d5243ce32d7b · outbound
Laws of Quantum Programming Unresolved cited work
Reference 82
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c50fceb7-0205-4f47-8af8-2f54718827bd · outbound
Laws of Quantum Programming Unresolved cited work
Reference 83
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 cad75c8f-38a6-4015-997b-f5b7a1e286d5 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 84
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f274a913-6f23-44ae-aa8a-408924606c3a · outbound
Laws of Quantum Programming Unresolved cited work
Reference 85
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d9e96a47-f0df-44cc-8da8-26bfd80961ef · outbound
Laws of Quantum Programming Unresolved cited work
Reference 86
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 b2f4c091-2c82-459f-8bf2-af9faa09ea83 · outbound
Laws of Quantum Programming ⇒”: This is immediate, since𝐴⊥𝐵 means𝐴𝐵 = 0. “⇐
Reference 87
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 bc41859e-2762-430c-8b58-8d464cc132fd · outbound
Laws of Quantum Programming Unresolved cited work
Reference 89
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 b271cbcc-2e24-4202-aff8-cdaaa498311d · outbound
Laws of Quantum Programming Unresolved cited work
Reference 90
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 13291156-2ab8-4106-8f54-d575d2b7b822 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 91
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 9590c7d0-8bf9-4bf0-8fc5-c5e1deba2442 · outbound
Laws of Quantum Programming Unresolved cited work
Reference 92
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 be3d4b24-9d57-45d5-b26a-09c35797f92c · outbound
Laws of Quantum Programming Proceedings of the National Academy of Sciences 120, 21 (2023), e2218775120
Reference 2023
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
No inbound Pith citation observations are available.