{"as_of":"2026-08-15T12:16:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:25001b615b7d68e4f95088b74b14d01c09902d1a98fd322a0f26d0a91d3a367b","coverage":[{"denominator":67,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":67,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T10:44:32.612821Z","state":"measured"},{"denominator":67,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":67,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+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/2607.20170/citation-record","integrity":"/paper/2607.20170/integrity","json":"/paper/2607.20170/citation-record.json","paper":"/paper/2607.20170"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:26.983623Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:26.983623Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:e6f349036a6c321a5580b1d7926a16a48accf335f9beb51e84c9d73162c1f61d","observation_id":"04286483-1c3b-4966-bc8a-b7a171c8893c","resolution":{"observed_at":"2026-08-01T10:44:26.983623Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:27.094897Z","title":"Science of Computer Programming , publisher =","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:27.094897Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:45817f8392de4defbae2659a01f651116031707d303e97e177cf29249fda2be9","observation_id":"ccb11104-3c19-43de-982b-8bd2f9e3d464","resolution":{"observed_at":"2026-08-01T10:44:27.094897Z","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":"10.1007/s10817-016-9397-x","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Journal of Automated Reasoning , publisher =","venue":"Journal of Automated Reasoning","work_id":"e2351563-9555-4684-8073-6d289b9551bf","year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:27.184675Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:8f262f9bd73448f8d607ba4fc08d6ceeb93a64a4c51824aa2da2b3ae0ac7d886","observation_id":"bd6d7218-0e51-41e7-a2c4-82c86680ec49","resolution":{"observed_at":"2026-08-01T10:49:17.249823Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-01T10:44:27.316515Z","title":"Theoretical Computer Science , volume = 236, number = 1, pages =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:27.316515Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:94421f3c0a9128b36a5c62b86f893c347199a89d019d70a50b99bee7758db466","observation_id":"146fc480-9c8a-49c6-bd96-d9c161419c00","resolution":{"observed_at":"2026-08-01T10:44:27.316515Z","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":"10.1007/978-3-642-02348-4_4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Dependency","venue":"Lecture notes in computer science","work_id":"3824bc3e-6bd3-4ede-82b2-efbcdd1f3b6b","year":2009},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:27.413658Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:bd590296cbe678591349d6bf70b6e65a015d0fc94998076255842907c19f8d0e","observation_id":"d4be9520-ac4f-4a90-973d-7e278d37ae88","resolution":{"observed_at":"2026-08-01T10:49:17.070284Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2168/lmcs-9(4:9)2013","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Polynomial","venue":"Logical Methods in Computer Science","work_id":"5911c74d-fe08-47df-9047-0f63f837ca16","year":2013},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:27.447995Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:cd91e1e69cae8976784f59933e90feef1552d01490ae05a343b044732158f0e9","observation_id":"d9f28506-1a5d-4a02-af74-d447f1d2da6b","resolution":{"observed_at":"2026-08-01T10:49:16.895417Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-01T10:44:27.473628Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:27.473628Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:783e44131b8c3c0406b09f171329a890882175fc42de5ac9ad1fbb5efc72c576","observation_id":"af21ceed-bfe7-4a9a-9244-06a65ef4397f","resolution":{"observed_at":"2026-08-01T10:44:27.473628Z","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":"10.1017/s0956796800003877","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Journal of Functional Programming","work_id":"da85e062-9275-40bd-bba9-ebfcd5fadd63","year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:27.499389Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:0bf616d36481b6e6687378b34a77af35c4ee352b6fc9fde61678704a77a808e4","observation_id":"d6ccc4b3-5ce8-4d9a-96f5-4e39f1f82ede","resolution":{"observed_at":"2026-08-01T10:49:16.680860Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.46298/lmcs-21(4:19)2025","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Logical Methods in Computer Science , publisher =","venue":"Logical Methods in Computer Science","work_id":"53b503c0-3c21-42b9-a830-7359189f5665","year":2025},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:27.528857Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:26618c865a3cb4953216ec49061da86a5ace0f33be6c664de707bc1596e5acc0","observation_id":"42075b3c-aa42-4b87-a3f4-9a747db2b89a","resolution":{"observed_at":"2026-08-01T10:49:16.463928Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3233/fi-242191","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Fundamenta Informaticae , publisher =","venue":"Fundamenta Informaticae","work_id":"774f4454-d520-445d-b8fb-f26e915a2d32","year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:27.582872Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:4b091100ae786e003133a65df7364db90e371253d830d47d933173f1d5053e42","observation_id":"5e26c2fd-93e5-414a-a761-c51cd99fd787","resolution":{"observed_at":"2026-08-01T10:49:16.275443Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-32033-3_24","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Term Rewriting and Applications , publisher =","venue":"Lecture notes in computer science","work_id":"e15bb308-1160-4019-ac9a-3bd47dfc62d7","year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:27.632985Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:da0a154f071300a763f1b8a4ffc97b591ca7dd19034793637d998b0b8d1f065d","observation_id":"1c435053-91c6-4140-a24b-44af1b83667f","resolution":{"observed_at":"2026-08-01T10:49:16.095805Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-45610-4_18","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Applications to ELAN , author =","venue":"Lecture notes in computer science","work_id":"13d9e787-38b2-49d4-9aa2-5664c9ef8be1","year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:27.687648Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:7199b6adda8dcad12f8b395fe97798c6f8270cc740e6d96637f2e37b43d5c389","observation_id":"275e59bc-5088-45f3-acfa-a4e98fc876b9","resolution":{"observed_at":"2026-08-01T10:49:15.903587Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-16242-8_11","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Logic for Programming, Artificial Intelligence, and Reasoning , publisher =","venue":"Lecture notes in computer science","work_id":"fe103f21-bc95-4bd8-8fe2-de1b46d8cfdc","year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:27.741177Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:d28e056390806a633c4dbb3ced0f1f0bb685973bc64eec5d787e598d36060087","observation_id":"61749926-cdbc-4ffd-a334-b5c85a20f5b1","resolution":{"observed_at":"2026-08-01T10:49:15.714959Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.tcs.2011.02.007","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Theoretical Computer Science , volume = 412, number = 25, pages =","venue":"Theoretical Computer Science","work_id":"ba914044-0720-4caa-a708-dc2c638855c8","year":2011},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:27.797996Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:7888f7666a2720c2fd29399b5188964b312f651b44b6ee7355c9c120d14b5998","observation_id":"601651a2-db1c-403b-a667-96967b505466","resolution":{"observed_at":"2026-08-01T10:49:15.527459Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-01T10:44:27.860991Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:27.860991Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:0344643588d4bf44244ae3887da2bc0789ad58cd1a33e53edf1c9cc079584cc7","observation_id":"dbd9c398-bce8-4a22-81e7-d675fd464985","resolution":{"observed_at":"2026-08-01T10:44:27.860991Z","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":"10.4230/lipics.lics.2026.14","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:49:15.269792Z","title":"41st Annual Symposium on Logic in Computer Science (LICS 2026) , publisher =","venue":null,"work_id":"ebe4198b-5b3b-4d6d-8715-06cb8278d694","year":2026},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:27.900453Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:b92207bf7368ab29702fd86ace59a0585c50a3f3eec91ba35ebcf37d7f176e6c","observation_id":"991186e8-325f-4097-8d21-83f7c1a7287d","resolution":{"observed_at":"2026-08-01T10:49:15.342478Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-01T10:44:27.962804Z","title":null,"venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:27.962804Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:3318d42ae590f6986f858b9157288aebe50946b905bc000be340961dd37e6f62","observation_id":"b32c2514-5d10-4419-aa83-91ee1aeb6b93","resolution":{"observed_at":"2026-08-01T10:44:27.962804Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:28.050835Z","title":"New Journal of Physics , publisher =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:28.050835Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:33ea8059eab17697da22c0456f9b72d34dd9b2d127a19f9f89a182d5500b6f71","observation_id":"e39cffef-26af-426a-93f9-3be57d9b04ab","resolution":{"observed_at":"2026-08-01T10:44:28.050835Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:28.110468Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:28.110468Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:82bbd5ce5e5a9d74a9ceb05ece31c860b0e4ca98f83bccce8648191c89c7fbde","observation_id":"aa863413-e0e4-4b43-a8d5-2bbf31d5c7cc","resolution":{"observed_at":"2026-08-01T10:44:28.110468Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:28.146320Z","title":"LIPIcs, Volume 378, FSCD 2026 , booktitle =","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:28.146320Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:857e83249e07b6d45f73dccd15cd71064c3dd93f6356fa8de50152ca35402850","observation_id":"eba4dac8-ac13-444c-8275-67736a7556d4","resolution":{"observed_at":"2026-08-01T10:44:28.146320Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:28.225196Z","title":"Proceedings of the ACM on Programming Languages , publisher =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:28.225196Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:61d10eede9f8b9003a02861514bd3d12183f865c87cbe3970f20f1e27c9851ab","observation_id":"abf7df5b-5416-4263-9b74-d5e3e671f211","resolution":{"observed_at":"2026-08-01T10:44:28.225196Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:28.292877Z","title":"30th Annual Symposium on Foundations of Computer Science , publisher =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:28.292877Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:b6fee6664e5b13729e8c7ed636bee51f618334716562b2dacd1c3f98290ee191","observation_id":"c0818c55-3bd2-4ca7-beed-49c098c5f679","resolution":{"observed_at":"2026-08-01T10:44:28.292877Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:28.388127Z","title":"2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) , publisher =","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:28.388127Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:ebd282b6d7fe46cf7dfda502ae82f964147938a0275c7b8e87d5b2458d7d3e46","observation_id":"1e2a607c-cc4c-4951-a203-a6cd26e23b05","resolution":{"observed_at":"2026-08-01T10:44:28.388127Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:28.473188Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:28.473188Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:ae593a52b5414220d59d97b220dfbc5bacc75bcb2079a6e18cf62684fd5a33b4","observation_id":"d19c262a-a5da-493b-be11-49425de65776","resolution":{"observed_at":"2026-08-01T10:44:28.473188Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:28.535090Z","title":"Theoretical computer science , publisher =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:28.535090Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:af14bb049626651f05e84cffc8da100e37e1b4466ad974966ad6acee8eb774e2","observation_id":"c19617fe-afb3-44a2-90fd-9e94ce931632","resolution":{"observed_at":"2026-08-01T10:44:28.535090Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:28.585791Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:28.585791Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:a4fbf32b10cca79d08144f169705038c4761d98fd8c79230337173f99ae0b77d","observation_id":"03ec3252-19aa-4b4f-ab09-ca0bea0c4508","resolution":{"observed_at":"2026-08-01T10:44:28.585791Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:28.647722Z","title":"Foundations of Software Science and Computation Structures, FoSSaCS 2025 , location =","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:28.647722Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:01c4d4d35ad7a231fb8ab7f461e45a84bcf576ae41009f5a19b95c545086d4df","observation_id":"092bca9c-6fe1-4a02-9ca5-d3d7e054a0bc","resolution":{"observed_at":"2026-08-01T10:44:28.647722Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:28.724227Z","title":"Journal of Automated Reasoning , publisher =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:28.724227Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:b207f3f24349b92797a0e122a0bf783fb53531923d29f6ecddf7b90f1f397970","observation_id":"cfe756c1-7183-4d0a-acb3-7e8db0b4651e","resolution":{"observed_at":"2026-08-01T10:44:28.724227Z","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":"10.1007/978-3-642-04027-6_20","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Computer Science Logic , publisher =","venue":"Lecture notes in computer science","work_id":"49fa7b4b-07ee-4007-82e8-47889d3b15c1","year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:28.813881Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:0edc7319ffd67d8fe8f952eedf05bfcf8d56335d5148771d5452a023b8a37466","observation_id":"c6d4f419-c412-49a1-bd3c-1f2333c1a2f0","resolution":{"observed_at":"2026-08-01T10:49:15.131268Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.ipl.2018.06.012","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Information Processing Letters , publisher =","venue":"Information Processing Letters","work_id":"987df5f7-1f89-4f3e-9ae4-2490bceed79f","year":2018},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:28.874039Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:bc6bb88debda49f0dcd67376ff7a4eab1b6a49a474367d8c122e44d4c867f991","observation_id":"4c0b8dc4-8483-45b4-9db9-8c8fdd3c386a","resolution":{"observed_at":"2026-08-01T10:49:14.983482Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-01T10:44:28.990336Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:28.990336Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:a94bd2d0945c2abe0cbd52c3e25a7a7156da5d42198b12e8ad8077f7a600e6d5","observation_id":"d0214324-1782-42f0-8a64-4c3e239baed8","resolution":{"observed_at":"2026-08-01T10:44:28.990336Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:29.064342Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:29.064342Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:e91666477c4d8755b13edf59a3416489df6e00690f4a84026ec2af2e62eb2adf","observation_id":"7f870eaa-f932-4328-b24a-7b7a26d5e5f7","resolution":{"observed_at":"2026-08-01T10:44:29.064342Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:29.149353Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:29.149353Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:a53b27e67dacaae2d9ba9e2fa2db724ce3b71625ff3e209d1a22878421af36cc","observation_id":"1fd77ab6-9f92-4a7a-ac1d-523119bc9cff","resolution":{"observed_at":"2026-08-01T10:44:29.149353Z","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":"10.3390/app10165551","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Applied Sciences , publisher =","venue":"Applied Sciences","work_id":"ce709837-0c4b-449d-b20b-8b1d4db1b3a7","year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:29.206907Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:e241e6e6c3316f86e4c892df76ee08e8583b3fdfb5d2423069f062d33bbfab3f","observation_id":"cb6a75d2-d451-434e-8faf-e38bd21577cf","resolution":{"observed_at":"2026-08-01T10:49:14.792767Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-01T10:44:29.295239Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:29.295239Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:83f8fb514606d6c160975788786094f9995f7080712f1ae62238247523d7fec2","observation_id":"40f953cd-7405-47d7-a24b-4d849e92d9e8","resolution":{"observed_at":"2026-08-01T10:44:29.295239Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:29.438725Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:29.438725Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:326cb779860cf1971f1898277980071cca56ba0b344e55568601848654b2e628","observation_id":"bcfa6dd8-f557-471f-a2d4-7a97f6c402ee","resolution":{"observed_at":"2026-08-01T10:44:29.438725Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:29.543109Z","title":"Automated","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:29.543109Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:214edacdda17aaa34a6af76efcc15bafd3694b06b96606c3618c7123cf8791e6","observation_id":"8c5d9249-a60a-4b08-9ece-a0cd893fec2e","resolution":{"observed_at":"2026-08-01T10:44:29.543109Z","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":"10.23638/lmcs-16(4:14)2020","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Logical Methods in Computer Science , publisher =","venue":"Logical Methods in Computer Science","work_id":"c0e78d34-eecb-4f17-bdf7-a5398b9f452f","year":2020},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:29.592799Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:cbfcc46381712871325ca93fc3f3857d3a482d8b8090533743b97e6072c64aec","observation_id":"ee27b351-89e7-454c-bce2-094294c12c0d","resolution":{"observed_at":"2026-08-01T10:49:14.577646Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-30829-1_8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"7f736f83-e95c-4d33-aa84-77c13778b29c","year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:29.731357Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:b3d88219c3cd6a61fe39a23766235b56f0cfe140c069faba22b905c53851b388","observation_id":"04aec7b1-3c74-4874-ad56-447a6b7970ed","resolution":{"observed_at":"2026-08-01T10:49:14.367073Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-01T10:44:29.831920Z","title":"Formal Structures for Computation and Deduction,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:29.831920Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:ac93d30766bd878925e2aeab16b796216eab19e48d17e3ffb59d28c6fa5ca207","observation_id":"3aee89df-8b30-44a7-9461-f475fa541781","resolution":{"observed_at":"2026-08-01T10:44:29.831920Z","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":"10.1007/978-3-031-38499-8_20","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Automated Deduction – CADE 29 , publisher =","venue":"Lecture notes in computer science","work_id":"a16a770e-c365-484f-aeaf-1625b71f0951","year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:29.896228Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:0526ac1b365d38852d5baf0c27697ed14a8e2d78dfd50d14661aab9fd8d1ca3e","observation_id":"8698c574-8d0a-4fb5-a9c5-2a5cc73ee6ea","resolution":{"observed_at":"2026-08-01T10:49:14.178131Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-01T10:44:30.082180Z","title":"Russian Mathematical Surveys , publisher =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:30.082180Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:406ce645a468db983d9a4116528bab35163589843840787f0eb00d005be45bd9","observation_id":"461b0352-4d33-410f-9bf4-34d2617e3fa1","resolution":{"observed_at":"2026-08-01T10:44:30.082180Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:30.110598Z","title":"Nature , publisher =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:30.110598Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:903670fe954a827372981441e6d0508a27670595b24a9ec9962534a704eac0f0","observation_id":"9180b8ce-bd0c-448c-bc74-9afc9256038f","resolution":{"observed_at":"2026-08-01T10:44:30.110598Z","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":"10.23638/lmcs-13(1:6)2017","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Logical Methods in Computer Science , publisher =","venue":"Logical Methods in Computer Science","work_id":"3d2ec683-8d25-4023-bed6-3af21b0e9726","year":2017},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:30.190286Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:fbd5a2d5fbed2e6509c88b07a5ed016445320d1ee64518797d12a7e4ad0cc68d","observation_id":"8585a617-0622-4f70-95c4-b28b2277f988","resolution":{"observed_at":"2026-08-01T10:49:13.987571Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.18420","last_updated":"2024-10-01T17:46:25Z","snapshot_observed_at":"2026-08-12T22:36:23.240591Z","submitted_at":"2024-09-27T03:18:28Z","title":"Exponential separation in quantum query complexity of the quantum switch with respect to simulations with standard quantum circuits","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.18420","snapshot_observed_at":"2026-08-01T10:44:30.263956Z","title":"2409.18420 , archiveprefix =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:30.263956Z"},"links":{"cited_paper":"/paper/2409.18420","citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:81430cafe98f0412087529bf5aff72c412ad92ee2b1b365771e774eb39fbee2b","observation_id":"08ae3993-5d98-47d3-8080-a52ebf0364ae","resolution":{"observed_at":"2026-08-01T10:44:30.263956Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:30.316698Z","title":"LIPIcs, Volume 260, FSCD 2023 , booktitle =","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:30.316698Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:3c91cd53c7e3a11e10bd01ddbe468f03d36b88f9108088b2f27fba14c71f29c5","observation_id":"956d7e76-c1af-4266-8e97-78995e707043","resolution":{"observed_at":"2026-08-01T10:44:30.316698Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:30.392128Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:30.392128Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:2ddc927c98c20128bec8f3901b8c3ddfae703b98eb808971945cdeeabef23a46","observation_id":"e12c5036-f3af-4cff-9aa5-ff46cf442563","resolution":{"observed_at":"2026-08-01T10:44:30.392128Z","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":"10.1016/j.jlamp.2016.03.003","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Journal of Logical and Algebraic Methods in Programming , publisher =","venue":"Journal of Logical and Algebraic Methods in Programming","work_id":"7c6b0ff2-7eca-4daf-b0e4-9c1a28026dc4","year":2016},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:30.477715Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:b35388c0ccd0829cb0b8b84027d711d67dfa0c0ca4aae3350f44eb420c24739e","observation_id":"d577c7a7-3bd4-4f86-be99-17777f11c467","resolution":{"observed_at":"2026-08-01T10:49:13.796901Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0890-5401(03)00011-7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Information and Computation , publisher =","venue":"Information and Computation","work_id":"81c6205c-5915-4be8-a0e0-b49d812e4dda","year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:30.556374Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:beb00c178a0a6de28fa70af3b8ee7382869c25bd7f3c497985ba8e19bc7b5012","observation_id":"b76758a4-d5d3-4470-b1c4-71e3dd1c3814","resolution":{"observed_at":"2026-08-01T10:49:13.589789Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-99984-0_12","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Automated Deduction – CADE 30 , publisher =","venue":"Lecture notes in computer science","work_id":"5dc71731-5c7e-466d-b5c3-55becb70f2f4","year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:30.636847Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:a25eada19e91340d259f319fbf591a86512b69abdb6cec91f267df6ad1273a94","observation_id":"825b1209-6d13-4902-9ca3-1e878dbed824","resolution":{"observed_at":"2026-08-01T10:49:13.446077Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-01T10:44:30.705401Z","title":"Theoretical Computer Science , volume = 192, number = 1, pages =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:30.705401Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:48cbb96447da45e404927fff681fa8d9b3c6c532cf7c24fc6b35e5364cb5df6d","observation_id":"f28a8f62-088a-487f-a667-9aa4a426d8f9","resolution":{"observed_at":"2026-08-01T10:44:30.705401Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:30.810790Z","title":"CoRR , doi =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:30.810790Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:fc179faac55d64adbd73b79c10ff27102bee6ce7cdbe5921f9f4bc745128224b","observation_id":"9ed0e32d-ab0a-406f-9f4a-692f40c5e589","resolution":{"observed_at":"2026-08-01T10:44:30.810790Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:30.863903Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:30.863903Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:3daa51aed2aded404a7a5f4a0c60767038ea1e08f884295f747d7e1d8e11b93a","observation_id":"60991f0f-2819-469a-8bd3-a4aae44c9bd0","resolution":{"observed_at":"2026-08-01T10:44:30.863903Z","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":"10.1038/ncomms8913","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Nature Communications , publisher =","venue":"Nature Communications","work_id":"461db339-e6c9-493d-9db0-3a38412932d1","year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:30.952078Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:bdb1d41f2bddf593384a768d63e0c2df5047fb9917640001bcb8b6296dac9b02","observation_id":"6634fa5a-479a-4d7e-b0d6-893972596f0f","resolution":{"observed_at":"2026-08-01T10:49:13.228510Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-01T10:44:31.015890Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:31.015890Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:1ec4758503ac1446d1fd1aab6ccae93cdb075b17916c42dcb31b09cb2faf6b2c","observation_id":"9a75e240-2d5f-4e3c-b9c0-cd2995f39f52","resolution":{"observed_at":"2026-08-01T10:44:31.015890Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:31.086673Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:31.086673Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:d1f1ebb9e3d01ad4761de0927cf65c245b35c162fa136c622bf73bc83a90dcc9","observation_id":"2c090e03-80b0-4dd2-a29f-68b38bf6fcd5","resolution":{"observed_at":"2026-08-01T10:44:31.086673Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:31.148988Z","title":"SIAM Journal on Computing , volume = 26, number = 5, pages =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:31.148988Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:d64a78f2239bfd4304cc968c74c18afd370b35961f9431682712caef3f1a1937","observation_id":"585a4e51-090c-425e-a217-9936465f7ee2","resolution":{"observed_at":"2026-08-01T10:44:31.148988Z","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":"10.1007/978-3-642-02348-4_24","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Rewriting Techniques and Applications , publisher =","venue":"Lecture notes in computer science","work_id":"13d33243-3868-40c1-901d-a99980099f32","year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:31.199123Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:c49d00f3a8e8fdb5d15b69ac427a55ccaadb17068a130f7673463aaf4b3b5c3f","observation_id":"3a510d64-40fe-4426-9686-015cf857f0cf","resolution":{"observed_at":"2026-08-01T10:49:13.042454Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-01T10:44:31.301333Z","title":"Quantum lambda calculus , publisher =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:31.301333Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:5909f730cab1d2e57b6e00bec5220a68b8d4fc3a8832f098e3137fa6b74812ee","observation_id":"1e8e9d25-ac4d-493c-8b61-86a3bc231df3","resolution":{"observed_at":"2026-08-01T10:44:31.301333Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:31.377029Z","title":"From Symmetric Pattern-Matching to Quantum Control","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:31.377029Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:eb3917ef5501186f57ab040e1bded6f26bef7c7cb6a23a554fa4b8a9999b0f64","observation_id":"2e6886a4-ebee-4805-8413-3b728087c3a9","resolution":{"observed_at":"2026-08-01T10:44:31.377029Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:31.501873Z","title":"PRX Quantum , publisher =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":61,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:31.501873Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:71a2cfad9136d7d8aa6842cbd788d0f48ee0b895713692c17a1ae175a4a30545","observation_id":"863c434e-4297-4870-9a01-45247cca9124","resolution":{"observed_at":"2026-08-01T10:44:31.501873Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:31.655646Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":62,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:31.655646Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:a843e78351956ecda1408a58d4c97b2ec96c37d46564cfeb00d54d15cd0a0c4b","observation_id":"def5fae4-1fbc-42b3-90a2-c1f54ce50750","resolution":{"observed_at":"2026-08-01T10:44:31.655646Z","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":"10.1007/3-540-45127-7_25","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Confluence and","venue":"Lecture notes in computer science","work_id":"602d8f69-0429-4d0b-8657-b58c9fba6a50","year":2001},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":63,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:31.879305Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:608ea0c24cbc3c11c549536661a5eddc83e1c13c9fe2b8483328a682f98c1e7f","observation_id":"0675b9d2-f79a-41a1-903d-8a4ef2f3ab56","resolution":{"observed_at":"2026-08-01T10:49:12.808650Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-01T10:44:32.035783Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":64,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:32.035783Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:73e2f60b90d58e03dbe10416faad3a679c7dd7520ab57e8ef25b01c981b957e3","observation_id":"e39ba0ba-e241-4569-9f77-77fa3ebbc498","resolution":{"observed_at":"2026-08-01T10:44:32.035783Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:32.222527Z","title":"Proceedings of 1993","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":65,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:32.222527Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:81baa1d2799d878168df79c365d7409a004af1839e17c8574aeef118dea6195c","observation_id":"5a412e58-a9a4-4cb6-a517-4821ef466fe5","resolution":{"observed_at":"2026-08-01T10:44:32.222527Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:32.426930Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":66,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:32.426930Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:8581ea5327b010121f158b90bc44c53a9e0d466278838a37d4142db1176ff7fb","observation_id":"bd7b8e48-655e-45b7-b242-4a377e13d540","resolution":{"observed_at":"2026-08-01T10:44:32.426930Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T10:44:32.612821Z","title":"Proceedings of the ACM on Programming Languages , publisher =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis","version":1},"reference_index":67,"source":"arxiv_source","source_observed_at":"2026-08-01T10:44:32.612821Z"},"links":{"citing_paper":"/paper/2607.20170"},"observation_digest":"sha256:60ccf6370e7fe2bf6ecff1116a618a048972995ec0c44fa2cbf2c96653a025a2","observation_id":"531e1876-4689-4bac-955c-bf2a3b586673","resolution":{"observed_at":"2026-08-01T10:44:32.612821Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.20170","last_updated":"2026-07-22T14:04:41Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-11T00:04:02.716992Z","submitted_at":"2026-07-22T14:04:41Z","title":"Quantum Term Rewrite Systems: Applications to Complexity Analysis"},"reference_resolution":{"displayed":67,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":43,"verified_exact":24,"verified_fuzzy":0},"total_outbound_references":67},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 67 of 67 outbound references and 0 inbound Pith citation observations for arXiv:2607.20170."}