{"as_of":"2026-08-20T13:03:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:89a5c0709930ff3f7703974429116a7d9d4da8dc26d54b822d1449754dc5d785","coverage":[{"denominator":21,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":21,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T14:04:26.881345Z","state":"measured"},{"denominator":21,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":21,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+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.15979/citation-record","integrity":"/paper/2411.15979/integrity","json":"/paper/2411.15979/citation-record.json","paper":"/paper/2411.15979"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:04:26.796882Z","title":"Netkat: semantic foundations for networks","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2411.15979","last_updated":"2024-11-24T20:44:27Z","snapshot_observed_at":"2026-08-13T21:26:22.499246Z","submitted_at":"2024-11-24T20:44:27Z","title":"Kleene algebra with commutativity conditions is undecidable","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-12T14:04:26.796882Z"},"links":{"citing_paper":"/paper/2411.15979"},"observation_digest":"sha256:27336239b3a3a55b445e7270db9b544bb57bfd21b853ceff1dc63900f38e5b10","observation_id":"72213194-59d1-4d05-87b5-08a17360ba83","resolution":{"observed_at":"2026-08-12T14:04:26.796882Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:04:27.370920Z","title":"Kleene Algebra with Tests and Program Schematology","venue":null,"work_id":"ee1b18b4-7096-4225-a818-61bf42183247","year":2001},"citing_paper":{"arxiv_id":"2411.15979","last_updated":"2024-11-24T20:44:27Z","snapshot_observed_at":"2026-08-13T21:26:22.499246Z","submitted_at":"2024-11-24T20:44:27Z","title":"Kleene algebra with commutativity conditions is undecidable","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-12T14:04:26.801858Z"},"links":{"citing_paper":"/paper/2411.15979"},"observation_digest":"sha256:b82d3b026686a61cea6abffeb6b1b4cb70941ee1829703684da261924d307aef","observation_id":"01a1108d-ab3b-4fa4-9eb2-dcd4c6c5118e","resolution":{"observed_at":"2026-08-12T14:04:27.375552Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-12T14:04:26.806267Z","title":"Partial derivatives of regular expressions and finite automaton constructions","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2411.15979","last_updated":"2024-11-24T20:44:27Z","snapshot_observed_at":"2026-08-13T21:26:22.499246Z","submitted_at":"2024-11-24T20:44:27Z","title":"Kleene algebra with commutativity conditions is undecidable","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-12T14:04:26.806267Z"},"links":{"citing_paper":"/paper/2411.15979"},"observation_digest":"sha256:f3d3d2584adf27d5862f60bc2a2ea5292ffed18c897c473dc22720d2b287ad0a","observation_id":"ce659cf6-b1e3-4e55-a7f2-9fa85e59b009","resolution":{"observed_at":"2026-08-12T14:04:26.806267Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2202.04278","last_updated":"2023-03-23T18:05:57Z","snapshot_observed_at":"2026-08-16T17:22:37.703536Z","submitted_at":"2022-02-09T04:53:04Z","title":"An algebra of alignment for relational verification","version":4},"cited_work":{"arxiv_id":"2202.04278","doi":"10.48550/arxiv.2202.04278","metadata_source":"pith","pith_arxiv_id":"2202.04278","snapshot_observed_at":"2026-08-12T18:16:22.223912Z","title":"An algebra of alignment for relational verification","venue":"cs.LO","work_id":"6eb14653-1cdb-4a1b-8b56-cf18fdef03df","year":2022},"citing_paper":{"arxiv_id":"2411.15979","last_updated":"2024-11-24T20:44:27Z","snapshot_observed_at":"2026-08-13T21:26:22.499246Z","submitted_at":"2024-11-24T20:44:27Z","title":"Kleene algebra with commutativity conditions is undecidable","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-12T14:04:26.810702Z"},"links":{"cited_paper":"/paper/2202.04278","citing_paper":"/paper/2411.15979"},"observation_digest":"sha256:ca74ff82547f6cb2633ba2c82037a62b63a22eb474e1e258e550cd2d4e6438a1","observation_id":"af8c5b68-478c-4e13-95ec-3752e3f62618","resolution":{"observed_at":"2026-08-12T14:04:27.077793Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-663-09367-1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"Transductions and Context-Free Languages","venue":null,"work_id":"3ef24f54-8bc4-4468-90d1-69e84af6be15","year":1979},"citing_paper":{"arxiv_id":"2411.15979","last_updated":"2024-11-24T20:44:27Z","snapshot_observed_at":"2026-08-13T21:26:22.499246Z","submitted_at":"2024-11-24T20:44:27Z","title":"Kleene algebra with commutativity conditions is undecidable","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-12T14:04:26.816142Z"},"links":{"citing_paper":"/paper/2411.15979"},"observation_digest":"sha256:2482ec3d06997dfd9d06449798ff392cd7fa30d9156bb9822e211762da88160d","observation_id":"aad62f19-da2b-4950-b110-38088b143bd7","resolution":{"observed_at":"2026-08-12T14:04:27.060317Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-12T14:04:26.820456Z","title":"Partial Commutation and Traces","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2411.15979","last_updated":"2024-11-24T20:44:27Z","snapshot_observed_at":"2026-08-13T21:26:22.499246Z","submitted_at":"2024-11-24T20:44:27Z","title":"Kleene algebra with commutativity conditions is undecidable","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-12T14:04:26.820456Z"},"links":{"citing_paper":"/paper/2411.15979"},"observation_digest":"sha256:450f67a67e09802bbba0bc7825fc2605999ee8d413be358e342418e2056baa04","observation_id":"7ab5ea1f-469d-4bc3-8bd7-e6ea61114b64","resolution":{"observed_at":"2026-08-12T14:04:26.820456Z","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-12T14:04:26.825279Z","title":"A coalgebraic decision procedure for netkat","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2411.15979","last_updated":"2024-11-24T20:44:27Z","snapshot_observed_at":"2026-08-13T21:26:22.499246Z","submitted_at":"2024-11-24T20:44:27Z","title":"Kleene algebra with commutativity conditions is undecidable","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-12T14:04:26.825279Z"},"links":{"citing_paper":"/paper/2411.15979"},"observation_digest":"sha256:6abb1d97e3e54b8077d2b0e4b577823c3b7bfa457720332de049933b1964bb78","observation_id":"5f523b7c-d9a0-4953-ba1d-9a6620f198f1","resolution":{"observed_at":"2026-08-12T14:04:26.825279Z","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(86)90101-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:04:27.033149Z","title":"On the decidability of some problems about rational subsets of free partially commutative monoids","venue":null,"work_id":"f73677ba-2bb6-446b-9f08-95c4ef0a0ef9","year":1986},"citing_paper":{"arxiv_id":"2411.15979","last_updated":"2024-11-24T20:44:27Z","snapshot_observed_at":"2026-08-13T21:26:22.499246Z","submitted_at":"2024-11-24T20:44:27Z","title":"Kleene algebra with commutativity conditions is undecidable","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-12T14:04:26.829572Z"},"links":{"citing_paper":"/paper/2411.15979"},"observation_digest":"sha256:b3afdb2e65547c311f57642b1a988aaa6235d25411928110af92745e64b2f204","observation_id":"0abb693c-21fb-473f-b8b8-7281dfe992d1","resolution":{"observed_at":"2026-08-12T14:04:27.038496Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-04081-8_27","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"Hoare, Bernhard Möller, Georg Struth, and Ian Wehrman","venue":"Lecture notes in computer science","work_id":"4d6f2444-5a7b-45f5-a62b-6355f2c4e486","year":2009},"citing_paper":{"arxiv_id":"2411.15979","last_updated":"2024-11-24T20:44:27Z","snapshot_observed_at":"2026-08-13T21:26:22.499246Z","submitted_at":"2024-11-24T20:44:27Z","title":"Kleene algebra with commutativity conditions is undecidable","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-12T14:04:26.833991Z"},"links":{"citing_paper":"/paper/2411.15979"},"observation_digest":"sha256:7bf493eeabc761a9c54a88899c4b850cd4a7caa48c463706fec15fa1f40bfaf9","observation_id":"9e2b2bde-80f9-4958-8675-4bf27d29c166","resolution":{"observed_at":"2026-08-12T14:04:27.024029Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-12T14:04:27.357349Z","title":"Hopcroft, R","venue":null,"work_id":"37821d0d-8fff-4462-8f71-fa83ceb9cc58","year":2001},"citing_paper":{"arxiv_id":"2411.15979","last_updated":"2024-11-24T20:44:27Z","snapshot_observed_at":"2026-08-13T21:26:22.499246Z","submitted_at":"2024-11-24T20:44:27Z","title":"Kleene algebra with commutativity conditions is undecidable","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-12T14:04:26.838162Z"},"links":{"citing_paper":"/paper/2411.15979"},"observation_digest":"sha256:3eee84832384e845fbec5865e9da01a23992dbf012a375790ede2a867b9da242","observation_id":"931627ff-d48d-4f81-8968-c70edb384460","resolution":{"observed_at":"2026-08-12T14:04:27.361764Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-12T14:04:26.842311Z","title":"Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness , volume 12077 of Lecture Notes in Computer Science , page 381–400","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.15979","last_updated":"2024-11-24T20:44:27Z","snapshot_observed_at":"2026-08-13T21:26:22.499246Z","submitted_at":"2024-11-24T20:44:27Z","title":"Kleene algebra with commutativity conditions is undecidable","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-12T14:04:26.842311Z"},"links":{"citing_paper":"/paper/2411.15979"},"observation_digest":"sha256:490a1d3284d9f1da196428520c0dc68a2134c98912785d351393c8390820b981","observation_id":"842e2738-bff1-4ddf-9b7c-9777519fe60f","resolution":{"observed_at":"2026-08-12T14:04:26.842311Z","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-89884-1_30","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"Concurrent kleene algebra: Free model and completeness","venue":"Lecture notes in computer science","work_id":"64f7745a-97f8-49eb-b187-23c9b47fdeed","year":2018},"citing_paper":{"arxiv_id":"2411.15979","last_updated":"2024-11-24T20:44:27Z","snapshot_observed_at":"2026-08-13T21:26:22.499246Z","submitted_at":"2024-11-24T20:44:27Z","title":"Kleene algebra with commutativity conditions is undecidable","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-12T14:04:26.846438Z"},"links":{"citing_paper":"/paper/2411.15979"},"observation_digest":"sha256:91c94f3c27e252adeaec1982fad99f8d35162ce83fbed1feb24e12de1a91c63c","observation_id":"6c327960-9e6f-4533-bb61-20158ff34523","resolution":{"observed_at":"2026-08-12T14:04:27.001623Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-12T14:04:26.850739Z","title":"On kleene algebras and closed semirings","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2411.15979","last_updated":"2024-11-24T20:44:27Z","snapshot_observed_at":"2026-08-13T21:26:22.499246Z","submitted_at":"2024-11-24T20:44:27Z","title":"Kleene algebra with commutativity conditions is undecidable","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-12T14:04:26.850739Z"},"links":{"citing_paper":"/paper/2411.15979"},"observation_digest":"sha256:9c9207f9b072f5ea7a5e8c4ff1ae456e4ffc3984d99f2f59959b4f4f613a1b59","observation_id":"0d3fdde6-99ec-430d-8351-340a9af51b26","resolution":{"observed_at":"2026-08-12T14:04:26.850739Z","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-12T14:04:26.855063Z","title":"Kleene algebra with tests and commutativity conditions , volume 1055 of Lecture Notes in Computer Science , page 14–33","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2411.15979","last_updated":"2024-11-24T20:44:27Z","snapshot_observed_at":"2026-08-13T21:26:22.499246Z","submitted_at":"2024-11-24T20:44:27Z","title":"Kleene algebra with commutativity conditions is undecidable","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-12T14:04:26.855063Z"},"links":{"citing_paper":"/paper/2411.15979"},"observation_digest":"sha256:902bfbbc3fe3750d2ee495d3970bf27d463a1d981c94ab4eddc3a59b10f8c75e","observation_id":"c1aa0a19-249e-418c-be24-ddfaacaf0420","resolution":{"observed_at":"2026-08-12T14:04:26.855063Z","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":"1997.61494","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:04:27.173373Z","title":"On the complexity of reasoning in kleene algebra","venue":null,"work_id":"6a0be28f-311d-4171-b7ab-7f62f59cd8c6","year":1997},"citing_paper":{"arxiv_id":"2411.15979","last_updated":"2024-11-24T20:44:27Z","snapshot_observed_at":"2026-08-13T21:26:22.499246Z","submitted_at":"2024-11-24T20:44:27Z","title":"Kleene algebra with commutativity conditions is undecidable","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-12T14:04:26.858579Z"},"links":{"citing_paper":"/paper/2411.15979"},"observation_digest":"sha256:84e1c748042ddd86288450c37da7f9913bdc0db564a4a4299130395d61c66d11","observation_id":"ed716ad5-27c8-4b91-9e45-b3e1da264301","resolution":{"observed_at":"2026-08-12T14:04:27.180316Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.tcs.2019.10.040","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:04:26.966383Z","title":"Left-handed completeness","venue":null,"work_id":"7ddad5a7-d80f-4773-94f9-86732df1635d","year":2020},"citing_paper":{"arxiv_id":"2411.15979","last_updated":"2024-11-24T20:44:27Z","snapshot_observed_at":"2026-08-13T21:26:22.499246Z","submitted_at":"2024-11-24T20:44:27Z","title":"Kleene algebra with commutativity conditions is undecidable","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-12T14:04:26.862052Z"},"links":{"citing_paper":"/paper/2411.15979"},"observation_digest":"sha256:a5b9104fd21085fb3c4b7d4435a66fb9546c9f79d90704d413d6e02d58e8c027","observation_id":"3a632805-dd67-4043-83f6-347d2027c422","resolution":{"observed_at":"2026-08-12T14:04:26.970613Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-12T14:04:26.865515Z","title":"Kuznetsov","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.15979","last_updated":"2024-11-24T20:44:27Z","snapshot_observed_at":"2026-08-13T21:26:22.499246Z","submitted_at":"2024-11-24T20:44:27Z","title":"Kleene algebra with commutativity conditions is undecidable","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-12T14:04:26.865515Z"},"links":{"citing_paper":"/paper/2411.15979"},"observation_digest":"sha256:56efe6f01fc7c48e9a1915062666e54049811fa2a094c320dac7844450bf5576","observation_id":"6844303a-ae39-4f50-9c8a-311a2ba35472","resolution":{"observed_at":"2026-08-12T14:04:26.865515Z","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/11828563_20","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":null,"venue":"Lecture notes in computer science","work_id":"a4bcd949-2af4-421b-b55b-8b4ded4f89a7","year":2006},"citing_paper":{"arxiv_id":"2411.15979","last_updated":"2024-11-24T20:44:27Z","snapshot_observed_at":"2026-08-13T21:26:22.499246Z","submitted_at":"2024-11-24T20:44:27Z","title":"Kleene algebra with commutativity conditions is undecidable","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-12T14:04:26.869005Z"},"links":{"citing_paper":"/paper/2411.15979"},"observation_digest":"sha256:90600c0020d8cd0e4e6119bbc62178cacffda2f9a066e8bf2d39c2a6a9c256a0","observation_id":"19c72844-85ad-4e93-854b-d478a51702c9","resolution":{"observed_at":"2026-08-12T14:04:26.947200Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-21070-9_20","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"On Probabilistic Kleene Algebras, Automata and Simulations , volume 6663","venue":"Lecture notes in computer science","work_id":"26f02703-6fd6-413d-a496-205dc2771c4c","year":2011},"citing_paper":{"arxiv_id":"2411.15979","last_updated":"2024-11-24T20:44:27Z","snapshot_observed_at":"2026-08-13T21:26:22.499246Z","submitted_at":"2024-11-24T20:44:27Z","title":"Kleene algebra with commutativity conditions is undecidable","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-12T14:04:26.872642Z"},"links":{"citing_paper":"/paper/2411.15979"},"observation_digest":"sha256:1ef7b58690329ee91503deacd3ab6ad499a1f15753d7bcc390351f1094976d55","observation_id":"e165a667-3230-47c2-b6d1-e9126099a303","resolution":{"observed_at":"2026-08-12T14:04:26.933981Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-12T14:04:27.343615Z","title":"Kleene coalgebra","venue":null,"work_id":"5b5a815a-d0bc-49b5-af7b-437963fd8e74","year":2010},"citing_paper":{"arxiv_id":"2411.15979","last_updated":"2024-11-24T20:44:27Z","snapshot_observed_at":"2026-08-13T21:26:22.499246Z","submitted_at":"2024-11-24T20:44:27Z","title":"Kleene algebra with commutativity conditions is undecidable","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-12T14:04:26.876185Z"},"links":{"citing_paper":"/paper/2411.15979"},"observation_digest":"sha256:117c42732e98c267db279167d054c4b53fec931793a224cf154d39134170aa7c","observation_id":"17c8bd7a-f0e3-465c-ba99-a748ec162885","resolution":{"observed_at":"2026-08-12T14:04:27.348039Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2108.07707","last_updated":"2022-08-04T20:16:12Z","snapshot_observed_at":"2026-08-16T18:02:42.264297Z","submitted_at":"2021-08-17T15:50:21Z","title":"On Incorrectness Logic and Kleene Algebra with Top and Tests","version":4},"cited_work":{"arxiv_id":"2108.07707","doi":"10.48550/arxiv.2108.07707","metadata_source":"pith","pith_arxiv_id":"2108.07707","snapshot_observed_at":"2026-08-12T18:16:22.223912Z","title":"On Incorrectness Logic and Kleene Algebra with Top and Tests","venue":"cs.PL","work_id":"ad872642-00da-4341-af31-75e36ef5b662","year":2021},"citing_paper":{"arxiv_id":"2411.15979","last_updated":"2024-11-24T20:44:27Z","snapshot_observed_at":"2026-08-13T21:26:22.499246Z","submitted_at":"2024-11-24T20:44:27Z","title":"Kleene algebra with commutativity conditions is undecidable","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-12T14:04:26.881345Z"},"links":{"cited_paper":"/paper/2108.07707","citing_paper":"/paper/2411.15979"},"observation_digest":"sha256:259d40d8d4e8ddc250b8a2daf47dd4322cf7eea8b473e452050efb209eb3d0d5","observation_id":"afa327d9-1fe1-4244-935c-8efb157794f8","resolution":{"observed_at":"2026-08-12T14:04:26.920007Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.15979","last_updated":"2024-11-24T20:44:27Z","latest_version":1,"primary_category":"math.LO","snapshot_observed_at":"2026-08-13T21:26:22.499246Z","submitted_at":"2024-11-24T20:44:27Z","title":"Kleene algebra with commutativity conditions is undecidable"},"reference_resolution":{"displayed":21,"state_counts":{"malformed_identifier":0,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":8,"verified_exact":8,"verified_fuzzy":3},"total_outbound_references":21},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 21 of 21 outbound references and 0 inbound Pith citation observations for arXiv:2411.15979."}