{"as_of":"2026-08-12T16:49:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c0c9be818d55d1c19c6f173eec52de3730d1813ff19cab5b05ee57fde43f76c6","coverage":[{"denominator":41,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":41,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-13T02:10:00.570517Z","state":"measured"},{"denominator":41,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":41,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+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.09558/citation-record","integrity":"/paper/2607.09558/integrity","json":"/paper/2607.09558/citation-record.json","paper":"/paper/2607.09558"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-662-54458-7_12","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":"00781e98-ef77-43e5-97ff-364093d7d15d","year":2017},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:c828f5858e4f7b55f541710c571e677bffb793f92530279d9d8847efe2701633","observation_id":"23682185-bf41-470b-8f98-a01f31a7e1de","resolution":{"observed_at":"2026-07-13T02:19:17.809076Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-07-20T16:52:46.327455+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-20T16:52:46.327455+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.mfcs.2025.22","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","work_id":"45e0c2a1-1e25-4d89-8c98-6448a8dd1950","year":2025},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:0fff7d3b3aac104cc309c97d68d2a5de8d750ace5b06941c15b005cd46ca003f","observation_id":"4430c999-b298-4c4c-b6c4-94b73ba78683","resolution":{"observed_at":"2026-07-13T02:19:17.937144Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-07-20T16:52:46.599679+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-20T16:52:46.599679+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-032-22730-0_4","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":"498d6dd9-5561-4e68-969f-84a3b2d23154","year":2026},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:a25b9f3061fb5d3cec28c07929698e06624323af08638d19e490153001c757a8","observation_id":"e15408fa-b95f-45df-91df-5b033c1ab558","resolution":{"observed_at":"2026-07-13T02:19:17.930174Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-07-20T16:52:46.968708+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-20T16:52:46.968708+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-12T06:34:36.333875+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-07-13T02:10:00.570517Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:5f683a6fa05320ac8e4796a7a8e6ed5ad5c2030d842c96139574293683e0ca2a","observation_id":"362303bd-3878-4533-810d-3b082b53ab8a","resolution":{"observed_at":"2026-07-13T02:10:00.570517Z","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.1145/2518188","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"ACM Transactions on Programming Languages and Systems","work_id":"77e77e31-d33a-4317-b9ef-5552030577ce","year":2013},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:ec52fc6fae5f19b6ddcc83d6006331e4d1ab2385cdb1e94ad3ef199e85e4b52f","observation_id":"b9e18aee-ba45-4098-ace4-be8c67493898","resolution":{"observed_at":"2026-07-13T02:19:17.922549Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-07-20T16:52:47.528898+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-20T16:52:47.528898+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-12T06:34:36.333875+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-07-13T02:10:00.570517Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:a379187b44d7dc3c6c975bfbfa519be90cad399fa95ac237e73d621477218776","observation_id":"6c418253-bd74-4c92-a0c3-75073f0fb2eb","resolution":{"observed_at":"2026-07-13T02:10:00.570517Z","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-662-54434-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T02:19:17.693072Z","title":"Murawski, and C.-H","venue":null,"work_id":"623bdec2-89ac-4b24-ad10-cd98dff38a07","year":2017},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:191e063680c855d1de88d29a54d39433bd7f9198a94d7552d4221ff9a2b0420b","observation_id":"f8a6140c-02bf-4315-82e0-f9494c922c3a","resolution":{"observed_at":"2026-07-13T02:19:17.696721Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-07-13T02:10:00.570517Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:3396cb1037e870dab68a4bd00b117e3d2821bfe7b937ad600a0d87428804d56f","observation_id":"25975579-6e3c-4741-8cb1-484399e9616b","resolution":{"observed_at":"2026-07-13T02:10:00.570517Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2004.13196","last_updated":"2020-04-27T22:07:02Z","snapshot_observed_at":"2026-08-11T19:02:40.827388Z","submitted_at":"2020-04-27T22:07:02Z","title":"Distributions of Distances and Volumes of Balls in Homogeneous Lens Spaces","version":1},"cited_work":{"arxiv_id":"2004.13196","doi":"10.1109/lics.2004.1319601","metadata_source":"pith","pith_arxiv_id":"2004.13196","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Distributions of Distances and Volumes of Balls in Homogeneous Lens Spaces","venue":"math.DG","work_id":"655c9337-9b63-45dc-a19e-961a56c384e0","year":2020},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"cited_paper":"/paper/2004.13196","citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:bebb6f464309d67b6d6adedbac1968c5f2ebf77f8579548a49e8c9d512f72ba8","observation_id":"1cbb3a80-4f59-43b0-9b26-75d240800f61","resolution":{"observed_at":"2026-07-13T02:19:17.850566Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-07-20T16:52:48.27443+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-20T16:52:48.27443+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.jcss.2012.04.002","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Journal of Computer and System Sciences","work_id":"874e069c-8648-4691-9db6-c2da5d4be3db","year":2013},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:e3d0f76592673f0611d76718935ff9860f23443cd3448a62aa366401a7b63f73","observation_id":"d2685e99-e316-48a7-9197-69a8e05fc64d","resolution":{"observed_at":"2026-07-13T02:19:17.787693Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-07-20T16:52:48.539424+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-20T16:52:48.539424+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.icalp.2017.119","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","work_id":"14ff48d3-7ffa-4f88-8ac3-e6d46c2618aa","year":2017},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:321c179322994902f13faeec7fe656c5739ea5567b2fc60947e318d0a9fcaadc","observation_id":"bfb6f580-8f7b-439f-9bd4-b838f6f14845","resolution":{"observed_at":"2026-07-13T02:19:17.774897Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-07-20T16:52:48.771787+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-20T16:52:48.771787+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-12T06:34:36.333875+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-07-13T02:10:00.570517Z","title":"Ginsburg and E","venue":null,"work_id":null,"year":1966},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:3331c6bd6cb5a505784906f0a0710555f038f77e200077b51f03b0a60feded02","observation_id":"02ca334f-10e9-4ee5-be5f-605c16075680","resolution":{"observed_at":"2026-07-13T02:10:00.570517Z","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-07-13T02:10:00.570517Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:edfaba28fd185559a1f892b06ab80c181a772dd1ab22e5b779561f6090e37b72","observation_id":"2d0ecb6d-e834-4fb5-9024-74139ffebb5d","resolution":{"observed_at":"2026-07-13T02:10:00.570517Z","resolver_source":null,"status":"malformed_identifier"},"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-07-13T02:10:00.570517Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:f0ccb92a6465440086492492a62e70ab555bec17c739edf1a7877d0f0ac16df0","observation_id":"31acceec-9ffb-4067-b519-d9bf19b049f5","resolution":{"observed_at":"2026-07-13T02:10:00.570517Z","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-07-13T02:10:00.570517Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:167e634bb63026bd9c68caada226f0a6b945caf66ce8208daa76d60886c7dcbd","observation_id":"e3918d3c-3e59-4624-8aa2-41e36d32298b","resolution":{"observed_at":"2026-07-13T02:10:00.570517Z","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.concur.2023.6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Raskin, and Javier Esparza","venue":"arXiv (Cornell University)","work_id":"e621afe9-4300-443b-af89-939805619117","year":2023},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:c94f74bf0dbe7667ef730097538ae666d974110684e5c3ef8d09c1c5a786ef47","observation_id":"c7b59abd-2304-4972-9361-d1e20524ab50","resolution":{"observed_at":"2026-07-13T02:19:17.763198Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-07-20T16:52:49.519129+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-20T16:52:49.519129+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2168/lmcs-12(2:3)2016","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Logical Methods in Computer Science","work_id":"e267b023-82d9-45d3-9669-a2a69a423f0a","year":2016},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:ae659bb8d3c26d192a471ae5b1962bf83b40a10b825704c011b77df8020d9a7f","observation_id":"378dfd78-6a9f-4dd1-9d72-a678cda8c561","resolution":{"observed_at":"2026-07-13T02:19:17.870247Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-07-20T16:52:49.765529+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-20T16:52:49.765529+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-12T06:34:36.333875+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-07-13T02:10:00.570517Z","title":null,"venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:2631e9fe9538ef8157ff85e6e9b65e3bc195f97bbff8e44842747c4da8e3a1a1","observation_id":"a6332a21-e528-49f3-8fcf-9cef2b32ed22","resolution":{"observed_at":"2026-07-13T02:10:00.570517Z","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.concur.2024.31","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"arXiv (Cornell University)","work_id":"b288903b-69a7-497e-ba3b-3c92e5d13f51","year":2024},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:aa52eafd0148c882c73f13c8a83d28cd5367301e9a08f2272cc36200cc53ac83","observation_id":"5b3a1282-f10d-4b30-9da7-06772198825a","resolution":{"observed_at":"2026-07-13T02:19:17.915602Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-07-20T16:52:50.279064+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-20T16:52:50.279064+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.mfcs.2025.60","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","work_id":"0b39bfe2-8408-4bab-a033-50c76416c1aa","year":2025},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:beee98d5c47fa5c5deea2e377e90dbb8e2d17316856e317d37a19d6f9c62c3f7","observation_id":"d4c301f9-4d36-47a8-8a20-98d3de7c2f98","resolution":{"observed_at":"2026-07-13T02:19:17.877765Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-07-20T16:52:50.572236+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-20T16:52:50.572236+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-12T06:34:36.333875+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-07-13T02:10:00.570517Z","title":"Kanovich","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:c74f687b09b87b12ae1530c23328263aee9d1500bc010cd0fa5a84c233846e2e","observation_id":"88779659-f630-4103-aaba-a890ff69854b","resolution":{"observed_at":"2026-07-13T02:10:00.570517Z","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-07-13T02:10:00.570517Z","title":"Rao Kosaraju","venue":null,"work_id":null,"year":1982},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:e8efffc2135cfbe58f27d5620106a03e4a42fc59ea37db2829685db342253685","observation_id":"0a5357f8-1084-4caf-b2de-af2d5b00dd91","resolution":{"observed_at":"2026-07-13T02:10:00.570517Z","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/0304-3975(92)90173-d","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Theoretical Computer Science","work_id":"f9eaed83-c5b6-4a6a-8238-9614c641b95c","year":1992},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:11c360435fc9f957563ab7258287a0f8851737ca261b85f47fbcb86f937d9f0a","observation_id":"be41068a-88d8-485a-97b7-6db9da34b446","resolution":{"observed_at":"2026-07-13T02:19:17.824268Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-07-20T16:52:51.056144+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-20T16:52:51.056144+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-12T06:34:36.333875+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-07-13T02:10:00.570517Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:e28f416f922ea5d72b5458c47e87173ad3cead70c605fbc7a81f1f8bba31f153","observation_id":"29cb9d95-387c-4eed-b3f7-2c6d8c4f9df5","resolution":{"observed_at":"2026-07-13T02:10:00.570517Z","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-07-13T02:10:00.570517Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:05c907b3a0b0cd65dd189ba8752d5b58cca6f2e9fab3e1d475b9639679b4afd6","observation_id":"6dd4ad85-86a3-4c96-934b-f34e67d3fcf3","resolution":{"observed_at":"2026-07-13T02:10:00.570517Z","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-07-13T02:10:00.570517Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:5adedc6eb85f299495b99848d24c76ea522c37c392af59180f627da972d00225","observation_id":"c5f9775b-89b7-486d-bf6c-a29ee013aefc","resolution":{"observed_at":"2026-07-13T02:10:00.570517Z","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.29007/bnx2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"EPiC series in computing","work_id":"0e2eae9e-795f-4e25-b285-1c69318c17dd","year":2012},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:fadfb115c683875cd15e5dbff3c5090bf099f3d7b1041fe392b50a6b74929129","observation_id":"8d98601e-93d8-4342-847c-86827806b0f8","resolution":{"observed_at":"2026-07-13T02:19:17.746626Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-07-13T02:10:00.570517Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:0ac71f7004c0d40b7b4cf8d51efac2dce6b79098b78186ee19d0894ae35f81eb","observation_id":"21f424ce-63f5-4ca9-905b-3e2650656842","resolution":{"observed_at":"2026-07-13T02:10:00.570517Z","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.1109/lics.2015.16","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"06a6af3d-60b5-4c6c-86fa-00bde192f72e","year":2015},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:6765d061cbb353d40a79eb08e0e6ce3dd91a68d87341ce33e906403635724a54","observation_id":"233ed7ac-9340-4081-aa0c-a5feaa825a6c","resolution":{"observed_at":"2026-07-13T02:19:17.687253Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-07-20T16:52:51.80639+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-20T16:52:51.80639+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-12T06:34:36.333875+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-07-13T02:10:00.570517Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:d2bed2e4be72c4852c8863e32534622b6adf6ec4aebf2185ec1a87ec0432de71","observation_id":"b920766e-5f55-4017-8f37-b486d3ede744","resolution":{"observed_at":"2026-07-13T02:10:00.570517Z","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/0168-0072(92)90075-b","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Annals of Pure and Applied Logic","work_id":"8acd0c99-396a-4bb2-b9d4-8bedff263e48","year":1992},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:b520d481543a3fadfaa413d971666df7ee61a86798fa4abe114396214e98b206","observation_id":"616926ba-1c84-40d4-93f1-138dc144f9ff","resolution":{"observed_at":"2026-07-13T02:19:17.755543Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-07-20T16:52:52.270105+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-20T16:52:52.270105+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-40184-8_12","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":"de22364f-9f28-4752-8894-b4427fa743b3","year":2013},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:b169340c918ef6861a1b764c459ff968c7fef9ce66285b1f0c58f98d66d5e46d","observation_id":"3d8c2542-df6c-4286-993e-478cc460e844","resolution":{"observed_at":"2026-07-13T02:19:17.794698Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-07-20T16:52:52.518977+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-20T16:52:52.518977+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1137/0213029","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"SIAM Journal on Computing","work_id":"c808d596-5634-4db1-b8c4-0b989322ce4f","year":1984},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:5a7c735b6904cf43b2c6c4afaa8579cb843fba4f4a58084e693bdf2ed64250b9","observation_id":"0498a850-e0aa-4bf9-a589-76fbdc71e0b2","resolution":{"observed_at":"2026-07-13T02:19:17.737573Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-07-20T16:52:52.760757+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-20T16:52:52.760757+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-12T06:34:36.333875+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-07-13T02:10:00.570517Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:7dbe372963f5653b7d338e43837040db2e3f096207fb21c80e1833722b36ac36","observation_id":"66555d9a-79a5-4ca0-a3d5-66a03b7d6b70","resolution":{"observed_at":"2026-07-13T02:10:00.570517Z","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":"1732.981768","doi":"10.3115/981732.981768","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"4c170038-a32a-494e-b4ee-8d8fb26cd6f1","year":1994},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:28b15f611963c2cbdeedde6c04601f1598843c582c3104546aaccd4483def35e","observation_id":"52973bb9-597f-4eaa-bfbe-7f258d321915","resolution":{"observed_at":"2026-07-13T02:19:17.902728Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-07-20T16:52:53.029264+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-20T16:52:53.029264+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-12T06:34:36.333875+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-07-13T02:10:00.570517Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:1a16dd03ef432c8f50bcdf5df83e8416e6c8d414e43684e1682e7ebd16b9377c","observation_id":"cab04927-2b2f-4a9a-bfb3-87ce3ffc22bf","resolution":{"observed_at":"2026-07-13T02:10:00.570517Z","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-07-13T02:10:00.570517Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:3dbd76a9d7e37ecba1c0e9d6785f72b49d8733c6775426f8627874134f2d3330","observation_id":"9e71474c-62d6-488c-a4b0-6e8ba2a6b812","resolution":{"observed_at":"2026-07-13T02:10:00.570517Z","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-07-13T02:10:00.570517Z","title":"1999.Theory of linear and integer programming","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:b03094bc2f1eb05bae949ef15cdc2d8e25496a90b43e32b58bd4e72272142eee","observation_id":"8c573adc-6033-489e-a3e5-97cbe836aa41","resolution":{"observed_at":"2026-07-13T02:10:00.570517Z","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.1112/jlms/s2-47.2.193","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Journal of the London Mathematical Society","work_id":"0e509a75-55b7-452d-8e1e-c86dc090d03f","year":1993},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:24f5dfd3eea7c946ea365537a1af894a57112733dbc73ed25585646612d0b691","observation_id":"49bed133-9517-4ced-a5a3-bfcae9cdb6ef","resolution":{"observed_at":"2026-07-13T02:19:17.729476Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-07-20T16:52:53.518401+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-20T16:52:53.518401+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.46298/dmtcs.350","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"decorated","venue":"Discrete Mathematics & Theoretical Computer Science","work_id":"25907be1-e76a-457d-a29a-0df3bf377d14","year":2005},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:d0c387d9b85669381fbc56c542144abe4ac922a1977667fc0d019f6d0c7daa0e","observation_id":"9c641a16-83bd-4ed6-af62-4db2954a41a3","resolution":{"observed_at":"2026-07-13T02:19:17.892728Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-07-20T16:52:53.764796+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-20T16:52:53.764796+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-12T06:34:36.333875+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-07-13T02:10:00.570517Z","title":"Moreover, we have src(𝜎)= f0 =src(𝛼 0) +src(𝛽 0) − c0 =src(𝛼) +src(𝛽) −src(𝜌) and tgt(𝜎)= h𝑘 =tgt(𝛼 𝑘 ) +tgt(𝛽 𝑘 ) − c𝑘 =tgt(𝛼) +tgt(𝛽) −tgt(𝜌)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-13T02:10:00.570517Z"},"links":{"citing_paper":"/paper/2607.09558"},"observation_digest":"sha256:b04940067808aae7e02754202a7e353645a5307e07f3274c3b503cda207f5525","observation_id":"caf4b759-5d77-45ab-ade9-94890ebd6e21","resolution":{"observed_at":"2026-07-13T02:10:00.570517Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.09558","last_updated":"2026-07-10T16:03:19Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-12T13:03:36.992396Z","submitted_at":"2026-07-10T16:03:19Z","title":"Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants"},"reference_resolution":{"displayed":41,"state_counts":{"malformed_identifier":3,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":19,"verified_exact":19,"verified_fuzzy":0},"total_outbound_references":41},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 41 of 41 outbound references and 0 inbound Pith citation observations for arXiv:2607.09558."}