{"as_of":"2026-08-24T00:14:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:924a2a1380f883487db92e42cde162fd16647d349538d9a94a368cfe41842bc7","coverage":[{"denominator":13,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":13,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T21:26:04.007754Z","state":"measured"},{"denominator":13,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":13,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-23T06:30:58.430688+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/2501.05385/citation-record","integrity":"/paper/2501.05385/integrity","json":"/paper/2501.05385/citation-record.json","paper":"/paper/2501.05385"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/lics.2013.56","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T21:26:04.089496Z","title":"[Fon08] Ga¨ elle Fontaine","venue":null,"work_id":"6268ebb7-102d-44da-be38-31508069a196","year":2013},"citing_paper":{"arxiv_id":"2501.05385","last_updated":"2026-07-16T13:49:08Z","snapshot_observed_at":"2026-08-22T02:02:28.732081Z","submitted_at":"2025-01-09T17:14:17Z","title":"A Dichotomy Theorem for Ordinal Ranks in MSO","version":4},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T21:26:03.989935Z"},"links":{"citing_paper":"/paper/2501.05385"},"observation_digest":"sha256:3b8cc85463ee5ffd6e614d01b6b8221b0760f2234c7aa502a241aa27634894f3","observation_id":"4a33f8f7-504a-494f-b214-e80962ebe8ac","resolution":{"observed_at":"2026-08-10T21:26:04.093372Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16793","last_updated":"2024-12-21T22:29:20Z","snapshot_observed_at":"2026-08-18T15:58:25.872262Z","submitted_at":"2024-12-21T22:29:20Z","title":"Mostowski Index via extended register games","version":1},"cited_work":{"arxiv_id":"2412.16793","doi":"10.48550/arxiv.2412.16793","metadata_source":"pith","pith_arxiv_id":"2412.16793","snapshot_observed_at":"2026-08-11T00:16:15.729268Z","title":"Mostowski Index via extended register games","venue":"cs.FL","work_id":"ed1fbf37-f939-4365-a6a6-331a30413dc5","year":2024},"citing_paper":{"arxiv_id":"2501.05385","last_updated":"2026-07-16T13:49:08Z","snapshot_observed_at":"2026-08-22T02:02:28.732081Z","submitted_at":"2025-01-09T17:14:17Z","title":"A Dichotomy Theorem for Ordinal Ranks in MSO","version":4},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T21:26:03.994017Z"},"links":{"cited_paper":"/paper/2412.16793","citing_paper":"/paper/2501.05385"},"observation_digest":"sha256:b30d38131494bc2aa755d9b98899ccea4d6e874c70cd6e07f9a30e5d921658fe","observation_id":"a5d675ae-d994-47d5-a698-a945d851a526","resolution":{"observed_at":"2026-08-10T21:26:04.081806Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-662-52947-8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"[SW16] Micha l Skrzypczak and Igor Walukiewicz","venue":null,"work_id":"553defdb-f031-40df-96d1-5789cdd6aca5","year":null},"citing_paper":{"arxiv_id":"2501.05385","last_updated":"2026-07-16T13:49:08Z","snapshot_observed_at":"2026-08-22T02:02:28.732081Z","submitted_at":"2025-01-09T17:14:17Z","title":"A Dichotomy Theorem for Ordinal Ranks in MSO","version":4},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T21:26:04.007754Z"},"links":{"citing_paper":"/paper/2501.05385"},"observation_digest":"sha256:495406ba307e2b53a8a3f03935d08cb59c45d25cf56e746643f88ace395b34f5","observation_id":"bd2b1178-7573-49ae-93ff-f8059d634634","resolution":{"observed_at":"2026-08-10T21:26:04.041846Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-10T21:26:03.998265Z","title":"[Mos91] Andrzej W","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.05385","last_updated":"2026-07-16T13:49:08Z","snapshot_observed_at":"2026-08-22T02:02:28.732081Z","submitted_at":"2025-01-09T17:14:17Z","title":"A Dichotomy Theorem for Ordinal Ranks in MSO","version":4},"reference_index":1983,"source":"pdf_text","source_observed_at":"2026-08-10T21:26:03.998265Z"},"links":{"citing_paper":"/paper/2501.05385"},"observation_digest":"sha256:adcd9ebd4bf496e098b6cc1c26e8b0203c4380e70b162d6ac3b0bc241af4c412","observation_id":"423e7a03-a9ea-4f4f-b8d9-640fbcbdfd7a","resolution":{"observed_at":"2026-08-10T21:26:03.998265Z","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/3-540-54345-7_80","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"[NPS25] Damian Niwi´ nski, Pawe l Parys, and Micha l Skrzypczak","venue":"Lecture notes in computer science","work_id":"b2b38560-4408-46cb-9e71-f3fba6d92d1d","year":null},"citing_paper":{"arxiv_id":"2501.05385","last_updated":"2026-07-16T13:49:08Z","snapshot_observed_at":"2026-08-22T02:02:28.732081Z","submitted_at":"2025-01-09T17:14:17Z","title":"A Dichotomy Theorem for Ordinal Ranks in MSO","version":4},"reference_index":1991,"source":"pdf_text","source_observed_at":"2026-08-10T21:26:04.003068Z"},"links":{"citing_paper":"/paper/2501.05385"},"observation_digest":"sha256:19a22d91db33be0753e00e83383d316bce39ea383539dfbd824ced2e6a551bc6","observation_id":"42fc5cff-4b32-41ba-bc8a-7a39e139b9d3","resolution":{"observed_at":"2026-08-10T21:26:04.055218Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bfb0028547","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:08:50.044864Z","title":"[BW18] Julian C","venue":"Lecture notes in computer science","work_id":"fb028c37-fa0d-47d7-999a-663776c65c80","year":2018},"citing_paper":{"arxiv_id":"2501.05385","last_updated":"2026-07-16T13:49:08Z","snapshot_observed_at":"2026-08-22T02:02:28.732081Z","submitted_at":"2025-01-09T17:14:17Z","title":"A Dichotomy Theorem for Ordinal Ranks in MSO","version":4},"reference_index":1998,"source":"pdf_text","source_observed_at":"2026-08-10T21:26:03.973405Z"},"links":{"citing_paper":"/paper/2501.05385"},"observation_digest":"sha256:a1828b71305ba2d9853d1eea4dacde0fe8df0dfd389d5b1abd99e62cd58c877f","observation_id":"4497faa1-9e6e-4f4b-abc0-749e50eb0b1a","resolution":{"observed_at":"2026-08-10T21:26:04.118099Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/11538363_27","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"Bradfield, Jacques Duparc, and Sandra Quickert","venue":"Lecture notes in computer science","work_id":"95f3afaa-e3c1-4639-a64f-35b70ad16af8","year":2005},"citing_paper":{"arxiv_id":"2501.05385","last_updated":"2026-07-16T13:49:08Z","snapshot_observed_at":"2026-08-22T02:02:28.732081Z","submitted_at":"2025-01-09T17:14:17Z","title":"A Dichotomy Theorem for Ordinal Ranks in MSO","version":4},"reference_index":2001,"source":"pdf_text","source_observed_at":"2026-08-10T21:26:03.965212Z"},"links":{"citing_paper":"/paper/2501.05385"},"observation_digest":"sha256:ca02a4ed0d6cd823e3f97af5b4bbbc9652a9cc25e74c2da8aa0a057ea336079d","observation_id":"4b7d4806-579e-49dc-bf91-649ea8c0dffa","resolution":{"observed_at":"2026-08-10T21:26:04.131151Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-10T21:26:04.294629Z","title":"[BL69] Julius R","venue":null,"work_id":"e36f5dc9-de42-495a-abf6-c13b222fe438","year":2010},"citing_paper":{"arxiv_id":"2501.05385","last_updated":"2026-07-16T13:49:08Z","snapshot_observed_at":"2026-08-22T02:02:28.732081Z","submitted_at":"2025-01-09T17:14:17Z","title":"A Dichotomy Theorem for Ordinal Ranks in MSO","version":4},"reference_index":2010,"source":"pdf_text","source_observed_at":"2026-08-10T21:26:03.969440Z"},"links":{"citing_paper":"/paper/2501.05385"},"observation_digest":"sha256:a88fa86c254e94bbc2f4d5a5aad67b3e4eba4c81f090ec876e105540ae532c25","observation_id":"d4a4d48c-a33a-4336-9537-719d193bade4","resolution":{"observed_at":"2026-08-10T21:26:04.298246Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.10546","last_updated":"2025-07-29T12:45:59Z","snapshot_observed_at":"2026-08-21T23:22:04.387124Z","submitted_at":"2023-05-17T20:06:14Z","title":"Games on Graphs: From Logic and Automata to Algorithms","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.10546","snapshot_observed_at":"2026-08-10T21:26:03.981452Z","title":"2011.03.020","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2501.05385","last_updated":"2026-07-16T13:49:08Z","snapshot_observed_at":"2026-08-22T02:02:28.732081Z","submitted_at":"2025-01-09T17:14:17Z","title":"A Dichotomy Theorem for Ordinal Ranks in MSO","version":4},"reference_index":2011,"source":"pdf_text","source_observed_at":"2026-08-10T21:26:03.981452Z"},"links":{"cited_paper":"/paper/2305.10546","citing_paper":"/paper/2501.05385"},"observation_digest":"sha256:e4dd02ec8780c2deba6c2da565957befc6c8b8b66721f1aeb4c78a4e123e9a92","observation_id":"d26f5936-8046-48db-907e-8f48efde3e97","resolution":{"observed_at":"2026-08-10T21:26:03.981452Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.csl.2013.30","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T21:26:04.140187Z","title":"[AN01] Andr´ e Arnold and Damian Niwi´ nski.Rudiments of mu-calculus","venue":null,"work_id":"998a39df-33ac-4a5c-b288-cd23c56f84e8","year":2013},"citing_paper":{"arxiv_id":"2501.05385","last_updated":"2026-07-16T13:49:08Z","snapshot_observed_at":"2026-08-22T02:02:28.732081Z","submitted_at":"2025-01-09T17:14:17Z","title":"A Dichotomy Theorem for Ordinal Ranks in MSO","version":4},"reference_index":2013,"source":"pdf_text","source_observed_at":"2026-08-10T21:26:03.961004Z"},"links":{"citing_paper":"/paper/2501.05385"},"observation_digest":"sha256:97a9a892e00b62021512f8e8785234f1e0216b22beb3a3870015c4bbbe881f25","observation_id":"de2b5c7f-f266-4eb3-8db4-eb5af383d257","resolution":{"observed_at":"2026-08-10T21:26:04.145471Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-10T21:26:03.977366Z","title":"Tree automata, mu-calculus and determinacy","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2501.05385","last_updated":"2026-07-16T13:49:08Z","snapshot_observed_at":"2026-08-22T02:02:28.732081Z","submitted_at":"2025-01-09T17:14:17Z","title":"A Dichotomy Theorem for Ordinal Ranks in MSO","version":4},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-10T21:26:03.977366Z"},"links":{"citing_paper":"/paper/2501.05385"},"observation_digest":"sha256:0f874d2270d0f0dc2b94566d59dc36deabfa573fdfa47a2f59c4d37f53e3308e","observation_id":"7e8b6ee4-e777-464f-bb9b-1dbc4ab02c5f","resolution":{"observed_at":"2026-08-10T21:26:03.977366Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.10546","last_updated":"2025-07-29T12:45:59Z","snapshot_observed_at":"2026-08-21T23:22:04.387124Z","submitted_at":"2023-05-17T20:06:14Z","title":"Games on Graphs: From Logic and Automata to Algorithms","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.10546","snapshot_observed_at":"2026-08-10T21:26:03.985484Z","title":"[FMS13] Alessandro Facchini, Filip Murlak, and Micha l Skrzypczak","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.05385","last_updated":"2026-07-16T13:49:08Z","snapshot_observed_at":"2026-08-22T02:02:28.732081Z","submitted_at":"2025-01-09T17:14:17Z","title":"A Dichotomy Theorem for Ordinal Ranks in MSO","version":4},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-10T21:26:03.985484Z"},"links":{"cited_paper":"/paper/2305.10546","citing_paper":"/paper/2501.05385"},"observation_digest":"sha256:d1b4616a3ae45470b3ae5e802a8a7d583b2eeb0c99d6c2dd971888903b9d1c09","observation_id":"6982e134-f6d4-411e-864e-4f79046eb0e9","resolution":{"observed_at":"2026-08-10T21:26:03.985484Z","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-10T21:26:04.306267Z","title":"[AL13] Bahareh Afshari and Graham E","venue":null,"work_id":"e40f262c-a925-4bb2-8760-787872adf10b","year":2024},"citing_paper":{"arxiv_id":"2501.05385","last_updated":"2026-07-16T13:49:08Z","snapshot_observed_at":"2026-08-22T02:02:28.732081Z","submitted_at":"2025-01-09T17:14:17Z","title":"A Dichotomy Theorem for Ordinal Ranks in MSO","version":4},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-10T21:26:03.956487Z"},"links":{"citing_paper":"/paper/2501.05385"},"observation_digest":"sha256:959192b2404e1dec0ce43feb8ae293149409d2d6c331134fb8745b6ef0e1e91d","observation_id":"c44a1e55-6af5-4f8b-896c-8467df8e8981","resolution":{"observed_at":"2026-08-10T21:26:04.310498Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2501.05385","last_updated":"2026-07-16T13:49:08Z","latest_version":4,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-22T02:02:28.732081Z","submitted_at":"2025-01-09T17:14:17Z","title":"A Dichotomy Theorem for Ordinal Ranks in MSO"},"reference_resolution":{"displayed":13,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":3,"verified_exact":7,"verified_fuzzy":1},"total_outbound_references":13},"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-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"thesis":"As of 24 August 2026, this Paper Citation Record lists 13 of 13 outbound references and 0 inbound Pith citation observations for arXiv:2501.05385."}