{"as_of":"2026-08-18T05:14:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6d84e266adc646acd0f4cc30e8b8040cb4105e3debcb77a19d97e5eff5354b65","coverage":[{"denominator":30,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":30,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T10:33:30.717214Z","state":"measured"},{"denominator":30,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":30,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+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/2411.19177/citation-record","integrity":"/paper/2411.19177/integrity","json":"/paper/2411.19177/citation-record.json","paper":"/paper/2411.19177"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:33:30.130601Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.130601Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:095b115f137a5c8bf4f9ab95f367c8152e2eb4b072b15f7626cae720b5ffc303","observation_id":"30119d7a-e9bb-4072-896a-6fae9a6cd115","resolution":{"observed_at":"2026-08-12T10:33:30.130601Z","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-12T10:33:31.527992Z","title":"write newline","venue":null,"work_id":"a9d0255d-dfb0-47ca-a3fd-1350bc7afa0e","year":null},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.176370Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:3d033e426e0a01e6c11757071f30332e4b3b8f55916f69a83f1ae6a43212561d","observation_id":"25313be8-d5f6-4298-a5fd-3d0c05b0dd46","resolution":{"observed_at":"2026-08-12T10:33:31.532107Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T10:33:30.207655Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.207655Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:28261afa28e1101e2b36b47c9ea01376ff952cadf760fcddbcef7d6bf5bd9930","observation_id":"7a1ecc6f-9239-4980-8e79-fd7e494758a3","resolution":{"observed_at":"2026-08-12T10:33:30.207655Z","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-12T10:33:31.503576Z","title":"New Journal of Physics, 23(11):113010, 11 2021","venue":null,"work_id":"55b17543-27a7-44f3-afe5-b03094a9059d","year":2021},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.267783Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:5191bb079ea89e518b7103c2a3670061bb8b3c6da93cbd9b9a237c7234e3d554","observation_id":"4e30c305-9022-4ed2-ad27-72e0ee7009fb","resolution":{"observed_at":"2026-08-12T10:33:31.508024Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T10:33:31.485109Z","title":"o hrig-Z \\","venue":null,"work_id":"3b30b1e5-dd24-485c-b3e1-95122d45e405","year":2024},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.317584Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:3618f1973a34f71ea1d83aa8b1f7dd83e2b920641824097b4566f974dbbdf43f","observation_id":"1a978f87-f05c-473f-a1b1-0ea8adefa819","resolution":{"observed_at":"2026-08-12T10:33:31.493827Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T10:33:31.445019Z","title":null,"venue":null,"work_id":"fec049a5-a020-456d-a147-d97797554666","year":2023},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.329751Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:2837727ef01ff34bb6338c44802a36d9bb47f56734bec80518b643329f31cc53","observation_id":"aaea8cd2-0331-43b5-97bc-d0bd44f12ac9","resolution":{"observed_at":"2026-08-12T10:33:31.470907Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T10:33:31.386739Z","title":null,"venue":null,"work_id":"43b9e19c-e8d2-42bf-8dd0-a09383264696","year":2015},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.380953Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:a3d26732c4a35415c8563c4869c124db62e4748a3b3c3fe9a4956a0b37a35cbf","observation_id":"7e027103-c3bf-41af-a5bf-d3129f52b30a","resolution":{"observed_at":"2026-08-12T10:33:31.423624Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T10:33:31.280043Z","title":null,"venue":null,"work_id":"ffcd8be6-aec8-4e04-b242-9c3a3f5c3380","year":2024},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.407925Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:780bc3d0251062889ce5b73cabf75c8071ac08160866f5184e1e2fe1a8d24f80","observation_id":"38c6cbc6-b2b4-46c8-aa75-df9cd7051713","resolution":{"observed_at":"2026-08-12T10:33:31.331687Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T10:33:31.243438Z","title":"In: ESOP 2021","venue":null,"work_id":"c3f9380c-d3f4-4656-b074-721a2d494100","year":2021},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.427053Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:145b0567fbc43be2ec8eb1ed3a1d32407c9507b9ecf3ec83c076d69430c62853","observation_id":"c477b92d-793c-437f-b090-d503512b8f6e","resolution":{"observed_at":"2026-08-12T10:33:31.256114Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T10:33:31.231183Z","title":null,"venue":null,"work_id":"ce354d86-de6c-461f-8769-d5859850dc64","year":2017},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.456481Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:8fc513ff72b1ecdbb101b99c5b795d07fb393860baab7fed7a07877876c05250","observation_id":"f34801c4-0589-4765-9384-c59f7934e086","resolution":{"observed_at":"2026-08-12T10:33:31.235235Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T10:33:31.219617Z","title":null,"venue":null,"work_id":"611c553b-5e6f-4d1d-abb5-1f314c10640a","year":2008},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.460872Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:58ce3013bc030977b0e2bd09a88ac9ec86d78b56b8794d6fd0aff1cf44f0df19","observation_id":"f3eaa937-b703-4334-bb02-5759279daa1b","resolution":{"observed_at":"2026-08-12T10:33:31.223622Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T10:33:31.207450Z","title":null,"venue":null,"work_id":"f94728bf-a21b-4773-8e0e-a1283a47f033","year":2023},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.465030Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:b5adf400433de022125b9167feec98fc4e064f55b499ccf93fd476ac428a1065","observation_id":"83ec96b5-38ce-4987-b685-01d10679e329","resolution":{"observed_at":"2026-08-12T10:33:31.211479Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T10:33:31.195824Z","title":"Nature Communications, 15(1):2123, 3 2024","venue":null,"work_id":"c00d5b98-5494-4e2a-a65f-e504bb45d882","year":2024},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.469415Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:03222df0a3c0cd485246710af25f4c3d580e93dfad86691aa2700a4b0fc1dac2","observation_id":"93a98c54-855a-438a-8930-59c93648cb09","resolution":{"observed_at":"2026-08-12T10:33:31.200044Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T10:33:31.183706Z","title":"Algorithms, 15(6), 2022","venue":null,"work_id":"b75023a3-f804-41ce-a8c2-d3f5eb57aa08","year":2022},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.474208Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:ee191cb96d73088e73229c7c2651855fc2f74abdd4b2d9b5014f0d1ef0af718c","observation_id":"2ac48d73-622e-40aa-a316-0514fa41b7a9","resolution":{"observed_at":"2026-08-12T10:33:31.188010Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T10:33:31.171903Z","title":"In: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3","venue":null,"work_id":"c6fc5193-aaae-4dac-84bc-8c2a5ef9f806","year":2023},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.479287Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:c1ee5124dea4fc8f401eb314bb356a6d47320f09d3a6d8381762ec6e8e683dd9","observation_id":"77f567a3-96ed-4dff-8d68-c70751f693db","resolution":{"observed_at":"2026-08-12T10:33:31.175843Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T10:33:31.160878Z","title":"Quantum Information Processing, 20(4):138, 4 2021","venue":null,"work_id":"6e21304e-690e-47a2-90d6-74287debc2bc","year":2021},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.483460Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:7091b7779c6f00e5debeb60d13033166fe47b9b2cbfa54074dfb43a21999020a","observation_id":"a8ecbaed-d6c6-454b-ba2b-6be78da42948","resolution":{"observed_at":"2026-08-12T10:33:31.164540Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T10:33:31.149043Z","title":"npj Quantum Information, 6(1):10, 1 2020","venue":null,"work_id":"79bfaa8a-ecc7-4392-a6ee-c5b6b6e467dd","year":2020},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.488084Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:0b850cf4cefa8ec79d466b7e31ad8772a6ce6d34ebe18c5b907808367d3ceee0","observation_id":"aafc46b7-35b6-45cb-8b38-b7a8818490aa","resolution":{"observed_at":"2026-08-12T10:33:31.152889Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T10:33:31.137387Z","title":"PRX Quantum, 2:030346, 9 2021","venue":null,"work_id":"f0acdff9-74a6-438b-8331-3b60eaf07cb2","year":2021},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.492562Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:cede2baef5a83b944aa1868229fdf2b377ad372f6922fc4e5a627a1fa29be6e8","observation_id":"4e1aea44-d72d-4a72-bcab-d9da8355184d","resolution":{"observed_at":"2026-08-12T10:33:31.141364Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T10:33:31.075996Z","title":"L.: A Brief History of Time Crystals, 2019","venue":null,"work_id":"a2d6e692-ff92-4668-bfe0-609405c4e9bc","year":2019},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.496443Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:bf4121c77b5cee181983fe72c8831d0ffdc5ca8a0a4be8b887cd6c1cb6b2fb09","observation_id":"11abcc19-d268-4fe8-b2b5-1f686cff8bd2","resolution":{"observed_at":"2026-08-12T10:33:31.119303Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T10:33:30.993495Z","title":"M.; Eisert, J.: Quantum time crystals with programmable disorder in higher dimensions","venue":null,"work_id":"48ce3287-3f4c-4599-8fdc-19f7fa9889b6","year":2021},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.500948Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:d8835386c1a0ac551826b88942bfc72bdb89492ef4b91dd0f84bf49e248e8af6","observation_id":"c0f0a1fb-b621-4325-905d-b95a0e330653","resolution":{"observed_at":"2026-08-12T10:33:31.019677Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T10:33:30.926685Z","title":null,"venue":null,"work_id":"875a7d75-4325-49da-bbf2-38da454bcc21","year":2024},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.506075Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:1ca138beeaa256e12c80ace5181ba27f2c87724570a355de96d4cb9ab5d7c149","observation_id":"4506eacf-fdc1-46eb-837f-799d3c493e46","resolution":{"observed_at":"2026-08-12T10:33:30.964747Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T10:33:30.910555Z","title":"ACM Transactions on Quantum Computing, 5(1), December 2023","venue":null,"work_id":"806adbfa-cf32-45a4-bd70-d641bf1e7bb1","year":2023},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.510777Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:8c34e0e6fe180d3838cf434a2fdfea6fbcc154ae4aa511f4b434126caa8a7551","observation_id":"f93e24b6-3d6d-4f97-8a72-b460b41ed963","resolution":{"observed_at":"2026-08-12T10:33:30.916207Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T10:33:30.893468Z","title":"In (Benzm \\\"u ller, Christoph; Heule, Marijn J.H.; Schmidt, Renate A., eds): Automated Reasoning","venue":null,"work_id":"dc50660a-e6e4-404b-966b-4b5242c88db4","year":2024},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.515370Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:cf6a2502910aa7ae5caffb6475dffa7e354b91c681305148c6003d61ca0c9ca2","observation_id":"7219cbbe-8ad7-4d4d-b9ff-7e8dcb0cb5dd","resolution":{"observed_at":"2026-08-12T10:33:30.898224Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T10:33:30.880670Z","title":null,"venue":null,"work_id":"cc7f430c-4afa-45e1-a4c0-bf6cfbb018ab","year":2022},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.519535Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:a7ab1c9a7938e7b72e8d7c795e11662c49af8da7cbc002e01a1621798b08b59d","observation_id":"05a28a36-3782-47f6-bba0-0b3db9871a24","resolution":{"observed_at":"2026-08-12T10:33:30.885005Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T10:33:30.865279Z","title":null,"venue":null,"work_id":"69579e55-c7ad-4fe7-bb95-b6a929d4930f","year":2022},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.524014Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:af4fb05fa928c0802c45a53c06c1282fe793e929c1426922204c0385497c7024","observation_id":"4ec21461-5d41-4d8c-820f-6891459a4114","resolution":{"observed_at":"2026-08-12T10:33:30.869591Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T10:33:30.851446Z","title":"PRX Quantum, 5:020328, 5 2024","venue":null,"work_id":"961155ef-215c-4985-a432-81fd9734ae0c","year":2024},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.528732Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:1898e561a70bc9eb32961b2ddf0156e681b84398f34fbd9887ff0cdfec2976fc","observation_id":"68e10e38-aa2f-497b-9d6c-6124d56935a9","resolution":{"observed_at":"2026-08-12T10:33:30.856060Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T10:33:30.837615Z","title":"Automated Software Engineering, 31(1):36, April 2024","venue":null,"work_id":"57351b82-5a04-4cfc-b0f2-bad582ca666e","year":2024},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.538844Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:00b49de2bb834a9801212ee21e6413dac4ccd43ace629d2f01474033e72361ed","observation_id":"f5b538b8-961f-4587-955a-b52236313d17","resolution":{"observed_at":"2026-08-12T10:33:30.842312Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T10:33:30.818271Z","title":null,"venue":null,"work_id":"b29a67d9-5bcc-49e6-823a-72d0a40d5143","year":2022},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.589424Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:42b5f0c6e9e826109f41e7ff302f097e55773bafe5fdde7fbc5882c38d62e6e7","observation_id":"cf691e05-22a6-41fd-931c-c9ea1ed0b500","resolution":{"observed_at":"2026-08-12T10:33:30.824989Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T10:33:30.797870Z","title":"In (Gierasimczuk, Nina; Vel \\'a zquez-Quesada, Fernando R., eds): Dynamic Logic","venue":null,"work_id":"8834e470-5c7b-4291-b8b2-7635b2b01946","year":2024},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.634870Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:12c29f4cbdda45d9bd8d456237ee10b88f490231d5f002cc6c52c55575f391fe","observation_id":"fd7d0a34-6483-48bf-aca8-d9cc5397c3b9","resolution":{"observed_at":"2026-08-12T10:33:30.804527Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-12T10:33:30.779724Z","title":"In: Programming Language Design and Implementation","venue":null,"work_id":"41997772-02e5-4fc7-a336-d09e2769b9f7","year":2021},"citing_paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-12T10:33:30.717214Z"},"links":{"citing_paper":"/paper/2411.19177"},"observation_digest":"sha256:47ffe95cb5e9c2d3ce61a683ed5a2ffd2eb627c4516555b4f66bbbaf9188c0f6","observation_id":"92a9e1e3-2009-4995-8675-922ffb2d3503","resolution":{"observed_at":"2026-08-12T10:33:30.785835Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.19177","last_updated":"2024-11-28T14:32:35Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-16T13:00:36.566819Z","submitted_at":"2024-11-28T14:32:35Z","title":"Bounds for Quantum Circuits using Logic-Based Analysis"},"reference_resolution":{"displayed":30,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":12,"verified_exact":0,"verified_fuzzy":18},"total_outbound_references":30},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 0 inbound Pith citation observations for arXiv:2411.19177."}