{"as_of":"2026-08-16T12:22:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:40f7874c5afa5b6e04a4afcb123ea9ceca843a55657b8c44ce09ff31cf324aaf","coverage":[{"denominator":23,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":23,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T14:18:40.856128Z","state":"measured"},{"denominator":23,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":23,"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.03710/citation-record","integrity":"/paper/1908.03710/integrity","json":"/paper/1908.03710/citation-record.json","paper":"/paper/1908.03710"},"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:18:42.237386Z","title":"Implementation of state elimi nation using heuris- tics","venue":null,"work_id":"4b335751-bec8-405b-91d9-1f2a7ae91db8","year":2009},"citing_paper":{"arxiv_id":"1908.03710","last_updated":"2019-08-10T08:18:24Z","snapshot_observed_at":"2026-08-14T14:02:13.740890Z","submitted_at":"2019-08-10T08:18:24Z","title":"Solving of Regular Equations Revisited (extended version)","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T14:18:40.436538Z"},"links":{"citing_paper":"/paper/1908.03710"},"observation_digest":"sha256:f2120d8b23d2be6f85ae10c57906f2d89a40d2928347ee671b03cf2762b66247","observation_id":"5bb768b7-1332-4112-830e-1c830211b80a","resolution":{"observed_at":"2026-08-14T14:18:42.240946Z","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:18:42.225906Z","title":"Enumera tion and generation with a string automata representation","venue":null,"work_id":"b30341f7-6baa-4e2a-8b63-e85ab24f0d81","year":2007},"citing_paper":{"arxiv_id":"1908.03710","last_updated":"2019-08-10T08:18:24Z","snapshot_observed_at":"2026-08-14T14:02:13.740890Z","submitted_at":"2019-08-10T08:18:24Z","title":"Solving of Regular Equations Revisited (extended version)","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T14:18:40.441181Z"},"links":{"citing_paper":"/paper/1908.03710"},"observation_digest":"sha256:c007df146517339e074143190f59551a2ad5ce91c8453d6da4c7145f65a8bf13","observation_id":"27726001-b1be-4dc5-9ccc-8d96aa8d42e8","resolution":{"observed_at":"2026-08-14T14:18:42.230401Z","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:18:42.095583Z","title":null,"venue":null,"work_id":"3cb8fbe7-a803-42a5-b1f5-11ad7226a7d2","year":1961},"citing_paper":{"arxiv_id":"1908.03710","last_updated":"2019-08-10T08:18:24Z","snapshot_observed_at":"2026-08-14T14:02:13.740890Z","submitted_at":"2019-08-10T08:18:24Z","title":"Solving of Regular Equations Revisited (extended version)","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T14:18:40.445585Z"},"links":{"citing_paper":"/paper/1908.03710"},"observation_digest":"sha256:fa3fb5e9961d4c01b35e0d0581ef307a0a5732ccfac37a9b6a4058913bdbd89b","observation_id":"d023b94f-abfd-4520-be4f-d6a9d1f228e1","resolution":{"observed_at":"2026-08-14T14:18:42.135106Z","resolver_source":"raw_fallback","status":"unresolved"},"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:18:42.084369Z","title":null,"venue":null,"work_id":"2e0a081d-458f-4b6a-b625-1b1d06e16e7f","year":2010},"citing_paper":{"arxiv_id":"1908.03710","last_updated":"2019-08-10T08:18:24Z","snapshot_observed_at":"2026-08-14T14:02:13.740890Z","submitted_at":"2019-08-10T08:18:24Z","title":"Solving of Regular Equations Revisited (extended version)","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T14:18:40.551381Z"},"links":{"citing_paper":"/paper/1908.03710"},"observation_digest":"sha256:967c520f50f0ea3323390dd7346b8808906aa289d5d446aa884ee4f7a0025e87","observation_id":"b5382383-004a-465d-a96f-5fd81f100663","resolution":{"observed_at":"2026-08-14T14:18:42.088554Z","resolver_source":"raw_fallback","status":"unresolved"},"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:18:42.013644Z","title":"Brzozowski","venue":null,"work_id":"a8a1edd6-c77f-481e-ab1d-91b2807c90d0","year":1964},"citing_paper":{"arxiv_id":"1908.03710","last_updated":"2019-08-10T08:18:24Z","snapshot_observed_at":"2026-08-14T14:02:13.740890Z","submitted_at":"2019-08-10T08:18:24Z","title":"Solving of Regular Equations Revisited (extended version)","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T14:18:40.589110Z"},"links":{"citing_paper":"/paper/1908.03710"},"observation_digest":"sha256:5df14f906a5b8d0fe4a3d4b76813cc16c40b98e4a43ce1b4732544185def75d2","observation_id":"74e6525b-e772-42d6-98c0-935c124ad566","resolution":{"observed_at":"2026-08-14T14:18:42.078329Z","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:18:41.902125Z","title":"Brzozowski and Edward J","venue":null,"work_id":"dc140292-21e0-48af-b470-5a555c914527","year":1963},"citing_paper":{"arxiv_id":"1908.03710","last_updated":"2019-08-10T08:18:24Z","snapshot_observed_at":"2026-08-14T14:02:13.740890Z","submitted_at":"2019-08-10T08:18:24Z","title":"Solving of Regular Equations Revisited (extended version)","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T14:18:40.592282Z"},"links":{"citing_paper":"/paper/1908.03710"},"observation_digest":"sha256:cea36666ca65e63a27b8edaf11f172405dfc08267a4779a2000c1b2f2f0e85a3","observation_id":"29f69147-3bc7-4402-acbe-2975e9c45240","resolution":{"observed_at":"2026-08-14T14:18:41.906507Z","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:18:41.891550Z","title":"A general frame- work for the derivation of regular expressions","venue":null,"work_id":"51fc1252-7503-46c3-93f5-2659bf823493","year":2014},"citing_paper":{"arxiv_id":"1908.03710","last_updated":"2019-08-10T08:18:24Z","snapshot_observed_at":"2026-08-14T14:02:13.740890Z","submitted_at":"2019-08-10T08:18:24Z","title":"Solving of Regular Equations Revisited (extended version)","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T14:18:40.596334Z"},"links":{"citing_paper":"/paper/1908.03710"},"observation_digest":"sha256:5f37fcf93191a2a85def975e84032fcd0f04c18dcf195ffa154cc807729a6d3e","observation_id":"c67cdcb9-46df-40be-9539-a43b662f3708","resolution":{"observed_at":"2026-08-14T14:18:41.895910Z","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:18:41.881114Z","title":"Approximation to the smallest regular expression for a given regular language","venue":null,"work_id":"3b2ced4d-86c1-4e44-8884-c9f37030dd35","year":2004},"citing_paper":{"arxiv_id":"1908.03710","last_updated":"2019-08-10T08:18:24Z","snapshot_observed_at":"2026-08-14T14:02:13.740890Z","submitted_at":"2019-08-10T08:18:24Z","title":"Solving of Regular Equations Revisited (extended version)","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T14:18:40.600732Z"},"links":{"citing_paper":"/paper/1908.03710"},"observation_digest":"sha256:53020661f19199bb15c9b5b9e3247a57f4f32d76fb4fa45bbb6cb035b9c73da1","observation_id":"beb05e2e-23a1-4721-b3a6-fa654e485cad","resolution":{"observed_at":"2026-08-14T14:18:41.884965Z","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:18:41.661487Z","title":"Greedy regular expressio n matching","venue":null,"work_id":"882690fc-4923-4c68-aa8f-9ba3c3423a8b","year":2004},"citing_paper":{"arxiv_id":"1908.03710","last_updated":"2019-08-10T08:18:24Z","snapshot_observed_at":"2026-08-14T14:02:13.740890Z","submitted_at":"2019-08-10T08:18:24Z","title":"Solving of Regular Equations Revisited (extended version)","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T14:18:40.603579Z"},"links":{"citing_paper":"/paper/1908.03710"},"observation_digest":"sha256:592d6fc89d425372ecad61436da52a3bdb114b154d9494b4fa6e0f31b094d195","observation_id":"ab7fb0fa-3ddb-4c5f-810c-1285f1af02f8","resolution":{"observed_at":"2026-08-14T14:18:41.771897Z","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:18:41.650416Z","title":"Using proofs by coinduction to find ”t raditional” proofs","venue":null,"work_id":"f73801e6-3fd0-4deb-a24a-a361597b4dcf","year":2005},"citing_paper":{"arxiv_id":"1908.03710","last_updated":"2019-08-10T08:18:24Z","snapshot_observed_at":"2026-08-14T14:02:13.740890Z","submitted_at":"2019-08-10T08:18:24Z","title":"Solving of Regular Equations Revisited (extended version)","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T14:18:40.608428Z"},"links":{"citing_paper":"/paper/1908.03710"},"observation_digest":"sha256:45eb1eb0bdcd95ff5f87ed5b3d1d72bf22adb427b71e7885aa6d44b900932dea","observation_id":"e098035b-97be-4bd9-b3f0-d407f3a6392b","resolution":{"observed_at":"2026-08-14T14:18:41.654311Z","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:18:41.598520Z","title":"From finite automata to regular expressions and back - A summary on descriptional complexity","venue":null,"work_id":"a7f3be7d-4c9f-460f-95be-20d51c8f853b","year":2015},"citing_paper":{"arxiv_id":"1908.03710","last_updated":"2019-08-10T08:18:24Z","snapshot_observed_at":"2026-08-14T14:02:13.740890Z","submitted_at":"2019-08-10T08:18:24Z","title":"Solving of Regular Equations Revisited (extended version)","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T14:18:40.612844Z"},"links":{"citing_paper":"/paper/1908.03710"},"observation_digest":"sha256:8fa0aa2b179d4c48b202091d15e3aaa4628547a0025488b2f6bd410d675e6295","observation_id":"919f6a47-3ddc-446e-accd-b14808d74ef4","resolution":{"observed_at":"2026-08-14T14:18:41.642489Z","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:18:41.462590Z","title":"State elimination heuristics for short regu lar expressions","venue":null,"work_id":"8b3af30d-76df-4175-aa46-6fbb8deb7ddc","year":2013},"citing_paper":{"arxiv_id":"1908.03710","last_updated":"2019-08-10T08:18:24Z","snapshot_observed_at":"2026-08-14T14:02:13.740890Z","submitted_at":"2019-08-10T08:18:24Z","title":"Solving of Regular Equations Revisited (extended version)","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T14:18:40.616997Z"},"links":{"citing_paper":"/paper/1908.03710"},"observation_digest":"sha256:2f13f2fd4499c7bda4034b1013f7cfdf6486aa1922b73d839adabd67f6dd2f6a","observation_id":"323acb55-38fc-4d7c-80bf-4064e912e503","resolution":{"observed_at":"2026-08-14T14:18:41.516337Z","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:18:41.450676Z","title":"Hopcroft, Rajeev Motwani, and Jeffrey D","venue":null,"work_id":"99988b73-77fe-45b2-981b-63bb95330103","year":2006},"citing_paper":{"arxiv_id":"1908.03710","last_updated":"2019-08-10T08:18:24Z","snapshot_observed_at":"2026-08-14T14:02:13.740890Z","submitted_at":"2019-08-10T08:18:24Z","title":"Solving of Regular Equations Revisited (extended version)","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T14:18:40.620718Z"},"links":{"citing_paper":"/paper/1908.03710"},"observation_digest":"sha256:c80d13a23251bb47c9692b28a745a04edf4d7196c4d1df15763b286b63b0c63d","observation_id":"ff6af60f-eb75-43d0-98a3-17402a2a8faf","resolution":{"observed_at":"2026-08-14T14:18:41.455468Z","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:18:41.438956Z","title":null,"venue":null,"work_id":"466c022c-e88f-401a-8d91-0479e4ceeb18","year":null},"citing_paper":{"arxiv_id":"1908.03710","last_updated":"2019-08-10T08:18:24Z","snapshot_observed_at":"2026-08-14T14:02:13.740890Z","submitted_at":"2019-08-10T08:18:24Z","title":"Solving of Regular Equations Revisited (extended version)","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T14:18:40.699739Z"},"links":{"citing_paper":"/paper/1908.03710"},"observation_digest":"sha256:a3520f3ce56adc02e7b310de4d69b4da9db2c7083c3b4a41edd640ffd497a9a9","observation_id":"fec9c79b-af5d-4170-9c06-87dc644f6a4d","resolution":{"observed_at":"2026-08-14T14:18:41.443370Z","resolver_source":"raw_fallback","status":"unresolved"},"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:18:41.221564Z","title":"State e limination ordering strategies: Some experimental results","venue":null,"work_id":"336f8d48-4672-4244-8c44-abf7f87364e9","year":2010},"citing_paper":{"arxiv_id":"1908.03710","last_updated":"2019-08-10T08:18:24Z","snapshot_observed_at":"2026-08-14T14:02:13.740890Z","submitted_at":"2019-08-10T08:18:24Z","title":"Solving of Regular Equations Revisited (extended version)","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T14:18:40.777378Z"},"links":{"citing_paper":"/paper/1908.03710"},"observation_digest":"sha256:5029bc80127b78f9d1f81b399266c721bc681e6edc9a048e9fa118a526a6fdd7","observation_id":"f8943e93-3cfc-4bb7-bf16-1ec8667a2a46","resolution":{"observed_at":"2026-08-14T14:18:41.359756Z","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:18:41.210716Z","title":"Converting deterministic finite aut omata to regular expres- sions","venue":null,"work_id":"4a491bae-98f2-475b-9821-958e97270a1a","year":2005},"citing_paper":{"arxiv_id":"1908.03710","last_updated":"2019-08-10T08:18:24Z","snapshot_observed_at":"2026-08-14T14:02:13.740890Z","submitted_at":"2019-08-10T08:18:24Z","title":"Solving of Regular Equations Revisited (extended version)","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T14:18:40.831463Z"},"links":{"citing_paper":"/paper/1908.03710"},"observation_digest":"sha256:3580df5f7605b6ed5b088d2833b00c812e1b89c4e23f6272ca829748dda5218f","observation_id":"f67dec25-a2d8-4308-b85d-790de56ba6fe","resolution":{"observed_at":"2026-08-14T14:18:41.214626Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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:18:41.054356Z","title":"Bonsangue, and Jan J","venue":null,"work_id":"2a301144-1db0-4737-9afd-418b09f82f03","year":2013},"citing_paper":{"arxiv_id":"1908.03710","last_updated":"2019-08-10T08:18:24Z","snapshot_observed_at":"2026-08-14T14:02:13.740890Z","submitted_at":"2019-08-10T08:18:24Z","title":"Solving of Regular Equations Revisited (extended version)","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T14:18:40.834826Z"},"links":{"citing_paper":"/paper/1908.03710"},"observation_digest":"sha256:1a2be7d7dcff3252810ecab5c35fd5896991db1cba40302c14e8c9d9cc9823e6","observation_id":"b2427110-31eb-4393-b637-59050043ccce","resolution":{"observed_at":"2026-08-14T14:18:41.123845Z","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:18:40.837556Z","title":"Elements of Automata Theory","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"1908.03710","last_updated":"2019-08-10T08:18:24Z","snapshot_observed_at":"2026-08-14T14:02:13.740890Z","submitted_at":"2019-08-10T08:18:24Z","title":"Solving of Regular Equations Revisited (extended version)","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T14:18:40.837556Z"},"links":{"citing_paper":"/paper/1908.03710"},"observation_digest":"sha256:1c8f894e3986619788fee1127a76ebcfdfa75e421df792891655432738f2b66a","observation_id":"0aa18fda-b805-49f0-9569-56467317bb6f","resolution":{"observed_at":"2026-08-14T14:18:40.837556Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1502.03573","last_updated":"2015-02-12T09:26:05Z","snapshot_observed_at":"2026-08-14T23:00:20.216137Z","submitted_at":"2015-02-12T09:26:05Z","title":"Automata and rational expressions","version":1},"cited_work":{"arxiv_id":"1502.03573","doi":null,"metadata_source":"pith","pith_arxiv_id":"1502.03573","snapshot_observed_at":"2026-08-14T14:18:40.884987Z","title":"Automata and rational expressions","venue":"cs.FL","work_id":"e20a9b2a-1f11-49c8-8004-bfa50a05da7a","year":2015},"citing_paper":{"arxiv_id":"1908.03710","last_updated":"2019-08-10T08:18:24Z","snapshot_observed_at":"2026-08-14T14:02:13.740890Z","submitted_at":"2019-08-10T08:18:24Z","title":"Solving of Regular Equations Revisited (extended version)","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T14:18:40.840415Z"},"links":{"cited_paper":"/paper/1502.03573","citing_paper":"/paper/1908.03710"},"observation_digest":"sha256:f83d225462c419468c95f0af10e6e1add3c53f20479dd4caadbeb1b168185822","observation_id":"bde6dfc8-d3ca-4d92-87be-956312dcef39","resolution":{"observed_at":"2026-08-14T14:18:40.972970Z","resolver_source":"local_arxiv","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:18:41.038362Z","title":"POSIX regular exp ression parsing with derivatives","venue":null,"work_id":"6cdce85f-060f-48df-ae93-af6c4eeca7c1","year":2014},"citing_paper":{"arxiv_id":"1908.03710","last_updated":"2019-08-10T08:18:24Z","snapshot_observed_at":"2026-08-14T14:02:13.740890Z","submitted_at":"2019-08-10T08:18:24Z","title":"Solving of Regular Equations Revisited (extended version)","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T14:18:40.845340Z"},"links":{"citing_paper":"/paper/1908.03710"},"observation_digest":"sha256:86ef5760b8c5eef2d1d1b2c0045b4a14d243ddb9e1283ebe239c1cdaa38990d5","observation_id":"921c073e-2d9e-4be6-8f26-0da515ad6806","resolution":{"observed_at":"2026-08-14T14:18:41.041306Z","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:18:41.028341Z","title":"Derivative-base d diagnosis of regular expression ambiguity","venue":null,"work_id":"e0fdafa8-b145-49f7-b0f0-5917e4db022f","year":2017},"citing_paper":{"arxiv_id":"1908.03710","last_updated":"2019-08-10T08:18:24Z","snapshot_observed_at":"2026-08-14T14:02:13.740890Z","submitted_at":"2019-08-10T08:18:24Z","title":"Solving of Regular Equations Revisited (extended version)","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T14:18:40.849036Z"},"links":{"citing_paper":"/paper/1908.03710"},"observation_digest":"sha256:e7a445fb4a96bec0711014c4118c890c3bcec65be0038cf1e61427028f0ec5f0","observation_id":"3f656e63-9db0-49f8-80d7-f4d81bd529b9","resolution":{"observed_at":"2026-08-14T14:18:41.031899Z","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:18:41.017395Z","title":"Derivatives and par tial derivatives for regular shuffle expressions","venue":null,"work_id":"b2b6c4df-1521-450c-b06d-596e5e12185f","year":2019},"citing_paper":{"arxiv_id":"1908.03710","last_updated":"2019-08-10T08:18:24Z","snapshot_observed_at":"2026-08-14T14:02:13.740890Z","submitted_at":"2019-08-10T08:18:24Z","title":"Solving of Regular Equations Revisited (extended version)","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T14:18:40.851961Z"},"links":{"citing_paper":"/paper/1908.03710"},"observation_digest":"sha256:85f842208069f9c10b37605f3ddff29dbdf304bc2a557dd0547563aef7e24ac0","observation_id":"3de5602f-83db-49b3-8efd-a1475283ba4c","resolution":{"observed_at":"2026-08-14T14:18:41.021380Z","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:18:41.006511Z","title":"Derivatives for enhanced regular expre ssions","venue":null,"work_id":"ccbd0740-0630-45e1-8a9c-89a491637cd9","year":2016},"citing_paper":{"arxiv_id":"1908.03710","last_updated":"2019-08-10T08:18:24Z","snapshot_observed_at":"2026-08-14T14:02:13.740890Z","submitted_at":"2019-08-10T08:18:24Z","title":"Solving of Regular Equations Revisited (extended version)","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T14:18:40.856128Z"},"links":{"citing_paper":"/paper/1908.03710"},"observation_digest":"sha256:31bd909e26bf8547661f848c6dc397fa359d8c03e0db66280d27889a895955a3","observation_id":"2e46aa6f-c52d-421d-a695-d19deebf6e16","resolution":{"observed_at":"2026-08-14T14:18:41.010744Z","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.03710","last_updated":"2019-08-10T08:18:24Z","latest_version":1,"primary_category":"cs.FL","snapshot_observed_at":"2026-08-14T14:02:13.740890Z","submitted_at":"2019-08-10T08:18:24Z","title":"Solving of Regular Equations Revisited (extended version)"},"reference_resolution":{"displayed":23,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":4,"verified_exact":1,"verified_fuzzy":17},"total_outbound_references":23},"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 23 of 23 outbound references and 0 inbound Pith citation observations for arXiv:1908.03710."}