Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-12T10:33:30.717214Z
Paper Citation Record · LEDGER
Bounds for Quantum Circuits using Logic-Based Analysis
As of 17 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 0 inbound Pith citation observations for arXiv:2411.19177.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+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
Reference resolution
30 of 30 outbound references displayed
- verified exact0
- verified fuzzy18
- unresolved12
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 30119d7a-e9bb-4072-896a-6fae9a6cd115 · outbound
This paper cites write newline.
Bounds for Quantum Circuits using Logic-Based Analysis write newline
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T10:33:30.130601Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 25313be8-d5f6-4298-a5fd-3d0c05b0dd46 · outbound
This paper cites write newline.
Bounds for Quantum Circuits using Logic-Based Analysis write newline
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:33:31.532107Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 7a1ecc6f-9239-4980-8e79-fd7e494758a3 · outbound
This paper cites write newline.
Bounds for Quantum Circuits using Logic-Based Analysis write newline
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T10:33:30.207655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4e30c305-9022-4ed2-ad27-72e0ee7009fb · outbound
This paper cites New Journal of Physics, 23(11):113010, 11 2021.
Bounds for Quantum Circuits using Logic-Based Analysis New Journal of Physics, 23(11):113010, 11 2021
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:33:31.508024Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 1a978f87-f05c-473f-a1b1-0ea8adefa819 · outbound
This paper cites o hrig-Z \.
Bounds for Quantum Circuits using Logic-Based Analysis o hrig-Z \
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:33:31.493827Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation aaea8cd2-0331-43b5-97bc-d0bd44f12ac9 · outbound
This paper cites an unresolved cited work.
Bounds for Quantum Circuits using Logic-Based Analysis Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:33:31.470907Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 7e027103-c3bf-41af-a5bf-d3129f52b30a · outbound
This paper cites an unresolved cited work.
Bounds for Quantum Circuits using Logic-Based Analysis Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:33:31.423624Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 38c6cbc6-b2b4-46c8-aa75-df9cd7051713 · outbound
This paper cites an unresolved cited work.
Bounds for Quantum Circuits using Logic-Based Analysis Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:33:31.331687Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation c477b92d-793c-437f-b090-d503512b8f6e · outbound
This paper cites In: ESOP 2021.
Bounds for Quantum Circuits using Logic-Based Analysis In: ESOP 2021
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:33:31.256114Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation f34801c4-0589-4765-9384-c59f7934e086 · outbound
This paper cites an unresolved cited work.
Bounds for Quantum Circuits using Logic-Based Analysis Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:33:31.235235Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation f3eaa937-b703-4334-bb02-5759279daa1b · outbound
This paper cites an unresolved cited work.
Bounds for Quantum Circuits using Logic-Based Analysis Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:33:31.223622Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 83ec96b5-38ce-4987-b685-01d10679e329 · outbound
This paper cites an unresolved cited work.
Bounds for Quantum Circuits using Logic-Based Analysis Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:33:31.211479Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 93a98c54-855a-438a-8930-59c93648cb09 · outbound
This paper cites Nature Communications, 15(1):2123, 3 2024.
Bounds for Quantum Circuits using Logic-Based Analysis Nature Communications, 15(1):2123, 3 2024
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:33:31.200044Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 2ac48d73-622e-40aa-a316-0514fa41b7a9 · outbound
This paper cites Algorithms, 15(6), 2022.
Bounds for Quantum Circuits using Logic-Based Analysis Algorithms, 15(6), 2022
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:33:31.188010Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 77f567a3-96ed-4dff-8d68-c70751f693db · outbound
This paper cites In: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3.
Bounds for Quantum Circuits using Logic-Based Analysis In: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:33:31.175843Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation a8ecbaed-d6c6-454b-ba2b-6be78da42948 · outbound
This paper cites Quantum Information Processing, 20(4):138, 4 2021.
Bounds for Quantum Circuits using Logic-Based Analysis Quantum Information Processing, 20(4):138, 4 2021
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:33:31.164540Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation aafc46b7-35b6-45cb-8b38-b7a8818490aa · outbound
This paper cites npj Quantum Information, 6(1):10, 1 2020.
Bounds for Quantum Circuits using Logic-Based Analysis npj Quantum Information, 6(1):10, 1 2020
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:33:31.152889Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 4e1aea44-d72d-4a72-bcab-d9da8355184d · outbound
This paper cites PRX Quantum, 2:030346, 9 2021.
Bounds for Quantum Circuits using Logic-Based Analysis PRX Quantum, 2:030346, 9 2021
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:33:31.141364Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 11abcc19-d268-4fe8-b2b5-1f686cff8bd2 · outbound
This paper cites L.: A Brief History of Time Crystals, 2019.
Bounds for Quantum Circuits using Logic-Based Analysis L.: A Brief History of Time Crystals, 2019
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:33:31.119303Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation c0f0a1fb-b621-4325-905d-b95a0e330653 · outbound
This paper cites M.; Eisert, J.: Quantum time crystals with programmable disorder in higher dimensions.
Bounds for Quantum Circuits using Logic-Based Analysis M.; Eisert, J.: Quantum time crystals with programmable disorder in higher dimensions
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:33:31.019677Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 4506eacf-fdc1-46eb-837f-799d3c493e46 · outbound
This paper cites an unresolved cited work.
Bounds for Quantum Circuits using Logic-Based Analysis Unresolved cited work
Reference 21
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:33:30.964747Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation f93e24b6-3d6d-4f97-8a72-b460b41ed963 · outbound
This paper cites ACM Transactions on Quantum Computing, 5(1), December 2023.
Bounds for Quantum Circuits using Logic-Based Analysis ACM Transactions on Quantum Computing, 5(1), December 2023
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:33:30.916207Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 7219cbbe-8ad7-4d4d-b9ff-7e8dcb0cb5dd · outbound
This paper cites In (Benzm \"u ller, Christoph; Heule, Marijn J.H.; Schmidt, Renate A., eds): Automated Reasoning.
Bounds for Quantum Circuits using Logic-Based Analysis In (Benzm \"u ller, Christoph; Heule, Marijn J.H.; Schmidt, Renate A., eds): Automated Reasoning
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:33:30.898224Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 05a28a36-3782-47f6-bba0-0b3db9871a24 · outbound
This paper cites an unresolved cited work.
Bounds for Quantum Circuits using Logic-Based Analysis Unresolved cited work
Reference 24
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:33:30.885005Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 4ec21461-5d41-4d8c-820f-6891459a4114 · outbound
This paper cites an unresolved cited work.
Bounds for Quantum Circuits using Logic-Based Analysis Unresolved cited work
Reference 25
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:33:30.869591Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 68e10e38-aa2f-497b-9d6c-6124d56935a9 · outbound
This paper cites PRX Quantum, 5:020328, 5 2024.
Bounds for Quantum Circuits using Logic-Based Analysis PRX Quantum, 5:020328, 5 2024
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:33:30.856060Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation f5b538b8-961f-4587-955a-b52236313d17 · outbound
This paper cites Automated Software Engineering, 31(1):36, April 2024.
Bounds for Quantum Circuits using Logic-Based Analysis Automated Software Engineering, 31(1):36, April 2024
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:33:30.842312Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation cf691e05-22a6-41fd-931c-c9ea1ed0b500 · outbound
This paper cites an unresolved cited work.
Bounds for Quantum Circuits using Logic-Based Analysis Unresolved cited work
Reference 28
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:33:30.824989Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation fd7d0a34-6483-48bf-aca8-d9cc5397c3b9 · outbound
This paper cites In (Gierasimczuk, Nina; Vel \'a zquez-Quesada, Fernando R., eds): Dynamic Logic.
Bounds for Quantum Circuits using Logic-Based Analysis In (Gierasimczuk, Nina; Vel \'a zquez-Quesada, Fernando R., eds): Dynamic Logic
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:33:30.804527Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 92a9e1e3-2009-4995-8675-922ffb2d3503 · outbound
This paper cites In: Programming Language Design and Implementation.
Bounds for Quantum Circuits using Logic-Based Analysis In: Programming Language Design and Implementation
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:33:30.785835Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Pith citing papers
No inbound Pith citation observations are available.