{"as_of":"2026-08-16T21:45:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4e5d0e22088661d15da4463f6c9ea485c1a0826e906fa9dfbd0e9bfdc21d706f","coverage":[{"denominator":35,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":35,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T14:10:27.564255Z","state":"measured"},{"denominator":35,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":35,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+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/1908.04038/citation-record","integrity":"/paper/1908.04038/integrity","json":"/paper/1908.04038/citation-record.json","paper":"/paper/1908.04038"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:10:27.948148Z","title":"General decidability theorems for infinite-state systems","venue":null,"work_id":"a45b063b-b158-4590-ac6f-483eafab5f06","year":1996},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.439199Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:4987516627e3874ab4ae8a33598183ac858e284854d7d6e5d7cd75d9aec53588","observation_id":"f6e8007f-3c30-4456-92f7-267e5980ce38","resolution":{"observed_at":"2026-08-14T14:10:27.951238Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.939174Z","title":"Some algorithmic problems for pseudovarieties","venue":null,"work_id":"5abeee2a-6c86-4db3-9866-5b63a20b4304","year":1999},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.443190Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:9899dae7328cab1f2f736c26db3cb0b4b85727eb03adde07685cd7baa954540b","observation_id":"ebe1864a-4924-4dbb-bcc8-e0f7f91a8dcd","resolution":{"observed_at":"2026-08-14T14:10:27.942021Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.929591Z","title":"Transductions and context-free languages","venue":null,"work_id":"e0624d38-39aa-4c04-9b24-82aa246df4f5","year":2013},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.446629Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:afef7b39971ced6f8722467437145cd83f429c61f8c5c5a23d8a9a77c7c504af","observation_id":"7227a6d3-bf33-485c-b757-7d71d1277b07","resolution":{"observed_at":"2026-08-14T14:10:27.933255Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.918756Z","title":"Automatic structures","venue":null,"work_id":"0cb46376-33c4-4188-9d66-5119fbc181eb","year":2000},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.450254Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:95db843f480840089fbc4d7f0eb030e1a8ff40c541447b446d28312c209c3fdc","observation_id":"f8207ecd-c927-4f11-b262-dbbc42b86703","resolution":{"observed_at":"2026-08-14T14:10:27.922519Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.907724Z","title":"Finite presentations of infinite structures: Automata and interpretations","venue":null,"work_id":"d9b1ceac-1bb3-4391-8b97-5fbcf68f64ab","year":2004},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.454763Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:11333e0b5e76d9908e5757dd31a983143f7f650822fceafd95aeecfd226351dd","observation_id":"20fd6e3f-3a2a-4ac5-8421-998cb391031f","resolution":{"observed_at":"2026-08-14T14:10:27.912186Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.896148Z","title":"It is undecidable if two regular tree languages can be separated by a deterministic tree-walking automaton","venue":null,"work_id":"0e68ae4b-8fc6-4259-b737-af0bec946a75","year":2017},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.459224Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:fe8fe7c799eeb50037b195cc41545cec140496bf984a35a9a1bdda3797866bc9","observation_id":"3ce19178-26c7-413e-87ad-2ac489938cae","resolution":{"observed_at":"2026-08-14T14:10:27.900005Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.885110Z","title":"A generic approach to the static analysis of concurrent programs with procedures","venue":null,"work_id":"706bc606-7e7e-4f6e-b25e-c07c67d3ee28","year":2003},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.463699Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:c736a108fe5cf0b3d9d2120f623eb9267679644d1ea63a26d04f160b4d650db9","observation_id":"0946517f-210e-4551-bb24-3aa22c78a1f7","resolution":{"observed_at":"2026-08-14T14:10:27.888911Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.874940Z","title":"Separability of rational relations in A ^* ^m by recognizable relations is decidable","venue":null,"work_id":"7301dc84-d305-4e06-a3f7-11b3a38c6d97","year":2006},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.467186Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:a0293262531503a6ac4a7e27e1661d286733b3a024461f70601b1c9202dddf65","observation_id":"638ab5a3-53c8-4f4f-a2c9-8bf7a4426425","resolution":{"observed_at":"2026-08-14T14:10:27.878577Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.864025Z","title":"Regular separability of Parikh automata","venue":null,"work_id":"a7a06955-b0cb-4703-9807-d16bae495337","year":2017},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.470824Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:f4efa4f0c393b5c0b3ef41eba77241243e9627191eb5afd94e411717b260671b","observation_id":"a58e1097-f470-4427-a62c-413dccf7ba69","resolution":{"observed_at":"2026-08-14T14:10:27.868179Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.853461Z","title":"Separability of reachability sets of vector addition systems","venue":null,"work_id":"93b64be6-d243-4ec0-be12-72bd4cae8117","year":2017},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.474191Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:3180f92cf23f16aa52d95f5534bf5fb256ef624c1e810f9cd6a0e87d983540d2","observation_id":"e613f8a7-0e17-4b79-b906-1de620f5d28f","resolution":{"observed_at":"2026-08-14T14:10:27.857126Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.842933Z","title":"Regular separability of one counter automata","venue":null,"work_id":"1c93d106-e41f-4c34-830b-7bf9047cdbc8","year":2017},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.477471Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:f15cffa74c8038711c6abaeec0812093599f978abaecb93d8a4afd5db8651928","observation_id":"f99b9612-490a-4006-8d90-360a778f0da5","resolution":{"observed_at":"2026-08-14T14:10:27.846673Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.concur.2018.35","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:10:27.589984Z","title":"Narayan Kumar, and Prakash Saivasan","venue":null,"work_id":"0477f24f-2264-4d8f-97b5-3d5622eaca64","year":2018},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.480822Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:708087a97ac1e8699a401c4a5b0cfa4e411fadb3cee61b270f3c3896efa6b700","observation_id":"cdabd0c7-f533-4777-bd07-d0b228155fc2","resolution":{"observed_at":"2026-08-14T14:10:27.595911Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.832216Z","title":"A characterization for decidable separability by piecewise testable languages","venue":null,"work_id":"413441c1-4dd5-4211-867b-2c2568da30a6","year":2017},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.484445Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:e60092a6563e090dc20102c29cb6ec7a05b094014fd7ecb14eee57e9b9b37c28","observation_id":"940a577a-55d8-426f-a741-e62334c4e3a8","resolution":{"observed_at":"2026-08-14T14:10:27.835500Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.822553Z","title":"An approach to regular separability in vector addition systems","venue":null,"work_id":"e89b8051-785b-4bbb-9ff3-6a3d295dbd1c","year":2019},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.487974Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:40c53738f86ec7aed902541542768097cb26662f0ec5ff911a06a0ea572a16c3","observation_id":"09b36d7f-7072-431d-bfd9-03dc32daf841","resolution":{"observed_at":"2026-08-14T14:10:27.825721Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.812760Z","title":"Reset nets between decidability and undecidability","venue":null,"work_id":"c082646a-755a-46fb-94ab-cd87f53fc1f4","year":1998},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.491455Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:f9efc8010147bfed76750655c632fe111d1a5781da413d38ab93e3091479754b","observation_id":"e0927464-e8b1-401d-9e97-2aa3ab8b219b","resolution":{"observed_at":"2026-08-14T14:10:27.816380Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.494908Z","title":"A mathematical introduction to logic","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.494908Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:69255bc04a0e4c1c3283e3bbf73824e6b538e4bb41cf8b32bef17b8e7f8020c1","observation_id":"4642bb01-3a38-4e70-9480-1271fc2a82b0","resolution":{"observed_at":"2026-08-14T14:10:27.494908Z","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-14T14:10:27.794542Z","title":"Fundamental structures in well-structured infinite transition systems","venue":null,"work_id":"a2fe8d15-2f25-449e-a070-72c68e3b175e","year":1998},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.498502Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:06e171185ba159ef7f31ae7a503e200b3af5aa637437585953e4be41dab75c15","observation_id":"ddfaa7ca-b5ec-4007-8212-fc6b8487a4f4","resolution":{"observed_at":"2026-08-14T14:10:27.798301Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.784378Z","title":"Gool and Benjamin Steinberg","venue":null,"work_id":"1dbd2421-646f-47c0-9077-47108da9aa83","year":2019},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.502373Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:f7e877f7c568ab48439a11244a4ac9a423d72efdbb754b41cdcf6e301f2d93ee","observation_id":"ea2a85b5-d020-418d-bee1-33516ef39a2e","resolution":{"observed_at":"2026-08-14T14:10:27.787759Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.774373Z","title":"Deciding piecewise testable separability for regular tree languages","venue":null,"work_id":"4ca0b910-46ca-4fe7-aa12-7a901d519e8c","year":2016},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.506672Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:ac0853ab585672202eed728579dd5a52b9081e500f6d9ec74533c91c6190582f","observation_id":"8a52e766-bc4d-4a65-ad65-c44f3dfc5cbe","resolution":{"observed_at":"2026-08-14T14:10:27.777941Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.764821Z","title":"Luke Ong","venue":null,"work_id":"a4358cac-7695-4e24-8793-1a458ccd762c","year":2016},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.510216Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:f3bb43da6cb41533d159963b6b1eef3e5c023d00d753dc25477e8261df2727ea","observation_id":"560bf26d-c10f-457e-b8cc-c1768698df84","resolution":{"observed_at":"2026-08-14T14:10:27.768298Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.754612Z","title":"Context-free languages and turing machine computations","venue":null,"work_id":"1d992618-29ef-4f05-b822-14b797c21088","year":1967},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.513995Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:b9a4db9146e0703cfd6c53ddb146309e7cb8dab22e1f92afbeb860c3af89b84b","observation_id":"8df0e37e-0662-4f26-b592-f1732cebdb97","resolution":{"observed_at":"2026-08-14T14:10:27.758344Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.744254Z","title":"Hunt III","venue":null,"work_id":"42eebf5e-4806-4818-8b67-77a30cc83c2d","year":1982},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.517800Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:d68ca8498a7e7b795142206a7ae7bdc543f5a09d88f4af565b4a4d3516ccd14a","observation_id":"b5539f44-a114-4247-a94d-889b34f0ceed","resolution":{"observed_at":"2026-08-14T14:10:27.747966Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.733553Z","title":"Regular separability of one counter automata","venue":null,"work_id":"04cafd72-1663-4f2a-bfb6-3be390fe7a97","year":2019},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.521968Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:e73434388355bde244a370255f7743b70f6ce0d837009233000686f5e324af66","observation_id":"8c6accf5-ec2d-4911-80b2-1b14674afc77","resolution":{"observed_at":"2026-08-14T14:10:27.737923Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.723029Z","title":"Undecidable problems in unreliable computations","venue":null,"work_id":"1f78c629-1772-4083-abd6-62b3c3219256","year":2003},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.525762Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:16a14209123b7df6b037ba5926334b883fcb518adc02408c821efb99b4e533c3","observation_id":"cd6e170b-7ebd-4b77-941a-a233c447facd","resolution":{"observed_at":"2026-08-14T14:10:27.726979Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.712679Z","title":"On context-free languages","venue":null,"work_id":"fed24211-64ec-4260-870e-5c7e50a12690","year":1966},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.530151Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:5bfc96194635b918f510a3249e35247fc0fc56e69c30a6c80cb1b564be38c3b9","observation_id":"234bad7c-5ef3-4703-9fc3-e8e7453fa8b6","resolution":{"observed_at":"2026-08-14T14:10:27.715604Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.703207Z","title":"Separating regular languages with two quantifiers alternations","venue":null,"work_id":"61b9831e-ed5d-42fa-aca2-1776b912ec27","year":2015},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.533734Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:589c2e449853d40f3d1ce397e9d0daa8fd3a8e5b59a83cad9c5b17c9d2ae0fbb","observation_id":"be16ec37-9f1b-4aba-8798-90ebb12954aa","resolution":{"observed_at":"2026-08-14T14:10:27.706358Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.691885Z","title":"Separating regular languages by piecewise testable and unambiguous languages","venue":null,"work_id":"e839cb5d-90b9-4b61-a897-c4006203fb34","year":2013},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.537946Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:6a9b3e6fabd4e9742a5683ba76cc8e397e35be71d1c5bfe04ccc232e992acd19","observation_id":"9a702451-4f4e-4933-b7b9-ae1f22d90f01","resolution":{"observed_at":"2026-08-14T14:10:27.696210Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.680779Z","title":"Separation and the successor relation","venue":null,"work_id":"25f146b0-63b8-4288-b53a-19d7c63ac295","year":2015},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.541368Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:74a6ebd5d03c5be259c31ea494af47b188e561f361cb1618bf552a44dd9eeb0f","observation_id":"23adbb52-e933-4971-a648-12b70ea39fdd","resolution":{"observed_at":"2026-08-14T14:10:27.684827Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.670317Z","title":"Separating regular languages with first-order logic","venue":null,"work_id":"e5a5a37a-916e-443f-8c13-6166a02d9670","year":2016},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.544812Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:aaf707cebdd4cf5c2777ab726c0a3074fbb034f62362c2f7dc9a5e806eb19f5f","observation_id":"b285232e-fcf7-4be1-92bc-793cdc987925","resolution":{"observed_at":"2026-08-14T14:10:27.674045Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.659133Z","title":"Concatenation hierarchies: New bottle, old wine","venue":null,"work_id":"b574d7d3-6c34-4184-b37b-8d767013d39a","year":2017},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.548471Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:2fd555fe54ddf385ebb4f8e97e916df869f8b39693ac64c73b9f1ee89ac4d52c","observation_id":"ab0e8ec5-6a46-4022-af60-f92ab25ee71b","resolution":{"observed_at":"2026-08-14T14:10:27.662963Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.647504Z","title":"Separation for dot-depth two","venue":null,"work_id":"66e9b6f1-bbc5-4666-864f-0f0f929f16b4","year":2017},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.551803Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:0d9d5325008d730f2257d6e4db189e456312ad183b8f3561a19c98a5392daf8c","observation_id":"f1c11587-ccda-4fbf-89bd-584e98345ad1","resolution":{"observed_at":"2026-08-14T14:10:27.651386Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.636967Z","title":"The covering problem","venue":null,"work_id":"031a0b5a-89dc-4f29-b9ec-798c34f4d762","year":2018},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.555121Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:6d07adcec8cd9e488c1fa7b2706a53e1b3545ec2c2a1f3af0f62aa3d16b928c3","observation_id":"5d84a273-dba6-4317-ae39-a3ea186ca1f3","resolution":{"observed_at":"2026-08-14T14:10:27.640441Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.625068Z","title":"Szymanski and John H","venue":null,"work_id":"808be74c-b072-4325-8a76-46fabd0a0194","year":1976},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.558580Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:d54634c548d509a03d5d9267978a104d2534700b254ffeb0a1004277b18a42d5","observation_id":"539f7f59-8501-4635-895c-00c4b2e3117c","resolution":{"observed_at":"2026-08-14T14:10:27.630021Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.613247Z","title":"An approach to computing downward closures","venue":null,"work_id":"0efe4b61-121e-4c9d-a05a-0e30cb80e102","year":2015},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.561605Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:3c621461de3927348f85bfe536e978c1c81540a0bc8577f737ebbbedee3809a5","observation_id":"3ab50685-8dcc-4751-8fcf-46578f8f5af9","resolution":{"observed_at":"2026-08-14T14:10:27.617678Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:10:27.603622Z","title":"Separability by piecewise testable languages and downward closures beyond subwords","venue":null,"work_id":"90c7b445-dbf7-4675-9a59-276a54840b97","year":2018},"citing_paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-14T14:10:27.564255Z"},"links":{"citing_paper":"/paper/1908.04038"},"observation_digest":"sha256:d6b6cc694b716ccc5f59ff99cfb01181f7973250d9d6e32b67009a979a67481d","observation_id":"d3212aed-3597-45bf-ba12-a4584b64c97f","resolution":{"observed_at":"2026-08-14T14:10:27.606925Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.04038","last_updated":"2019-08-12T07:42:29Z","latest_version":1,"primary_category":"cs.FL","snapshot_observed_at":"2026-08-16T09:36:48.632175Z","submitted_at":"2019-08-12T07:42:29Z","title":"Regular Separability and Intersection Emptiness are Independent Problems"},"reference_resolution":{"displayed":35,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":1,"verified_exact":1,"verified_fuzzy":33},"total_outbound_references":35},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:1908.04038."}