{"as_of":"2026-08-12T05:22:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:322cb875062962846cc52e60bfc9ea97c2b1419e9dfccde0916b3dff3f8ada55","coverage":[{"denominator":31,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":31,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-08T00:53:28.874373Z","state":"measured"},{"denominator":31,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":31,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+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/2608.03274/citation-record","integrity":"/paper/2608.03274/integrity","json":"/paper/2608.03274/citation-record.json","paper":"/paper/2608.03274"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:53:27.923787Z","title":"Theoretical Computer Science , volume=","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:27.923787Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:79cc5b9c77525e5a5e43244e50704e56f72d8d8c59182d92bcbde1e3cd83ccd9","observation_id":"70bfc7d1-325e-445e-b164-d217f5afee7b","resolution":{"observed_at":"2026-08-08T00:53:27.923787Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2003.12100","last_updated":"2020-03-26T18:33:27Z","snapshot_observed_at":"2026-08-12T02:45:42.022823Z","submitted_at":"2020-03-26T18:33:27Z","title":"Study of galaxy morphology and merging time of two interacting galaxies under different initial rotation and orientation configurations","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2003.12100","snapshot_observed_at":"2026-08-08T00:53:27.929750Z","title":"Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or , booktitle =","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:27.929750Z"},"links":{"cited_paper":"/paper/2003.12100","citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:789bbc42248f0bd3b89bb5f282b9972f571e04c4c70b66d07df2792def6dd11e","observation_id":"ee666938-4132-42a5-bcc4-4768696262da","resolution":{"observed_at":"2026-08-08T00:53:27.929750Z","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-08T00:53:27.999479Z","title":"International Conference on Logic for Programming Artificial Intelligence and Reasoning , pages=","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:27.999479Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:a0687b785061e05269f7581faf33ea26a7a151203694015408fc3b1124fa3ec0","observation_id":"ed4d973d-ae20-414b-90f4-ffeb596a50e5","resolution":{"observed_at":"2026-08-08T00:53:27.999479Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.17226","last_updated":"2026-05-05T16:52:22Z","snapshot_observed_at":"2026-07-06T17:22:37.193255Z","submitted_at":"2024-01-30T18:14:07Z","title":"Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.17226","snapshot_observed_at":"2026-08-08T00:53:28.074215Z","title":"arXiv preprint arXiv:2401.17226 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.074215Z"},"links":{"cited_paper":"/paper/2401.17226","citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:63f4039a512dd1651a7572b3386df6cb484159640bd5f3d0835099a3f8423e5c","observation_id":"9f5be3f2-abeb-40e2-803d-d984ce17de01","resolution":{"observed_at":"2026-08-08T00:53:28.074215Z","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-08T00:53:28.178203Z","title":"International Symposium on Logic-Based Program Synthesis and Transformation , pages=","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.178203Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:8de03d7bf9d69c486c83be7de9fa0a36653a979c349d8c73ad96bb25bd1de00e","observation_id":"80469a7b-22eb-47b8-8d5b-4148cc0e9e45","resolution":{"observed_at":"2026-08-08T00:53:28.178203Z","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-08T00:53:28.263685Z","title":"IEEE Transactions on information theory , volume=","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.263685Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:2b7c4ea1976686a5f455535d171aec3862d04e63fd7c599d69fad7fbdf835621","observation_id":"33908581-9d94-484f-84bb-bff1e32a35f6","resolution":{"observed_at":"2026-08-08T00:53:28.263685Z","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-08T00:53:28.323383Z","title":"Foundations and Trends","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.323383Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:db262a45ff7a1b69d89fcf01d7791db4bc5fe24c121759989bb90e2b5504e69a","observation_id":"c449a183-3348-45db-87f8-760d64709f4c","resolution":{"observed_at":"2026-08-08T00:53:28.323383Z","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-08T00:53:28.360038Z","title":"Asian Symposium on Programming Languages and Systems , pages=","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.360038Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:bd6242241adb76ba6935135d2ca23d125469823aeb85de7d5b5370077f20157f","observation_id":"c1ec95ce-928e-498f-9a47-dcf691c489a2","resolution":{"observed_at":"2026-08-08T00:53:28.360038Z","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-08T00:53:28.397299Z","title":"International Conference on Computer Aided Verification , pages=","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.397299Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:b46811f60a4f3a77987c21abf0570905c5a86fc9f06c5a82301bd252e83329a4","observation_id":"d285a67d-74eb-4688-8523-f0f9f78d07f3","resolution":{"observed_at":"2026-08-08T00:53:28.397299Z","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-08T00:53:28.402619Z","title":"International conference on computer aided verification , pages=","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.402619Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:64c8c7e865f8549d01ab62646ee4814aaec73d233e6b54da09079c4d335cdd1d","observation_id":"0e6e1d39-d47e-47f3-b65c-ad3da63c4314","resolution":{"observed_at":"2026-08-08T00:53:28.402619Z","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-08T00:53:28.407929Z","title":"ACM Transactions On Computational Logic (TOCL) , volume=","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.407929Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:0436a2dae290b80d70436e03ba32711fde9a8b43ef1881294e67a0d20de46200","observation_id":"2cc42ed1-7e08-44c3-8681-491dcec7cdde","resolution":{"observed_at":"2026-08-08T00:53:28.407929Z","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-08T00:53:28.413682Z","title":"Journal of Automated Reasoning , volume=","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.413682Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:3dbefc8141b224fafde5dd7781f6df209e54c14a4f701d43fb561b16002f7f43","observation_id":"fc5fac81-a378-4c33-b595-b136f289c34b","resolution":{"observed_at":"2026-08-08T00:53:28.413682Z","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-08T00:53:28.419059Z","title":"Theoretical Computer Science , volume=","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.419059Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:6c337325a28fe3e8fb2166a5dc30e2fceecdb1767a1dc41cc9628c6ddf404890","observation_id":"064cc01c-f00d-41f3-89e8-fb4f8f737ca0","resolution":{"observed_at":"2026-08-08T00:53:28.419059Z","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-08T00:53:28.424131Z","title":"International Conference on Rewriting Techniques and Applications , pages=","venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.424131Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:9ca0b7044a7b3814896bc84f5751e05eec3aef828da1b34409cbd2540c7e6ae0","observation_id":"63d3665d-686b-49fc-8b68-943b67acab69","resolution":{"observed_at":"2026-08-08T00:53:28.424131Z","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-08T00:53:28.429087Z","title":"Semigroup Forum , volume=","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.429087Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:6c61c0fe0c18fbed85fbb5f7649135d79befe2905aee9baeebbf2ea6c14ca263","observation_id":"ec0ac4b7-dad5-4922-a11b-f3c0a5017b16","resolution":{"observed_at":"2026-08-08T00:53:28.429087Z","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-08T00:53:28.434102Z","title":"Theoretical Computer Science , volume=","venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.434102Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:a4d6e5a807702ebf9bd9df9a7f53a9f4e84a6f3149714a4ff9673f30c1f1dd87","observation_id":"e6764e35-1c9b-442b-a87d-afc019301ee7","resolution":{"observed_at":"2026-08-08T00:53:28.434102Z","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-08T00:53:28.439383Z","title":"Semigroup Forum , volume=","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.439383Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:621dfa802155d325c5d20ed89f3ad59d2619e64eef54865cf6fc3dd0f1dad855","observation_id":"4002e223-52b0-4df9-9c25-d7d582a524f8","resolution":{"observed_at":"2026-08-08T00:53:28.439383Z","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-08T00:53:28.444573Z","title":"Acta Informatica , volume=","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.444573Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:236f55182edb1c20627d2a7003a094907b6cd715277fe8f9d627b4d98b375c55","observation_id":"ac4eb2a4-f248-4800-a2c8-ba850d41d5a1","resolution":{"observed_at":"2026-08-08T00:53:28.444573Z","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-08T00:53:28.449947Z","title":"2012 , publisher=","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.449947Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:01f022ad82016d5c84f7d69cd7398015d317e182cb62de5c9861b10c5f8dd0ab","observation_id":"4e8efeec-6aa1-4892-81f8-482700e877eb","resolution":{"observed_at":"2026-08-08T00:53:28.449947Z","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-08T00:53:28.454778Z","title":"Advances in algorithms, languages, and complexity , pages=","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.454778Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:40f6dd43562178ffa345023a36cf83b40058d259ab24d60e303db211ac27816c","observation_id":"f5813aab-889a-4881-8d15-e37a81ccbd1d","resolution":{"observed_at":"2026-08-08T00:53:28.454778Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2103.00386","last_updated":"2023-12-30T21:33:22Z","snapshot_observed_at":"2026-07-06T10:45:15.855499Z","submitted_at":"2021-02-28T03:34:02Z","title":"On Problems Dual to Unification: The String-Rewriting Case","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2103.00386","snapshot_observed_at":"2026-08-08T00:53:28.459984Z","title":"arXiv preprint arXiv:2103.00386 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.459984Z"},"links":{"cited_paper":"/paper/2103.00386","citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:1cda82ac05a2df37d51063e91cbcc0c38cf58e2f4f9cc430fd76d04d384dee60","observation_id":"893f4a4b-6df9-4fa4-92e5-7f6985697944","resolution":{"observed_at":"2026-08-08T00:53:28.459984Z","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-08T00:53:28.465026Z","title":"Theoretical computer science , volume=","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.465026Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:49f9ba401c31865ac1fadfc8f027f1b2d59d98da80d70dafc0f62337a8b1c15a","observation_id":"86a327a5-a65d-402b-85b1-4f708bb385f4","resolution":{"observed_at":"2026-08-08T00:53:28.465026Z","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-08T00:53:28.470005Z","title":"Theoretical computer science , volume=","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.470005Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:2c76cf0689d61872325451e04b42d3729a45524446ea27f905c81320d1ab86b5","observation_id":"98eb5b46-d7c6-4e58-a7f3-71e4653732ad","resolution":{"observed_at":"2026-08-08T00:53:28.470005Z","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-08T00:53:28.538739Z","title":"2021 IEEE symposium on security and privacy (SP) , pages=","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.538739Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:bea83ca5771be672fab6d778bfb186bbfacb8c43bb9a3cc0fe88b5bf295bbffd","observation_id":"04eeb08a-84f0-4494-8633-0b5860b05c56","resolution":{"observed_at":"2026-08-08T00:53:28.538739Z","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-08T00:53:28.630263Z","title":"Journal of Computer Security , volume=","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.630263Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:8f2c6f25f84baa5b83c00c5687ca5c6908aff542ab7e8790763305b287d3fd66","observation_id":"53dd9d3c-35a9-4b3d-83f3-61b41dea3717","resolution":{"observed_at":"2026-08-08T00:53:28.630263Z","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-08T00:53:28.669390Z","title":"1998 , publisher=","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.669390Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:cb090f309509c18806d4060ec05e3f9647ca3e027ecf70b7e87a13af62a389c8","observation_id":"e8f862a6-b67c-4e7e-b9a7-bd595ad332ae","resolution":{"observed_at":"2026-08-08T00:53:28.669390Z","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-08T00:53:28.705906Z","title":"String-Rewriting Systems , pages=","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.705906Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:63d0d5aca60bae2f6d78a23df7d043a3d9dcc95aea1b6a0c1949250e07ddf8b6","observation_id":"b95142d2-1b23-4931-806b-bd0d23b49ef7","resolution":{"observed_at":"2026-08-08T00:53:28.705906Z","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-08T00:53:28.755288Z","title":"11th International Conference on Formal Structures for Computation and Deduction (FSCD 2026) , pages=","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.755288Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:987548a79c64307836c7ead71dc47d3cb6267f97607b12ac8f680f416b074c4b","observation_id":"cc2d7176-0853-4505-9335-3c4057e32927","resolution":{"observed_at":"2026-08-08T00:53:28.755288Z","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-08T00:53:28.779066Z","title":"Journal of the ACM (JACM) , volume=","venue":null,"work_id":null,"year":1982},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.779066Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:0b622d73ff790b96ec311274d108b9dbc00cba0172eb86f9d30014e060b3b342","observation_id":"3e46c216-4235-4846-aa01-5c823dcdff09","resolution":{"observed_at":"2026-08-08T00:53:28.779066Z","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-08T00:53:28.824964Z","title":"International Journal of Algebra and Computation , volume=","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.824964Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:f8438ba9b14f1ae265185946f324ff0f0fa6682a104a8371221eab90f7e37161","observation_id":"847c64de-926f-4f5e-86f6-28414710f560","resolution":{"observed_at":"2026-08-08T00:53:28.824964Z","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-08T00:53:28.874373Z","title":"Discrete Mathematics & Theoretical Computer Science , volume=","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction","version":2},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-08T00:53:28.874373Z"},"links":{"citing_paper":"/paper/2608.03274"},"observation_digest":"sha256:f4fc36e77c0b1ce81fc4b4c03be37eb233be50ff980743246d61b287a591108e","observation_id":"df4f5d4e-8efd-4df5-b7ee-7e40658ac25e","resolution":{"observed_at":"2026-08-08T00:53:28.874373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2608.03274","last_updated":"2026-08-06T03:49:39Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-11T19:34:33.060675Z","submitted_at":"2026-08-04T07:51:03Z","title":"Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction"},"reference_resolution":{"displayed":31,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":31,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":31},"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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2608.03274."}