{"as_of":"2026-08-13T02:46:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4d63fe299eb8e42d3e83def267e188d5bc3f0e017998317cbb19c0620dd68a75","coverage":[{"denominator":30,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":30,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T15:14:00.453689Z","state":"measured"},{"denominator":30,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":30,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-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/2411.14584/citation-record","integrity":"/paper/2411.14584/integrity","json":"/paper/2411.14584/citation-record.json","paper":"/paper/2411.14584"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:14:01.185195Z","title":"Andersen, Nicklas Andersen, Søren Enevoldsen, Mathias M","venue":null,"work_id":"b32977d2-542b-4970-9b3c-08f838d4e292","year":2015},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.328933Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:65d613783770368eb41ed5d5a41c70893b891453b81d5b10954a21baeb3bd9fd","observation_id":"1d03a28a-2242-42c4-aa58-3bbabe1e24f2","resolution":{"observed_at":"2026-08-12T15:14:01.189400Z","resolver_source":"raw_fallback","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-08-12T15:14:00.333798Z","title":"Barwell, Francisco Ferreira & Nobuko Yoshida (2022): CONCUR test-of-time award for the period 1994–97 interview with Uwe Nestmann and Benjamin C","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.333798Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:f32ff6158b15b6ebf5545d56ae4270d825378d75b6a46b629471e0c551c025d1","observation_id":"2d115f79-9e37-4511-8c4f-3504509825c7","resolution":{"observed_at":"2026-08-12T15:14:00.333798Z","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-319-03545-1_15","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:14:00.739913Z","title":"Bell (2013): Certifiably sound parallelizing transformations","venue":null,"work_id":"4622ea44-0fde-4c45-9fb9-29d3dde7df72","year":2013},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.337899Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:47856149d03a9acd705f170ee09083b7e486c6d5914829a0a13b4c0d1a08cf9c","observation_id":"e7c6e960-1ab3-4129-be7d-7f6d5c650caf","resolution":{"observed_at":"2026-08-12T15:14:00.744007Z","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-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.csl.2023.12","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:14:00.728587Z","title":null,"venue":null,"work_id":"7b991fbb-cf50-40c8-91cd-ffbd644f3f41","year":2023},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.342505Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:eacba0bd3927b0192784fb5dc7b461998c1de2cc6d86aa53fa0e124513eb3afa","observation_id":"5e258334-21ae-4fb9-860f-a0149cef6fa9","resolution":{"observed_at":"2026-08-12T15:14:00.732366Z","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-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-031-37706-8_5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:14:00.715095Z","title":"In Constantin Enea & Akash Lal, editors: Computer Aided Verification, Springer Nature Switzerland, Cham, pp","venue":null,"work_id":"7f486334-8077-47e8-bdbf-c7632a839f57","year":2023},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.347341Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:599b41ce042fb0a828de1e32b94c0b044993d6aa07d42c600668ce65c2351546","observation_id":"c622e514-37cb-4008-93e8-bac609d2cc8e","resolution":{"observed_at":"2026-08-12T15:14:00.721067Z","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-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.17671","last_updated":"2024-10-07T17:13:42Z","snapshot_observed_at":"2026-07-06T15:34:29.143691Z","submitted_at":"2023-05-28T09:27:02Z","title":"Linear-Time--Branching-Time Spectroscopy Accounting for Silent Steps","version":3},"cited_work":{"arxiv_id":"2305.17671","doi":"10.48550/arxiv.2305.17671","metadata_source":"pith","pith_arxiv_id":"2305.17671","snapshot_observed_at":"2026-08-12T18:16:22.223912Z","title":"Linear-Time--Branching-Time Spectroscopy Accounting for Silent Steps","venue":"cs.LO","work_id":"572d1c3c-d563-494b-8e0d-cc7411fc0c0c","year":2023},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.351450Z"},"links":{"cited_paper":"/paper/2305.17671","citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:413406426e5659020afac7c1fe4efbac785890c229b8446797456fc11a5dbd1c","observation_id":"548fc174-a133-42b8-a600-a0dc6c2d3524","resolution":{"observed_at":"2026-08-12T15:14:00.707068Z","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-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.46298/lmcs-18(3:19)2022","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:14:00.687159Z","title":"Jansen & Uwe Nestmann (2022): Deciding All Behavioral Equivalences at Once: A Game for Linear-Time–Branching-Time Spectroscopy","venue":null,"work_id":"49468a6e-6390-4e8c-ba71-70ef3f630936","year":2022},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.357297Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:0ab3e408603621c1679a283131c11817773c88dc93d144f3ec0111d9c2fe8ab3","observation_id":"112216db-6d93-471c-90e6-0087ca188f71","resolution":{"observed_at":"2026-08-12T15:14:00.691348Z","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-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.339.5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:14:00.675936Z","title":null,"venue":null,"work_id":"07133285-b774-430e-abbe-af56b8dd72bf","year":2021},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.361462Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:90fa0a9ba99f81c942f8e3ecdeb48d830da60504108bed18c5d8a1d3e18f7c18","observation_id":"0eb7fa33-6fa4-48bc-9eeb-b967bb0d4fb2","resolution":{"observed_at":"2026-08-12T15:14:00.679711Z","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-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s00236-019-00356-4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:14:00.664598Z","title":"Acta Informatica 57(3–5), pp","venue":null,"work_id":"74645c65-2fde-42ec-a499-bc6472271cbf","year":2020},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.365712Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:80353a642ae2cd3de518d6961955e2eb401ebdc73d1730e532c93b9a236a252d","observation_id":"a625c446-86f3-4313-9862-eb44c0e7e5c5","resolution":{"observed_at":"2026-08-12T15:14:00.668437Z","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-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-031-45286-4_7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:14:00.652561Z","title":"In Olivier Bournez, Enrico Formenti & Igor Potapov, editors: Reachability Problems, RP 2023, Springer Nature Switzerland, Cham, pp","venue":null,"work_id":"7f4d9de9-d603-4e25-9e18-e9a85b4d00b1","year":2023},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.369739Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:7a5458f12186556299b7ef66da7ae435dbe06bbb581ec1874f1ac789eadfdb84","observation_id":"413da2ea-abc0-4f97-9b1a-9d1a145d3d7e","resolution":{"observed_at":"2026-08-12T15:14:00.656502Z","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-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-540-89330-1_8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:14:00.641601Z","title":null,"venue":null,"work_id":"da3585e6-3085-4186-873f-1dbf5943df26","year":2008},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.373605Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:2d430eca80f870f514eb7ab5fc91b592192331cb142172d7dc68d99575d97145","observation_id":"cab1ee13-f62c-4c65-b39d-7695c85abf4a","resolution":{"observed_at":"2026-08-12T15:14:00.645342Z","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-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-08-12T15:14:00.379164Z","title":null,"venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.379164Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:51ce6c4e2dc9726764b6a346541720bb42102af331da2c407290bd521239f8aa","observation_id":"3f8b03f9-f535-4440-8944-89ed6f91b912","resolution":{"observed_at":"2026-08-12T15:14:00.379164Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-23283-1_","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:14:00.629350Z","title":"Larsen & Ji ˇr´ı Srba (2011): Energy Games in Multiweighted Automata","venue":null,"work_id":"d1f18168-5aba-47e2-9b33-cbaf4296da8e","year":2011},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.384330Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:3d1d8ad56a8784245fe294c40580ba93f0fd2b9c627d524f1a3b1a8dd58571b4","observation_id":"8ba97af9-3797-4764-b996-8eead060d30f","resolution":{"observed_at":"2026-08-12T15:14:00.633964Z","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-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.tcs.2013.07.030","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:14:00.616721Z","title":"Theoreti- cal Computer Science 538, pp","venue":null,"work_id":"61ad7143-5e51-4d42-9e55-9f094b2feabc","year":2014},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.388281Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:fdb5f05d15865e3e8d868c0622646ea4d87c3a48793c9762b31d1cec679f3e47","observation_id":"00442336-863a-49c3-afb9-756ee7ca3ed2","resolution":{"observed_at":"2026-08-12T15:14:00.620683Z","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-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-08-12T15:14:00.392300Z","title":"Information and Computation 268, p","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.392300Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:38b24430462d07b5c997e1544e7586d8b5bb412edda66245710013c7c6085ee8","observation_id":"f9be2209-d2c1-4bd3-94b6-2852d2d7210d","resolution":{"observed_at":"2026-08-12T15:14:00.392300Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:14:00.396362Z","title":"In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) , IEEE, New York, NY , USA, pp","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.396362Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:20997b957d986a3db826bce3ad33aa30444cb5999adb28f782204af7dc6f6cde","observation_id":"ecd0c462-a113-4852-9235-8d971811729a","resolution":{"observed_at":"2026-08-12T15:14:00.396362Z","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.2168/lmcs-9(2:11)2013","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:14:00.603605Z","title":"Logical Methods in Com- puter Science 9(2:11), pp","venue":null,"work_id":"9de0ce7b-4a3a-4c34-80c8-1e6e4c2d6974","year":2013},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.400607Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:b11877419f8e444a3c36353be42618bee0537dab05c86a4b99210e0bc2792a3d","observation_id":"839b8c40-2caa-4e33-96ce-9c0837650336","resolution":{"observed_at":"2026-08-12T15:14:00.608493Z","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-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.23638/lmcs-13(4:15)2017","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:14:00.591380Z","title":null,"venue":null,"work_id":"9c24f818-b398-4a1b-8415-89473c77ccb5","year":2017},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.404368Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:639986ad41170a0d178386ed16bb703cc3c364d5c06de5adc6442a35bfca6dfb","observation_id":"bad81466-3298-4149-9959-ef6d5c98e986","resolution":{"observed_at":"2026-08-12T15:14:00.595445Z","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-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s00236-019-00355-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:14:00.579766Z","title":"Acta Informatica 57(3–5), pp","venue":null,"work_id":"117e55ab-685b-4c6a-bd93-6d460874c561","year":2020},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.408554Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:eafb2d0e4bcc0ed5f29f00da169b98551eaf447791a314da40da327828c7b871","observation_id":"73ad9ed8-f62c-4470-90a5-9cc7e60463c3","resolution":{"observed_at":"2026-08-12T15:14:00.583898Z","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-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-031-15629-8_14","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:14:00.568098Z","title":null,"venue":null,"work_id":"adc60124-93ec-4255-9c27-32ad45fc4dbc","year":2022},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.413172Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:c97f19dbd1859d55bab978aa727029bc0f43912fa8a61be8d7e3fc0676056088","observation_id":"6713f95c-2998-4a65-8c40-9cfdf35c0c6a","resolution":{"observed_at":"2026-08-12T15:14:00.571864Z","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-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2210.07380","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:14:00.860121Z","title":"arXiv:2210.07380","venue":null,"work_id":"929c4b8c-7563-4394-bb18-2b0d2f95b335","year":2023},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.417098Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:9ed9f180aa75563897a5ec047fc0fbe75bacf5e713cc86cb65b3d69db470f187","observation_id":"e74c1cb7-3896-474d-ac1c-46d1c5afb350","resolution":{"observed_at":"2026-08-12T15:14:00.869470Z","resolver_source":"raw_fallback","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-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-08-12T15:14:00.420811Z","title":null,"venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.420811Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:2acc40556326497010f9c62227e0980f0fe8b69e77d75aabdafa86b5fa98800b","observation_id":"815d3648-b0d1-4772-a919-bbee5a74ceb7","resolution":{"observed_at":"2026-08-12T15:14:00.420811Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:14:00.425797Z","title":"In Eike Best, editor: CONCUR’93, LNCS 715, Springer, Berlin, pp","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.425797Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:a2af1875f7c90b8d6171a63cbf3126d6be38efbca69ba639eadc38a9efa0a9d8","observation_id":"d9250ba1-b978-4504-b8c6-43ef72395a0f","resolution":{"observed_at":"2026-08-12T15:14:00.425797Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:14:00.429843Z","title":null,"venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.429843Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:26702d970b41857efb41467234fd983df8e776b8ff483966209115f484c69f94","observation_id":"7a8bda77-a4dc-4533-bd2c-c1dc1d57a8b1","resolution":{"observed_at":"2026-08-12T15:14:00.429843Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:14:00.434389Z","title":"Logical Meth- ods in Computer Science 17(2), pp","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.434389Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:1934fe4f3fdc8e0c94ce9d5d5aa3504fd0ed4429ff86b0d251d7c6a753134072","observation_id":"e12811e3-f1a4-49d1-a65f-4077dd525010","resolution":{"observed_at":"2026-08-12T15:14:00.434389Z","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.2022.19","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:14:00.520889Z","title":null,"venue":null,"work_id":"3925ec1a-bb4e-4f45-b07b-cbe3c65eb75a","year":2022},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.437910Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:74c43c145164f51754af02297c9a1ae8fdcd6cfb11657e3f24b5b8385bb6a424","observation_id":"e12ab13a-07be-424a-a113-cdea65e79a82","resolution":{"observed_at":"2026-08-12T15:14:00.525215Z","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-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-031-61716-4_12","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:14:00.507381Z","title":null,"venue":null,"work_id":"4511d0ac-d1fe-4550-8baf-dd7aa6dcd16e","year":2024},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.441431Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:3d6e07fa4ba743a6fbbe6f7e47acabf886844f35de7ee24ac1999c9051c33353","observation_id":"56ed908d-4afb-4387-8008-798348a51487","resolution":{"observed_at":"2026-08-12T15:14:00.512419Z","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-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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:14:01.173762Z","title":"Shukla, Harry B","venue":null,"work_id":"94b23f50-6bc5-4e2f-91e9-aa53038c0a37","year":1996},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.445731Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:a37e3c823a38316790543843ab379824afb51f6283a413392f517a6d6e8df8a2","observation_id":"d7399f29-7059-4da2-9267-f4d8bbc07995","resolution":{"observed_at":"2026-08-12T15:14:01.177524Z","resolver_source":"raw_fallback","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":"10.1007/3-540-47813-2_5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:14:00.494305Z","title":null,"venue":null,"work_id":"9726db5d-ade9-415c-bea0-9342bf52333f","year":2002},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.449992Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:1d25b3480207f5393ce37a4ea07e362893aba7940e97f432e4309a812b037e10","observation_id":"36382622-33d8-45db-8777-9254ebcacafc","resolution":{"observed_at":"2026-08-12T15:14:00.499153Z","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-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.concur.2021.32","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:14:00.481063Z","title":null,"venue":null,"work_id":"574e4bc6-8e60-48fd-a74f-31b08bb2411d","year":2021},"citing_paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T15:14:00.453689Z"},"links":{"citing_paper":"/paper/2411.14584"},"observation_digest":"sha256:31acb477728f0b1388dc5ce6c04abc7f921fdd666236d33cc5d80379c8ead9ab","observation_id":"271ef31b-76ac-4b54-a33c-ac993f049763","resolution":{"observed_at":"2026-08-12T15:14:00.486033Z","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-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.14584","last_updated":"2024-11-21T20:47:26Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-12T15:05:40.641203Z","submitted_at":"2024-11-21T20:47:26Z","title":"One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics"},"reference_resolution":{"displayed":30,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":8,"verified_exact":20,"verified_fuzzy":0},"total_outbound_references":30},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 0 inbound Pith citation observations for arXiv:2411.14584."}