{"as_of":"2026-08-12T03:13:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d824011c674948189916fe4738409cb191daf23ebae913860704fb693af73713","coverage":[{"denominator":37,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":37,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T15:43:38.291501Z","state":"measured"},{"denominator":38,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":38,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T16:55:34.064102Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-06T16:55:34.552475Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"cited_work":{"arxiv_id":"2501.13903","doi":null,"metadata_source":"pith","pith_arxiv_id":"2501.13903","snapshot_observed_at":"2026-08-06T16:55:34.552475Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","venue":"cs.LO","work_id":"15e800e3-9aaa-4e00-b7f6-ee66a6c61936","year":2025},"citing_paper":{"arxiv_id":"2507.12697","last_updated":"2025-07-17T00:10:48Z","snapshot_observed_at":"2026-08-11T21:13:58.240650Z","submitted_at":"2025-07-17T00:10:48Z","title":"Unavoidable pivot-minors in graphs of large rank-depth","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:34.064102Z"},"links":{"cited_paper":"/paper/2501.13903","citing_paper":"/paper/2507.12697"},"observation_digest":"sha256:9564cf46471029e10f0e0d7853d8cab8430098d0290c88c998dae03f0609a291","observation_id":"cf47d74a-3ccb-4bcc-b5e3-de23b005f849","resolution":{"observed_at":"2026-08-06T16:55:34.621875Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2501.13903/citation-record","integrity":"/paper/2501.13903/integrity","json":"/paper/2501.13903/citation-record.json","paper":"/paper/2501.13903"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T15:43:38.094814Z","title":"Interpreting nowhere dense graph classes as a classical notion of model theory","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.094814Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:f8c27039d78fd827e39b4df5624b73eb6803f8b6ac7b354263eed5b0229b557a","observation_id":"1b7bc39d-0066-4cc0-b820-f73aac69ddea","resolution":{"observed_at":"2026-08-10T15:43:38.094814Z","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-10T15:43:39.153583Z","title":"Tree-decomposable theories","venue":null,"work_id":"db86af14-7b41-4829-9325-b1783d9f6fd9","year":1990},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.100493Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:f58884bd29286ad1ba12e09722fab2b14a967741c55b1bca67f070793d8321fc","observation_id":"8e884a48-c3f1-489e-9efc-f84e8a985e6a","resolution":{"observed_at":"2026-08-10T15:43:39.158813Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:39.133974Z","title":"Baldwin and Saharon Shelah","venue":null,"work_id":"28016ccc-6cf4-4af3-b9f3-143d8232dddc","year":1985},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.105571Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:bb1d63aaed3dbb880c8b7ffac77929d0afca10b9df874a609acd29a4616354dd","observation_id":"77203fae-c1de-4142-a1fe-eb39c073845a","resolution":{"observed_at":"2026-08-10T15:43:39.140219Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2107.13953","last_updated":"2021-09-02T11:53:26Z","snapshot_observed_at":"2026-08-11T21:13:25.007693Z","submitted_at":"2021-07-29T13:28:46Z","title":"Separator logic and star-free expressions for graphs","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.13953","snapshot_observed_at":"2026-08-10T15:43:38.111187Z","title":"Separator logic and star-free expressions for graphs","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.111187Z"},"links":{"cited_paper":"/paper/2107.13953","citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:0c4c3f7e826734c3ab15149d819042e9d17f60a68397bdeb2c2d35626ca10b89","observation_id":"851be43e-ce8f-4c89-bd9d-6a0a69a77fa6","resolution":{"observed_at":"2026-08-10T15:43:38.111187Z","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-10T15:43:39.116722Z","title":"Model checking on interpretations of classes of bounded local cliquewidth","venue":null,"work_id":"fdefc648-74d3-4958-8bf9-a743da447bbb","year":2022},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.117267Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:957201a066ffb0902812d593738c328f1b0e8aaa936a4e042947056911ec01dd","observation_id":"c8274364-765e-4ab9-bc9c-a692a602b6ac","resolution":{"observed_at":"2026-08-10T15:43:39.122639Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:39.097089Z","title":"Twin-width iv: Ordered graphs and matrices","venue":null,"work_id":"e14f2aa0-065b-448d-8b3b-c55c2a676701","year":2024},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.122741Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:b0f49b2189df44b643da4128797aa3c15a89366ec17d3f6d13f3d73b8cb56dcb","observation_id":"e6caa952-1e59-451a-a946-80efbed37ede","resolution":{"observed_at":"2026-08-10T15:43:39.104109Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:38.128279Z","title":"Laskowski","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.128279Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:d7cceab251a60110a3bcf45e229b59fa5145f85c5577cec5b27b3079b3ca79d2","observation_id":"83220a77-d5c4-4ba8-9220-7983e0c2b0a9","resolution":{"observed_at":"2026-08-10T15:43:38.128279Z","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-10T15:43:39.074933Z","title":"Shallow vertex minors, stability, and dependence","venue":null,"work_id":"1a1400f0-06b7-4e52-9408-cefbfa70b82a","year":2024},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.134850Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:e3d49388ecf7611630b846192c2c88bc91a33e20ab19c63f68821b1971144eda","observation_id":"755e1699-e5ac-4a0e-b971-34ee306c12f3","resolution":{"observed_at":"2026-08-10T15:43:39.080652Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:39.045366Z","title":"Graph structure and monadic second-order logic: a language-theoretic approach, volume 138","venue":null,"work_id":"079eb8c0-7ab4-4404-809b-fdd177b6ea48","year":2012},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.139731Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:e074f78449d65e788f9f2bccc8181793a4651ad03efc6e57d21a0c8d671accdb","observation_id":"043c2651-eb1c-4160-b8f5-1fe5c70bb5d3","resolution":{"observed_at":"2026-08-10T15:43:39.052314Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:39.027065Z","title":"Vertex-minors, monadic second-order logic, and a conjecture by Seese","venue":null,"work_id":"98222915-47d3-4ecb-80b9-662970bc6643","year":2007},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.144475Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:08b20c30cdd140c6f7f0d0dacd4a02032da65b4286daaf3fef55c7ecbaa224f0","observation_id":"25719f2a-4449-4e85-8c92-843dc40d7013","resolution":{"observed_at":"2026-08-10T15:43:39.032723Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:39.009793Z","title":"First-Order Model Checking on Monadically Stable Graph Classes","venue":null,"work_id":"d1dc10f0-ff14-4383-9067-e83b85146860","year":2024},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.148999Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:c080af5d19304ce7a811c700ab1bbd91fe07ce6ff42fdc85833b021591901cc7","observation_id":"3b5706a6-7f10-40dc-8074-68a955634bce","resolution":{"observed_at":"2026-08-10T15:43:39.014688Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:38.990937Z","title":"First-order model checking on struc- turally sparse graph classes","venue":null,"work_id":"214ba299-dd7e-4e32-a8cb-08c16276ee63","year":2023},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.155189Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:249a94fa23f113652012e079e6b75182907483e864c996df42e7e5545a3c427b","observation_id":"bbfead51-fa72-4f84-a865-c8fb3f9cd9a0","resolution":{"observed_at":"2026-08-10T15:43:38.997236Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:38.972731Z","title":"Indiscernibles and flatness in monadically stable and monadically NIP classes","venue":null,"work_id":"3c64f18f-ad79-40e1-860d-21d25414e389","year":2023},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.160428Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:2461ff8a9c14d0033cec32b342a184bbe0a31ab704aa6d45da1e2f3ecc3d89b8","observation_id":"2ea6f052-4bcd-4584-b9be-0613f326b5bd","resolution":{"observed_at":"2026-08-10T15:43:38.978413Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:38.956283Z","title":"Flip-breakability: A combinatorial dichotomy for monadically dependent graph classes","venue":null,"work_id":"fdf47a17-9294-4e84-888b-5a3387e603bf","year":2024},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.165356Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:3613a7dfcd02f5eae01fa95c003b0638bbc00c3585a1d6030a09fecd1d6d783b","observation_id":"35f633f4-154a-46b4-89ac-e2fb8891581f","resolution":{"observed_at":"2026-08-10T15:43:38.961935Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:38.938268Z","title":"Where first-order and monadic second-order logic coincide","venue":null,"work_id":"e52aa3fc-6911-48d3-b166-934459efd439","year":2016},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.171240Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:7709452186dd2317722cf808b3c050dcd411ce7de44962f26363c12d5efa7b03","observation_id":"4744b691-3af3-434d-9115-5494cbe3af57","resolution":{"observed_at":"2026-08-10T15:43:38.943343Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:38.920529Z","title":"Stockmeyer, and Moshe Y","venue":null,"work_id":"a9a6ccc0-612f-4977-b8e1-74baac427420","year":1995},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.175911Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:5e075d3193dd840eb45de1bf89e9576479602a87e6e5147921a355354ce0bc52","observation_id":"7dd1efae-790d-464d-8b41-be9092a4592b","resolution":{"observed_at":"2026-08-10T15:43:38.925386Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:38.900003Z","title":"On local and non-local properties","venue":null,"work_id":"0ff37e10-dc94-4031-bf87-365a5374eeb8","year":1982},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.181618Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:ee7926ad2c2f2357cdce2f68c7854607234ebd3da8cf1894378b7a2499fb5ecf","observation_id":"022f710c-66b0-45f2-b7d4-63e56b7ba634","resolution":{"observed_at":"2026-08-10T15:43:38.905322Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:38.876410Z","title":"Kernelizing mso properties of trees of fixed height, and some consequences","venue":null,"work_id":"56599abf-6159-40f4-85f2-c7b8c0230a2b","year":2015},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.186654Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:dec3b81fff9d27216548d257dd6ecd5cdd98f69a5881591155d3e59a71431c84","observation_id":"7f01a557-dde1-4209-9930-96026e5c7f55","resolution":{"observed_at":"2026-08-10T15:43:38.883371Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:38.858104Z","title":"Flipper Games for Monadically Stable Graph Classes","venue":null,"work_id":"7097df0c-8b28-47b8-a126-ca730f7e0fd0","year":2023},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.191743Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:5412a6414b04c53b18ed8a0644a2897689ba2bc52241cd2e9b30f02bca444ff2","observation_id":"2b5a645f-8d62-4025-9324-bcc5a391eafe","resolution":{"observed_at":"2026-08-10T15:43:38.863978Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:38.835810Z","title":"When trees grow low: Shrubs and fast MSO1","venue":null,"work_id":"b0ccded3-5429-4f85-a289-ed0fdb9507a0","year":2012},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.197399Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:95f18e0f256c88c2f22116f95d9da6d0073a2b576dd4aab08ca3cf7a84fead98","observation_id":"bb946751-2a3c-4d0e-8bc2-928b78636251","resolution":{"observed_at":"2026-08-10T15:43:38.842458Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:38.804867Z","title":"Shrub-depth: Capturing height of dense graphs","venue":null,"work_id":"52806b5b-b389-4e13-8749-08c8e0e4a8e0","year":2019},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.204942Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:3c4b942528e857b1ae3a8554890c7bec751bf8056ece2f1f24283ec92de92e5c","observation_id":"4d1f3e6d-5868-4c22-8516-10ff2d48b988","resolution":{"observed_at":"2026-08-10T15:43:38.818781Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:38.786153Z","title":"Deciding first-order properties of nowhere dense graphs","venue":null,"work_id":"f25b22f0-c563-4d9d-8ac4-1883c71e929f","year":2017},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.210382Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:2db16f4f1b77726b45de0d49439ba9f8906a1b22a2470e4d5d90ee9acf68cfaa","observation_id":"066a944e-ba49-45f8-af88-c5c9b6b25d30","resolution":{"observed_at":"2026-08-10T15:43:38.792448Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:38.761536Z","title":"Model-theoretic methods in the study of elementary logic","venue":null,"work_id":"dbf61d3d-396c-48ef-87be-42032b319425","year":1965},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.216514Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:d3a7938dc5c5c58496bc77e36a54c808e13d39579226d7ceeae0604d66cae1a5","observation_id":"b5332584-4c93-464f-ab07-1dce509f51a4","resolution":{"observed_at":"2026-08-10T15:43:38.767265Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:38.221384Z","title":"A Shorter Model Theory","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.221384Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:1fc8eb9ccbb93a67c0e93630a41443d71a79bb4fc447fb1c4df8c39a2edceb34","observation_id":"b7847a8a-ce1c-48c7-8842-e2be2801dc89","resolution":{"observed_at":"2026-08-10T15:43:38.221384Z","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-10T15:43:38.724693Z","title":"Obstructions for bounded shrub-depth and rank-depth","venue":null,"work_id":"2e917cd9-d6d3-4f39-bf07-e2245b9d5a2b","year":2021},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.228687Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:973ae0c053097dd3d82b508a927f934d3deab6d6619e55bec3e8fbae7a1612c1","observation_id":"5120e03f-210e-472a-b502-44544ec13997","resolution":{"observed_at":"2026-08-10T15:43:38.730410Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:38.705694Z","title":"Model checking lower bounds for simple graphs","venue":null,"work_id":"64e3270c-8c5b-4f1c-b638-9cb24324f4ad","year":2014},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.233849Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:e0da0cef45cae14c53f768903dc3ed7c010550ace1869b4d28763c3467a06fe9","observation_id":"470ef734-7319-47b3-ba0b-04fbfe9c1cda","resolution":{"observed_at":"2026-08-10T15:43:38.710950Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:38.685044Z","title":"Elements of finite model theory , volume 41","venue":null,"work_id":"b2f4a63a-b588-4c7f-93ad-7b9c0d180288","year":2004},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.240478Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:9ed50fed3f90c3153d1a80643452da0d901cf0e69d5304448b134b825b9fbc34","observation_id":"1396558e-240a-4263-85fc-dd5361d30c22","resolution":{"observed_at":"2026-08-10T15:43:38.691305Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:38.664403Z","title":"PhD thesis, University of Bremen, 2024","venue":null,"work_id":"d427c99b-22d4-4496-abf2-74a5a4ac1abc","year":2024},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.245697Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:c64061e2467c273a23ac0055d53630ca7670b902b117727a639773531a923f91","observation_id":"5c5abdfa-20ac-4111-9650-884178de35b6","resolution":{"observed_at":"2026-08-10T15:43:38.669536Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:38.646383Z","title":"Makowsky","venue":null,"work_id":"f14a2dd4-2795-42e7-9fcf-e4b09c663d11","year":2004},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.250926Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:8f9485d74d1ec5809360fb24682ed0417a57da7aca03b00fb71aa9469cca8500","observation_id":"21440217-f46e-46c2-9192-c14fdd62e64c","resolution":{"observed_at":"2026-08-10T15:43:38.651923Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:38.630413Z","title":"On nowhere dense graphs.European Journal of Combinatorics , 32(4):600–617, 2011","venue":null,"work_id":"6c7e0c66-fc56-47bf-8a5d-3066ba571384","year":2011},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.255594Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:6ba9990ff94c14ecf7cef98fc2c035c388bbabc3fabf1e6aaf0053292da19ff8","observation_id":"e67cef85-931b-4894-ad00-6968f21afc33","resolution":{"observed_at":"2026-08-10T15:43:38.635879Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:38.612322Z","title":"Canonical Decompositions in Monadically Stable and Bounded Shrubdepth Graph Classes","venue":null,"work_id":"f56f786a-33d4-40c3-ae36-1384b7adda5a","year":2023},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.260798Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:7b9abc08557e55454fe53260893a366f00e00fdf80f14d9d99a2a28e31b80902","observation_id":"67de5cc2-b939-460c-9865-dafb6cf3100d","resolution":{"observed_at":"2026-08-10T15:43:38.618320Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:38.594084Z","title":"Transducing paths in graph classes with unbounded shrubdepth","venue":null,"work_id":"752a668d-87c6-41bb-95d8-9df0026f0a7c","year":null},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.266263Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:371303cfe4b66d0f1dae592f213585a851566fc33dd9415b93ca2a151d12496c","observation_id":"909dce24-f06b-4208-a6de-53e2e37c279e","resolution":{"observed_at":"2026-08-10T15:43:38.600126Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:38.560740Z","title":"Stable graphs.Fundamenta Mathematicae, 100(2):101– 107, 1978","venue":null,"work_id":"dd25c98d-bd37-4acb-9c1a-2dddbed2e68e","year":1978},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.276532Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:ce08c40689059aa9c4cc0b06307e0af84421d3d49b9fc23333cf89766d79ae2f","observation_id":"7939d849-ecf7-46f7-ba69-0fc292240908","resolution":{"observed_at":"2026-08-10T15:43:38.565975Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:38.539494Z","title":"First-order logic with connec- tivity operators","venue":null,"work_id":"708c2e6c-e0ba-43a6-bb39-00a0cbd87f4e","year":2023},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.281488Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:df07930fe8b5fadc5568a5a063d4d09fbad945b1c6c0032652d380d4b4e8c2f1","observation_id":"53a63fdd-c6bf-4839-b4f2-3eaf4069a7e0","resolution":{"observed_at":"2026-08-10T15:43:38.544988Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T15:43:38.512258Z","title":"The structure of the models of decidable monadic theories of graphs","venue":null,"work_id":"49de4031-c878-45aa-9f51-7167de306e06","year":1991},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.286682Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:8b93e6e27920a4ecdf63b7e7591fe2b9b2d0fcea253e6947a0db87cd3d795d7c","observation_id":"f1369ade-eaa6-420f-8e81-7e6122b3650a","resolution":{"observed_at":"2026-08-10T15:43:38.522826Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2103.15799","last_updated":"2021-03-29T17:51:18Z","snapshot_observed_at":"2026-08-09T22:14:52.098793Z","submitted_at":"2021-03-29T17:51:18Z","title":"A note on stability and NIP in one variable","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2103.15799","snapshot_observed_at":"2026-08-10T15:43:38.291501Z","title":"A note on stability and nip in one variable","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.291501Z"},"links":{"cited_paper":"/paper/2103.15799","citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:44de12b38e370ab0aeb3f9fa0640d37826a6dfe73a95ef314d32d27cef298c5a","observation_id":"a152f8c8-f8a1-48d7-b83c-497614df9caf","resolution":{"observed_at":"2026-08-10T15:43:38.291501Z","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-10T15:43:38.577373Z","title":null,"venue":null,"work_id":"f8dbc7c1-b264-4fed-b624-48281fde6c3e","year":null},"citing_paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-10T15:43:38.271518Z"},"links":{"citing_paper":"/paper/2501.13903"},"observation_digest":"sha256:a020f20076e202a21a1a1bfe8cdd22a942cb7d04a8cca47399d770fbe1769b89","observation_id":"7ff1138b-f14c-4817-b509-15734c0207e4","resolution":{"observed_at":"2026-08-10T15:43:38.582444Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2501.13903","last_updated":"2025-01-23T18:31:33Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-11T21:13:33.826762Z","submitted_at":"2025-01-23T18:31:33Z","title":"Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO"},"reference_resolution":{"displayed":37,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":6,"verified_exact":0,"verified_fuzzy":31},"total_outbound_references":37},"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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 1 inbound Pith citation observation for arXiv:2501.13903."}