{"as_of":"2026-08-13T10:07:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:673c8f0cc9b013d53e63100ed9733def851b0a104579eb5717112d7ab09f56b2","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-13T06:32:02.005865+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-12T13:38:11.969490Z","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:f0701d6235d2889eccb73de3ffea30b92ea76fd1ab44c751ba487f5386f54139","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-12T13:38:11.969490Z","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:f030c433139794faaf3c3cd3990f5ad2e6a4e9d3f5fa8c1668f2e542795b4cf9","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T13:38:11.969490Z","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:ea399e75f4167223a64b08b7bc2612c2fb5a45a708139566507c3ab18c765f78","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-07-06T12:35:53.295918Z","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-12T13:38:11.969490Z","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:5464fb6cdab8b521b83d09da3bb6116bd254b430df1c0578c93a2f4b4353b875","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:04:27.056057Z","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-12T13:38:11.969490Z","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:a81b16fe1458e8ea81733627145b72310afbb8873b8454a15cdb72667396acbc","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T13:38:11.969490Z","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:458ae67326ed1781c5df4d4f2902069bbef296b7d0106f45e11f0878e9dd2f9f","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-12T13:38:11.969490Z","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:ed45dae91012d9fd59d48491b6e87cc5035090e8f3723138a396d3c3f98ddb96","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-12T13:38:11.969490Z","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:078454bbb466aed03038052eab56474050faf0438cb1f039addee9258d93f1df","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:04:27.019529Z","title":"Hoare, Bernhard Möller, Georg Struth, and Ian Wehrman","venue":null,"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-12T13:38:11.969490Z","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:04461016ec20aa71aa246ea129cac3ab48a0b10527678144163d94f5c28d0087","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T13:38:11.969490Z","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:bddc6186eb618c26c34b4ae11b5cafca881555c08047a79622564b6db7b0889c","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T13:38:11.969490Z","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:d57d5155f6a7a3db85b16e0ace5d2864674466f4f6a74b68658a267b595f30c9","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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:04:26.996980Z","title":"Concurrent kleene algebra: Free model and completeness","venue":null,"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-12T13:38:11.969490Z","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:6b71b3c05969197d38287747d3fd1257e9eefb6dd6380667b0176c39d49dd9af","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T13:38:11.969490Z","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:83013737010511efef79f2c6d8b6d01f4e04314c8db5f94d68ce536121c653d7","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-12T13:38:11.969490Z","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:1d0e3dec1ace8efbc539e9fcfd30940f6eef28fbc0812eae05b40c4480fef19c","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-12T13:38:11.969490Z","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:737b5f3a233b5c3f65650e0807d3ee6b8d3034cfbfd6b0a5c9b5b97d9898f781","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T13:38:11.969490Z","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:22f91ae71c3a017f3677985061081b4738f782b1f0880ec8940eb293c4f06e56","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T13:38:11.969490Z","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:0bc086a81da8c78f36026168c09a278b15e1194fb4a78974429413bd1bca252f","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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:04:26.942983Z","title":null,"venue":null,"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-12T13:38:11.969490Z","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:985ff372a3782c020669ee3676c91c4d9418ad38cec0e5d160275ec6aa12e59c","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:04:26.929588Z","title":"On Probabilistic Kleene Algebras, Automata and Simulations , volume 6663","venue":null,"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-12T13:38:11.969490Z","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:4e1a691109f7fcd4824e1f7b620845e81600f5f0aa284badd3c593172cfc835c","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T13:38:11.969490Z","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:cdf6d3458befaf8944c2c0f6ed3f1bca226db661298a22684e55853fb41150db","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-07-06T11:38:59.451008Z","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-12T13:38:11.969490Z","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:3726ae3610f4da4f2bcaa8238028bcc8b7e4810d8a9fb24fbcde534f0fbc2bce","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T13:38:11.969490Z","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-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 21 of 21 outbound references and 0 inbound Pith citation observations for arXiv:2411.15979."}