{"as_of":"2026-08-12T12:34:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c5684fd5a09d98cd48523c5a1ad86d171f5a0fdb4bbc0130e141ce78da211835","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-07T08:32:00.227252Z","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:6cae0c9cc59a32a8e797dbab62acd2c63c1eeffdb1074eceaf4536878308c216","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-07T08:32:00.227252Z","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:28a48bad6e3f36fa31204769e408819e0bbff63ae563281cb4211b9c46e8ee85","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-07T08:32:00.227252Z","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:1e3c1e83fc7515b38001419d06be35fc1a9689cdb5d78244db10fa508249c5f5","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-07T08:32:00.227252Z","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:46366d1e3c1b8318bb3e77454917da2ab5ebd7f5221cb106b6f21172c17116f5","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-07T08:32:00.227252Z","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:25bf70fbb9a8a9c961a47dc0997bb4b36bda43957944f20760f3355acc36ac10","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-07T08:32:00.227252Z","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:4324e8097791497cfcb80c1221b4c90f74c40365f448a338eb1d4ced159452de","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-07T08:32:00.227252Z","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:61234e3492ef32caf9471041797ef51062281c8bca56c8ab380eeb275524bf00","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-07T08:32:00.227252Z","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:a77b471cc9a0d23a66aa625189f90ef928f1fa84acfc9c0d56de8dbc7438fdba","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-07T08:32:00.227252Z","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:b33559934e1ac2280bccb5de70e346645b457d5b460f68b1546b5d7408112a26","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-07T08:32:00.227252Z","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:6c20be30f59dd1b2f7c3796d3a70867294945db3d29489772f2d478e6b61040d","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-07T08:32:00.227252Z","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:bb3f0dfd9c3c586140c4b7ce99e534fbe4b76d74781a55cb9a129de56cd50527","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-07T08:32:00.227252Z","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:7836d28368386d684482d6981629959fed4ecccb3f29c6986cfea0630f6e6869","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-07T08:32:00.227252Z","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:4e55bb4e0f4401c3e5f4488dd2144b0d30b625212adf690084c495c8ce1478f4","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-07T08:32:00.227252Z","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:343c0e0d0e84c284e20e33a47a86415708c9d2570d6eb03cbf20e22fd1a8c3f4","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-07T08:32:00.227252Z","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:83bbce9e87e5d61c7b0f81ebdf2d043b803fe450dd6d5cfaa189286d18de6f75","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-07T08:32:00.227252Z","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:07922bf37fdd92fa863fc40f4ee5893e891e3f77f48ad7f83e276e93bd4677d7","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-07T08:32:00.227252Z","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:5e729de30121ed133f79ba2b9ac41d66bfe76c78026eaea8b95cd8721fb953af","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-07T08:32:00.227252Z","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:8236f1417b0b69b32450df76d650822f3a8722fbd615fc86ce05a6e6c694b560","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-07T08:32:00.227252Z","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:b9796bf0c468abd8df4dd9c6702586b8201af252ec89fd0663c07e86834c8b4c","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-07T08:32:00.227252Z","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:5f55b3db2ef6f7ac2674c6c51859d6510ff94094838188eb2388da6556fc26c7","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-07T08:32:00.227252Z","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:8a14f4568ab9e6309e3f82292591ee330d482b884452c13f3192c95ab0d8e3fd","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-07T08:32:00.227252Z","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:7ce5cf8246ae92ad9443275c2a7eaa86672f70cf9da183bc00702b49400d5139","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-07T08:32:00.227252Z","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:5d125becdd3caf9598ff143087df7c150972fb59951e90e6d6a336c64985c97a","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-07T08:32:00.227252Z","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:da278cd5312490e25888f73251b7c18529898371afdb69e37cd1a6d9369f23be","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-07T08:32:00.227252Z","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:99910929a372f948036506a6a30ada46a82c561c55760ace76e39f5183d87883","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-07T08:32:00.227252Z","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:be3949a9611472709e5f602a8e37e2dfb8d2962cb7de95b458059c3107e57b88","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-07T08:32:00.227252Z","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:83774f70525def982924defbe563f5af8b9cefca240de950733dbaf26048f01b","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-07T08:32:00.227252Z","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:80ccc1434f4982f4b673f7d3cafe6fc08387149924acf5a768704b8801d96afb","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-07T08:32:00.227252Z","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:9c932f88d43c73e6fcb93684b6904eab8b1954ea83f8150125e94fdb9320d789","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-07T08:32:00.227252Z","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:0c827fc8a2dea56420eb1ce88e473fc6f5fce2c4bee9ea0bf23127d7fa107bf5","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-07T08:32:00.227252Z","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:048bd069ac964af12d707d70bb38cb5c0c591a0093388d8659914da867a9d507","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-07T08:32:00.227252Z","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:39fe5283890fed1d64927fa38c23b14266325172fa3f5010dd82c50730c1c989","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-07T08:32:00.227252Z","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:c3d1dd1e1a311a3cc290afdc5db0e1430bca158ed15bfa5965684b44c563c3d2","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-07T08:32:00.227252Z","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:3a786d9905741897d34c9b14fbd6350a9d4211de2acc7d624cb27dacd8548e5b","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-07T08:32:00.227252Z","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:9b18d9ddb2fc847f943387b4e48824eb767fba3a92568978771e4587e139774c","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-07T08:32:00.227252Z","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:8b2c22d7846902d3c49619692638da3841fe793a80a9f82bbc591371b18fcd16","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-07T08:32:00.227252Z","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:f66a70bc6badbcb75ba4f415b4893eeb78f64b5f936c583dd98a3e333fb66bd5","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-07T08:32:00.227252Z","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:67ad60cedf293ae50067c14c03bbd4fd12b6859dc353b351bba13f433208463e","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-07T08:32:00.227252Z","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:3a0c9d7a06acb952578c7dabfa6aac3046c44d8adbc4986b52376b02acc95f6c","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-07T08:32:00.227252Z","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:c3e6e15ab85b1ee585419f394ae4a46a1868aad74ccfb3a60354f5840f956fae","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-07T08:32:00.227252Z","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:5d3fa27f61c469ff3b672d84acfaf09c2a46f13e025b97ad2125e419abff6c90","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-07T08:32:00.227252Z","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."}