{"as_of":"2026-08-13T13:37:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:72fe664ebcad62072b9469219ea63c8380dc47ac5d6fb04a1c9007c110149538","coverage":[{"denominator":39,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":39,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T15:50:25.425523Z","state":"measured"},{"denominator":39,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":39,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2507.15316/citation-record","integrity":"/paper/2507.15316/integrity","json":"/paper/2507.15316/citation-record.json","paper":"/paper/2507.15316"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:50:22.332008Z","title":"Amar & Gianfranco R","venue":null,"work_id":null,"year":1964},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:22.332008Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:383179837414164d9e07ca7bf48d808b1251b8523b3025c677d6f6d846633401","observation_id":"6826a9e8-fcd6-4e81-a625-4657dd3477f4","resolution":{"observed_at":"2026-08-06T15:50:22.332008Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0019-9958(65)90275-5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Amar & Gianfranco R","venue":"Information and Control","work_id":"8c8ccc46-e45b-4e5a-ae6e-a445900b1406","year":1965},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:22.430183Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:b21f60aca6906d2524434ed8d7946e2bdf8dad2747ff3065f901a5f2941d13b3","observation_id":"b3dfa6eb-c78a-4791-9a07-dbc1f67242ac","resolution":{"observed_at":"2026-08-06T15:50:29.262058Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2010.56452","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:50:29.714393Z","title":null,"venue":null,"work_id":"8e99fd36-dbb8-4605-b273-2f7e42eccdac","year":2010},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:22.499588Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:332ad81bf70fb06674808c1a49337de01ab2932285765ed53c9948f50a0a5feb","observation_id":"8d7c8b2a-e93a-41bc-ae2d-2a9d45c26ab5","resolution":{"observed_at":"2026-08-06T15:50:29.719886Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:50:29.840662Z","title":null,"venue":null,"work_id":"bde7c826-3f40-4bf6-b1c2-96b2cc86c5af","year":2011},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:22.550392Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:1d8b84a8963da9f20e42d03ac4cce38514762fff5da21f42c02a39b715114b9b","observation_id":"59e2a442-b3f7-4c27-8277-c3abc3096d7a","resolution":{"observed_at":"2026-08-06T15:50:29.844225Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1090/dimacs/048/22","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"DIMACS series in discrete mathematics and theoretical computer science","work_id":"df8fb855-32ff-46fd-9f88-f940fc1a28b2","year":1997},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:22.597455Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:9be34d30eadc6a08a620be600df9cc4fbe97002f63c9d16518723dfa30212c67","observation_id":"f445ba2f-88b0-424f-ae2d-db009224b9d2","resolution":{"observed_at":"2026-08-06T15:50:29.010670Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:50:29.832466Z","title":null,"venue":null,"work_id":"c520132c-b256-4e74-b0fc-eb67b786faea","year":2010},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:22.659812Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:9c7b1c7ea5f707482e6e156b7a3cc0950e7cbebdea00fc4f4303244a917b49e0","observation_id":"e43244ba-9514-4966-beb0-7d16ffeff808","resolution":{"observed_at":"2026-08-06T15:50:29.835119Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s11047-011-9290-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T00:03:40.895421Z","title":null,"venue":"Natural Computing","work_id":"b4151ecc-24f3-4b26-8b3d-ac3dbd0251dc","year":2012},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:22.727422Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:93c83bc4bad2dd1b666f8e81ff2751e8a092fb5dcf386b89ec9c4768d4cabea2","observation_id":"91c92eec-c074-4360-a2f7-111310b18f7f","resolution":{"observed_at":"2026-08-06T15:50:28.779388Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:50:29.824397Z","title":"Hopcroft & Jeffrey D","venue":null,"work_id":"86e6f38e-dc6a-4aae-945f-b44ebcde16d9","year":1979},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:22.804088Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:e9f0145777063ea0393b507dc551de52ee008baa5b01df2be7ea6ceac986c917","observation_id":"5bddae45-922f-4756-9e2b-0593ddbadeff","resolution":{"observed_at":"2026-08-06T15:50:29.827250Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1012.0023","last_updated":"2010-11-30T21:26:58Z","snapshot_observed_at":"2026-08-05T16:40:06.245493Z","submitted_at":"2010-11-30T21:26:58Z","title":"Pumping lemmas for linear and nonlinear context-free languages","version":1},"cited_work":{"arxiv_id":"1012.0023","doi":"10.48550/arxiv.1012.0023","metadata_source":"pith","pith_arxiv_id":"1012.0023","snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Pumping lemmas for linear and nonlinear context-free languages","venue":"cs.FL","work_id":"85311813-3b25-4ff8-b209-6407e0b28898","year":2010},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:22.902107Z"},"links":{"cited_paper":"/paper/1012.0023","citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:68cb32bd71a5f8cfa0b0024cfb4f1c5c967da5bae38ef420307c341aeec97516","observation_id":"a7770844-7959-4790-989f-9efb526c4182","resolution":{"observed_at":"2026-08-06T15:50:28.487010Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:50:29.815334Z","title":null,"venue":null,"work_id":"91604386-e9b1-4eca-a5f0-1f61c4d8d427","year":2011},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:22.973325Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:c4d0e086382016e6ce8f15d62aafc9ff8916e7e0a7b5379dca380f4607e3d602","observation_id":"d36c738c-d635-4ad3-9041-e1541c2320ae","resolution":{"observed_at":"2026-08-06T15:50:29.819213Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s00236-021-00413-x","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:03:45.533247Z","title":"Acta Informatica 59(5), pp","venue":"Acta Informatica","work_id":"9cfa1cf4-169c-4f3c-a6a2-cb76d20370c0","year":2022},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:23.085111Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:e003042fbc6848c868cf9c502cfd61b0cf89ca6bfde31b3ccb5a9d440c163877","observation_id":"d1f5ef6b-cd2a-44b2-8565-15eeec120afa","resolution":{"observed_at":"2026-08-06T15:50:28.274575Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:50:29.806801Z","title":null,"venue":null,"work_id":"7b24983f-4378-4f2c-b403-20215c87f6e9","year":2009},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:23.158751Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:e8565135945ef7a395b9b71e5f654f3f4d754d5529335efbe3a73efbf4f43787","observation_id":"4050fc48-b915-4fc6-8f30-632c15e8964c","resolution":{"observed_at":"2026-08-06T15:50:29.809823Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3233/fi-2010-336","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Fundamenta Informaticae","work_id":"5b5c8521-b67e-4ac3-b219-85ce62a314a8","year":2010},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:23.238133Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:a25ed97f17114a08d43cb9188835415b5fcf47a335a2be702a21225d41f1e49a","observation_id":"3adaa140-0234-4227-9473-b75cbbf82a25","resolution":{"observed_at":"2026-08-06T15:50:28.054953Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-75292-9_24","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"In Cliff B","venue":"Lecture notes in computer science","work_id":"720a1f3d-8d6b-4260-80f0-66a9ae883459","year":2007},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:23.332791Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:ef63ae1f82e79caa95e7f0fb309fc9f0ff0167eadd8e5edfc7c2d3ef20a43fcf","observation_id":"107b6b64-7c1e-418c-b170-dc90eb5c09e1","resolution":{"observed_at":"2026-08-06T15:50:27.697725Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:50:29.797735Z","title":"Myhill (1957): Finite automata and the representation of events","venue":null,"work_id":"66df62c1-d078-435e-9922-757462a9b6cb","year":1957},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:23.413719Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:f78ece370f5f901182bada6e8d98061ea6d42a7ea6cfc9233564dd48dea5b549","observation_id":"40d4b7f2-3624-43ba-9af3-a5214f4b0e0d","resolution":{"observed_at":"2026-08-06T15:50:29.801106Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-77962-9_27","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"In Max H","venue":"Lecture notes in computer science","work_id":"6dae6e42-8b29-4e27-ac91-830fae58e6ce","year":2008},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:23.489290Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:2b085218187ad334ca9c88af6b96ac9346f36e38769e188ea3d195e1ed0f6016","observation_id":"d65bbcde-8239-4c48-b893-6ded90d509b2","resolution":{"observed_at":"2026-08-06T15:50:27.387165Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:50:29.788766Z","title":"In: Mathematical Theory and Computational Practice, CiE 2009, Abstract Book let, Heidelberg, Germany, pp","venue":null,"work_id":"c015e048-a5b2-4133-a3cf-483c5f5b3ad9","year":2009},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:23.558295Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:fc205d9101363b860a2416c8f894cfd7a3505a42f8c1fce645fe5aebb735c930","observation_id":"8cf70fb0-d039-4058-9e13-58b00df05b63","resolution":{"observed_at":"2026-08-06T15:50:29.791802Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:50:29.779901Z","title":"Triangle 8, pp","venue":null,"work_id":"b92bd52c-be3d-4783-9d2c-cbd7c51084ca","year":2012},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:23.623793Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:14861d74379267c2a5297b3c0124b3791bc4b5c6e65ff69c38ac4b136e006ec0","observation_id":"b4a874de-a0ad-4abe-99a1-2252dac104be","resolution":{"observed_at":"2026-08-06T15:50:29.783299Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1093/logcom/exr049","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Journal of Logic and Computation 23(4), pp","venue":"Journal of Logic and Computation","work_id":"c40d1f05-c911-4628-8b81-86e0db3520a1","year":2013},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:23.689758Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:870fa879382916e3e9d0ec7370702edf45723b02b1d108c8ef7131c0729c455d","observation_id":"1204b94d-df1e-4c24-b657-fbfd5dfbcd46","resolution":{"observed_at":"2026-08-06T15:50:27.250935Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:50:23.766376Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:23.766376Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:e3b9c0b8c7c4f51e697260f07452c650be91d25557d849355c35307de5490293","observation_id":"ed95f780-84b4-4a44-a89b-46c30c368f47","resolution":{"observed_at":"2026-08-06T15:50:23.766376Z","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-06T15:50:29.771682Z","title":null,"venue":null,"work_id":"9636046a-31e6-48de-9d6c-0416192ffba7","year":2020},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:23.865762Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:f67f0e0241cdfb3b170626394057b629289cc7f5caef18aaf677b780bdd3b89d","observation_id":"156f082d-29f5-4d79-a34d-169111abdc7d","resolution":{"observed_at":"2026-08-06T15:50:29.774550Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s11047-021-09865-z","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T00:03:40.895421Z","title":null,"venue":"Natural Computing","work_id":"b890950b-abe8-4eb7-a243-93a13a7f31e0","year":2021},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:23.931382Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:ed13820b34d361fb46337476dc3327f16b4ff8671f52710ff596565cb981ed09","observation_id":"5dd71027-97e2-4588-b421-5a3dcd3e8488","resolution":{"observed_at":"2026-08-06T15:50:27.164551Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:50:24.029598Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:24.029598Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:5ef2c473c8311313cbec176b20aef5c83fc48f82b57504fb186fcb1c81601375","observation_id":"97b085f8-7809-4691-84e6-ccb2a8b30004","resolution":{"observed_at":"2026-08-06T15:50:24.029598Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.367.11","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Electronic Proceedings in Theoretical Computer Science","work_id":"15ecf047-9b13-46eb-9eab-eaa84d1bc78e","year":2022},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:24.136708Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:bd071e693c259fdd15512d71b72b63aa453770be4bd48c0724f2dfec84124b5a","observation_id":"2f94222b-b330-4533-bda5-02579335c315","resolution":{"observed_at":"2026-08-06T15:50:26.976587Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.33039/ami.2023.08.004","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Annales Mathematicae et Informaticae 58, pp","venue":"˜Az œEszterházy Károly Tanárképző Főiskola tudományos közleményei. Tanulmányok a matematikai tudományok köréből/˜Az œEszterházy Károly Főiskola tudományos közleményei. Tanulmányok a matematikai tudományok köréből/Annales mathematicae et informaticae","work_id":"75a2db8c-dd6e-4627-b9ae-44839787955e","year":2023},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:24.203764Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:566f211f2964cee580584fd9110234b3479c5a05c7627769f5549c8bc7fd9247","observation_id":"7c45d6f0-a4b7-410b-8ce8-be6cd19c4f34","resolution":{"observed_at":"2026-08-06T15:50:26.669948Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.407.12","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Electronic Proceedings in Theoretical Computer Science","work_id":"05a6e969-c95c-4623-9123-1d06f9f79fff","year":2024},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:24.300424Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:5d0fff95cf9bb01bd2d044b4eadf61cb3cbba0aa0fcfc2cffd83d558f0f13a3c","observation_id":"4966d2f0-a190-4e44-88fa-902742120631","resolution":{"observed_at":"2026-08-06T15:50:26.399958Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"ita/2021007","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:50:29.573820Z","title":"RAIRO Theor","venue":null,"work_id":"6cf2de20-5ec8-47eb-a44f-a597af92cfba","year":2021},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:24.381402Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:59127f0844182c6feb242d35e605fbe54f3e329a8b037a51422a0d6135898dac","observation_id":"6458aa3e-2bf1-499b-9f1b-bdb14a2fb53b","resolution":{"observed_at":"2026-08-06T15:50:29.578933Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"ita/2020002","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:50:29.495007Z","title":"RAIRO Theor","venue":null,"work_id":"a57108a0-7691-419e-8e90-c8c489b10e9c","year":2020},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:24.481392Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:07ca00ba8efbaa1be2ddf4aa45c29a67047672f1b8bbc0cb9724f80e5c3f7aa2","observation_id":"21b602b9-c3ce-4d43-b94c-c34c20681b49","resolution":{"observed_at":"2026-08-06T15:50:29.506103Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:50:24.569566Z","title":"Acta Inf","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:24.569566Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:de6ea136ddc278cca666d1679b804a8ab460cb96eb12b673416f5905f3d02c02","observation_id":"443c52d3-6427-49ac-a7a8-6255ccee1d8a","resolution":{"observed_at":"2026-08-06T15:50:24.569566Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s11047-021-09869-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T00:03:40.895421Z","title":null,"venue":"Natural Computing","work_id":"5261ece0-5034-40cf-b296-d1ec4499bfe3","year":2022},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:24.652576Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:10aee3006ce5f0c173703d945e7d5e6c91bef3a6c8dea9cc9574521b6bd50766","observation_id":"25ec4930-33de-4b66-8598-2c42ca2381c7","resolution":{"observed_at":"2026-08-06T15:50:26.031938Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:50:24.722916Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:24.722916Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:e9198ba5d2ebeaa5b3931b068e2505a13127c0c856ca04b8d3983f2d3a945054","observation_id":"27983f7b-bf02-44be-96f1-a2d56e8fbade","resolution":{"observed_at":"2026-08-06T15:50:24.722916Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.422","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Electronic Proceedings in Theoretical Computer Science","work_id":"55dfd639-4b65-42cc-bcd9-fefba91e5e2f","year":2025},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:24.796228Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:1f113ad3b47a372e4a6beefba9ee7f90516737f84219cbe3daf357a0c027c9a3","observation_id":"4cbc6ce7-7c3f-455c-8bc8-2894ea575430","resolution":{"observed_at":"2026-08-06T15:50:25.820960Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:50:29.762662Z","title":"Nerode (1958): Linear automaton transformations","venue":null,"work_id":"17d0f96c-715d-4ddd-899b-a5a708185646","year":1958},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:24.865710Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:2e7793f26e73852955e66222e42db7d7fc5582fb11480f300f4ef205aff57a9c","observation_id":"0e7deee1-b5dc-4440-b147-e700a7e73d33","resolution":{"observed_at":"2026-08-06T15:50:29.765640Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:50:29.754444Z","title":null,"venue":null,"work_id":"27cfbd74-1d8d-444e-8d43-71ff3d707d62","year":2018},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:24.949869Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:27d47a514544977602564d1f6b505371bd62dddc0c9fd2cfd6290df95e365141","observation_id":"1a2045dd-df1e-4c02-a5db-52e2adbfb225","resolution":{"observed_at":"2026-08-06T15:50:29.757136Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:50:29.746188Z","title":"Texts in Theoretical Computer Science","venue":null,"work_id":"080cd0bc-321f-470d-bb51-0378c630b58c","year":null},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:25.023583Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:48339d3fbe993c9e5c128efc97c42313c501960aa3330dc5ae22c70cf540999a","observation_id":"bc708655-2b9d-4655-a1a5-6be60ebcf30b","resolution":{"observed_at":"2026-08-06T15:50:29.749229Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:50:29.736884Z","title":"Springer, doi: 10.1007/ 978-3-642-59126-6","venue":null,"work_id":"43a75b54-3ce3-45de-bd51-0b46354df165","year":1997},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:25.096316Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:600b9cb218d271a98b761df30512393449baff8a4577cb1fd0754002cc23774f","observation_id":"10b8e67a-642e-49b6-9dbd-905206290cac","resolution":{"observed_at":"2026-08-06T15:50:29.740174Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-73208-2_6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":null,"venue":"Lecture notes in computer science","work_id":"e53caf94-a0a4-4c4a-8179-3b5bbef75bc4","year":2007},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:25.204901Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:75ba0fc64c1c63a8d62e3751c395fc8aaca346a7ed63aa85beb37536ed777a6c","observation_id":"6c77823b-ddaf-41b9-b6dc-971fdc326335","resolution":{"observed_at":"2026-08-06T15:50:25.591808Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:50:29.727823Z","title":"Semenov (1974): Regularity of languages k-linear for various k","venue":null,"work_id":"81897073-f2c4-4ccc-b6ab-6999fcd8dcf9","year":1974},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:25.336958Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:321e0a3ca581ca2b327b39063490a8601145a862c689cf34548754526e92b7d0","observation_id":"002e35f8-220e-44d9-800d-ae399f2e4305","resolution":{"observed_at":"2026-08-06T15:50:29.731351Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:50:25.425523Z","title":"Sempere & Pedro Garc´ ıa (1994):A Characterization of Even Linear Languages and its Applica tion to the Learning Problem","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:25.425523Z"},"links":{"citing_paper":"/paper/2507.15316"},"observation_digest":"sha256:2a521ed4b6a4edca065c8408703a794dea44fa5b2dceed569d26f6845a82a328","observation_id":"18339e53-798f-4751-b4cf-26b8380e0e18","resolution":{"observed_at":"2026-08-06T15:50:25.425523Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2507.15316","last_updated":"2025-07-21T07:15:27Z","latest_version":1,"primary_category":"cs.FL","snapshot_observed_at":"2026-08-06T15:32:40.597016Z","submitted_at":"2025-07-21T07:15:27Z","title":"A Myhill-Nerode Type Characterization of 2detLIN Languages"},"reference_resolution":{"displayed":39,"state_counts":{"malformed_identifier":6,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":8,"verified_exact":18,"verified_fuzzy":6},"total_outbound_references":39},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 0 inbound Pith citation observations for arXiv:2507.15316."}