{"as_of":"2026-08-07T11:38:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c0dba86edfda0ab25b2d5f1e0c5d2363a0f79902efb360860e3c57edaace1e08","coverage":[{"denominator":16,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":16,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-23T07:20:56.045365Z","state":"measured"},{"denominator":16,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":16,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+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/2412.14938/citation-record","integrity":"/paper/2412.14938/integrity","json":"/paper/2412.14938/citation-record.json","paper":"/paper/2412.14938"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1995.504346","doi":"10.1109/pmmpc.1995.504346","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"[CDK14] Nathan Chong, Alastair F","venue":null,"work_id":"511f463d-8dde-4c06-beba-de9bad5bf0ff","year":1995},"citing_paper":{"arxiv_id":"2412.14938","last_updated":"2026-04-15T17:24:52Z","snapshot_observed_at":"2026-08-05T12:53:48.757307Z","submitted_at":"2024-12-19T15:12:59Z","title":"Expressivity of AuDaLa: Turing Completeness and Possible Extensions","version":5},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-23T07:20:56.045365Z"},"links":{"citing_paper":"/paper/2412.14938"},"observation_digest":"sha256:c6f339dfa55c1fe1ef7b450a7acacb898fccfa0d95d84482b13034b0dd2df2b2","observation_id":"61085ad5-6cd9-4fdd-bf52-e18a8f368b2a","resolution":{"observed_at":"2026-05-23T07:22:41.776506Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8855.25358","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"[Cop24] B","venue":null,"work_id":"1570ae43-9997-4fa7-ad3f-0a4ec7617609","year":2024},"citing_paper":{"arxiv_id":"2412.14938","last_updated":"2026-04-15T17:24:52Z","snapshot_observed_at":"2026-08-05T12:53:48.757307Z","submitted_at":"2024-12-19T15:12:59Z","title":"Expressivity of AuDaLa: Turing Completeness and Possible Extensions","version":5},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-23T07:20:56.045365Z"},"links":{"citing_paper":"/paper/2412.14938"},"observation_digest":"sha256:bffc0ab1f4beb3f9f8b9485de5991b42cb9f92a0a323b89d90a59495400d5c3d","observation_id":"6368c136-b772-405a-8488-960cb55ca63f","resolution":{"observed_at":"2026-05-23T07:22:43.191579Z","resolver_source":"arxiv_id","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"de Boer et al","venue":null,"work_id":"0a1be47c-4b33-4cdf-9844-bcf892483c8a","year":2012},"citing_paper":{"arxiv_id":"2412.14938","last_updated":"2026-04-15T17:24:52Z","snapshot_observed_at":"2026-08-05T12:53:48.757307Z","submitted_at":"2024-12-19T15:12:59Z","title":"Expressivity of AuDaLa: Turing Completeness and Possible Extensions","version":5},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-23T07:20:56.045365Z"},"links":{"citing_paper":"/paper/2412.14938"},"observation_digest":"sha256:b3e850b219ce871867e2fe020f8825f7b3def34dfce65699a5c645bd374e4058","observation_id":"d87e3258-e256-4e53-9dca-c58158892c2d","resolution":{"observed_at":"2026-05-23T08:27:45.828796Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-32940-1_39","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"[DD02] J´ er´ emie Detrey and Oliver Diessel.A Constructive Proof of the Turing Completeness of Circal","venue":"Lecture notes in computer science","work_id":"299a3550-bf63-4dfc-ae12-c0cd908f9c79","year":null},"citing_paper":{"arxiv_id":"2412.14938","last_updated":"2026-04-15T17:24:52Z","snapshot_observed_at":"2026-08-05T12:53:48.757307Z","submitted_at":"2024-12-19T15:12:59Z","title":"Expressivity of AuDaLa: Turing Completeness and Possible Extensions","version":5},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-23T07:20:56.045365Z"},"links":{"citing_paper":"/paper/2412.14938"},"observation_digest":"sha256:a69ad8f0b88f58a51393b4b488106c685526522c7d01e9e28a3ccdd97d73b152","observation_id":"208bb1b4-1ee9-4f27-8a69-9922f3ff326f","resolution":{"observed_at":"2026-05-23T07:22:41.782631Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1002/(sici)1096-908x(199803/","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"[FN24] Tom T","venue":null,"work_id":"11552d6e-cb4c-4007-a69e-cb119beb4aae","year":2024},"citing_paper":{"arxiv_id":"2412.14938","last_updated":"2026-04-15T17:24:52Z","snapshot_observed_at":"2026-08-05T12:53:48.757307Z","submitted_at":"2024-12-19T15:12:59Z","title":"Expressivity of AuDaLa: Turing Completeness and Possible Extensions","version":5},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-23T07:20:56.045365Z"},"links":{"citing_paper":"/paper/2412.14938"},"observation_digest":"sha256:097a3f0d2a51f82c75748aaacb5dce00c385386507a17743253235152f3c8d4e","observation_id":"3c3c6cc2-7487-4493-9a98-9b0f041c4d4a","resolution":{"observed_at":"2026-05-23T07:22:41.787039Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"[FNG23] Tom T","venue":null,"work_id":"5d65ca49-1a79-4b74-b1af-f2afcbf1524b","year":2023},"citing_paper":{"arxiv_id":"2412.14938","last_updated":"2026-04-15T17:24:52Z","snapshot_observed_at":"2026-08-05T12:53:48.757307Z","submitted_at":"2024-12-19T15:12:59Z","title":"Expressivity of AuDaLa: Turing Completeness and Possible Extensions","version":5},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-23T07:20:56.045365Z"},"links":{"citing_paper":"/paper/2412.14938"},"observation_digest":"sha256:c12b89a6ee2a2dd6d7058abe4e160ab882eef0f21497e3eb9bc8620d35135a8f","observation_id":"ce00fa87-f1ec-4d2d-a4d8-cf6fafe02810","resolution":{"observed_at":"2026-05-23T08:27:45.831597Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2506.19457","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"[G+08] Michael Garland et al","venue":null,"work_id":"e7257520-8d86-4fa9-a37d-ab50d8ec53db","year":null},"citing_paper":{"arxiv_id":"2412.14938","last_updated":"2026-04-15T17:24:52Z","snapshot_observed_at":"2026-08-05T12:53:48.757307Z","submitted_at":"2024-12-19T15:12:59Z","title":"Expressivity of AuDaLa: Turing Completeness and Possible Extensions","version":5},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-23T07:20:56.045365Z"},"links":{"citing_paper":"/paper/2412.14938"},"observation_digest":"sha256:53d57d620b3341d1858423a071c8ffbde05cd501adb8904968214e59dc374da3","observation_id":"3859c65d-ec05-4e30-b037-58e0ed37a42f","resolution":{"observed_at":"2026-05-23T07:22:43.185417Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/mm.2008.57","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"[Gib15] Jeremy Gibbons","venue":"IEEE Micro","work_id":"cdc0a080-acac-408b-9db1-5148f7da08dd","year":2008},"citing_paper":{"arxiv_id":"2412.14938","last_updated":"2026-04-15T17:24:52Z","snapshot_observed_at":"2026-08-05T12:53:48.757307Z","submitted_at":"2024-12-19T15:12:59Z","title":"Expressivity of AuDaLa: Turing Completeness and Possible Extensions","version":5},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-23T07:20:56.045365Z"},"links":{"citing_paper":"/paper/2412.14938"},"observation_digest":"sha256:a6c386d74c126aad0bd372bc18b8bb79053f3917236d796f5a82a7d0da02a514","observation_id":"89235f09-7b07-4474-83f3-ae328becaa36","resolution":{"observed_at":"2026-05-23T07:22:41.800874Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-15940-9_1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"[HMU01] John E","venue":"Lecture notes in computer science","work_id":"0a5a7e1d-315f-4ef5-8772-3291cd299f65","year":null},"citing_paper":{"arxiv_id":"2412.14938","last_updated":"2026-04-15T17:24:52Z","snapshot_observed_at":"2026-08-05T12:53:48.757307Z","submitted_at":"2024-12-19T15:12:59Z","title":"Expressivity of AuDaLa: Turing Completeness and Possible Extensions","version":5},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-23T07:20:56.045365Z"},"links":{"citing_paper":"/paper/2412.14938"},"observation_digest":"sha256:b025d16294461477abbb65f8fdf4dd2678530a0bab87586af92308a53045dd39","observation_id":"fb204ef1-1e46-4ba4-8a5a-789ef26c724b","resolution":{"observed_at":"2026-05-23T07:22:41.791882Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/sfcs.1976.20","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"[Lee23] Gijs Leemrijse","venue":null,"work_id":"8a8a7544-1ee6-43ac-bc5a-71758faddf65","year":1976},"citing_paper":{"arxiv_id":"2412.14938","last_updated":"2026-04-15T17:24:52Z","snapshot_observed_at":"2026-08-05T12:53:48.757307Z","submitted_at":"2024-12-19T15:12:59Z","title":"Expressivity of AuDaLa: Turing Completeness and Possible Extensions","version":5},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-23T07:20:56.045365Z"},"links":{"citing_paper":"/paper/2412.14938"},"observation_digest":"sha256:790a188f3075632316f3ace01fe5b396ee8c7e973b6ef6f3265bf980e4fcc897","observation_id":"44618759-fde5-4006-88b2-08826d639f05","resolution":{"observed_at":"2026-05-23T07:22:41.796222Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-78750-8_5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"[QYZG17] Peng Qu, Jin Yan, You-Hui Zhang, and Guang R","venue":"Lecture notes in computer science","work_id":"022b2c8d-2917-499e-8a09-f8dd9be90be5","year":null},"citing_paper":{"arxiv_id":"2412.14938","last_updated":"2026-04-15T17:24:52Z","snapshot_observed_at":"2026-08-05T12:53:48.757307Z","submitted_at":"2024-12-19T15:12:59Z","title":"Expressivity of AuDaLa: Turing Completeness and Possible Extensions","version":5},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-23T07:20:56.045365Z"},"links":{"citing_paper":"/paper/2412.14938"},"observation_digest":"sha256:84a15246b084cb2ca66ecfb89e7ccc99bcbf312f4e9f9d180d1dbce35ecc6d10","observation_id":"ac21327f-4632-4616-affa-f3d6e800b3e8","resolution":{"observed_at":"2026-05-23T07:22:41.832091Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s11390-017-1721-3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"30 T.T.P","venue":"Journal of Computer Science and Technology","work_id":"9e976ebb-3f66-4ba8-9c10-d6ddf71e559b","year":null},"citing_paper":{"arxiv_id":"2412.14938","last_updated":"2026-04-15T17:24:52Z","snapshot_observed_at":"2026-08-05T12:53:48.757307Z","submitted_at":"2024-12-19T15:12:59Z","title":"Expressivity of AuDaLa: Turing Completeness and Possible Extensions","version":5},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-23T07:20:56.045365Z"},"links":{"citing_paper":"/paper/2412.14938"},"observation_digest":"sha256:481706d7d7f9d652e615b4ff8828ec6d6f70487eafeaab82182b903af74907df","observation_id":"bca3a085-b72a-4772-8e01-b8cb741222d2","resolution":{"observed_at":"2026-05-23T07:22:41.827639Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3150211","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"[RL93] F","venue":"Communications of the ACM","work_id":"3e1030af-fe9f-4016-a890-aec88e373664","year":2017},"citing_paper":{"arxiv_id":"2412.14938","last_updated":"2026-04-15T17:24:52Z","snapshot_observed_at":"2026-08-05T12:53:48.757307Z","submitted_at":"2024-12-19T15:12:59Z","title":"Expressivity of AuDaLa: Turing Completeness and Possible Extensions","version":5},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-23T07:20:56.045365Z"},"links":{"citing_paper":"/paper/2412.14938"},"observation_digest":"sha256:9d470dd6c6173b19b7f258c4d7a3f93d01c4f4c58b733b50c9c3436206f6ce06","observation_id":"4ea7e0e8-166d-481a-8f31-5454830c8d0f","resolution":{"observed_at":"2026-05-23T07:22:41.811764Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1993.397128","doi":"10.1109/asap.1993.397128","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"[UA10] David Ungar and Sam S","venue":null,"work_id":"85a153f5-d8a0-4577-b5e4-9513fa81a065","year":1993},"citing_paper":{"arxiv_id":"2412.14938","last_updated":"2026-04-15T17:24:52Z","snapshot_observed_at":"2026-08-05T12:53:48.757307Z","submitted_at":"2024-12-19T15:12:59Z","title":"Expressivity of AuDaLa: Turing Completeness and Possible Extensions","version":5},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-23T07:20:56.045365Z"},"links":{"citing_paper":"/paper/2412.14938"},"observation_digest":"sha256:20e4aba4b4e66d02dd7a8328f0a906e533570d020fd789f08eb201d86f470061","observation_id":"42b5512d-33b4-4500-afe4-8c0bd3b1a3a2","resolution":{"observed_at":"2026-05-23T07:22:41.806936Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9542.186954","doi":"10.1145/1869542.1869546","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"[Wie84] Juraj Wiedermann","venue":null,"work_id":"7658d8fb-9c74-46c5-865c-81d3d9f5144b","year":null},"citing_paper":{"arxiv_id":"2412.14938","last_updated":"2026-04-15T17:24:52Z","snapshot_observed_at":"2026-08-05T12:53:48.757307Z","submitted_at":"2024-12-19T15:12:59Z","title":"Expressivity of AuDaLa: Turing Completeness and Possible Extensions","version":5},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-23T07:20:56.045365Z"},"links":{"citing_paper":"/paper/2412.14938"},"observation_digest":"sha256:3e8aa6c6374dc217fd44f0426863993c86b831c9f17e28baeb6390de49eb790f","observation_id":"e8dccc48-0b4b-4eb8-950d-4f93a541f59f","resolution":{"observed_at":"2026-05-23T07:22:41.823378Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-58631-1_15","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"This work is licensed under the Creative Commons Attribution License","venue":"Lecture notes in computer science","work_id":"3a861ad1-390e-44fb-b5a1-5fabaea8f1ff","year":null},"citing_paper":{"arxiv_id":"2412.14938","last_updated":"2026-04-15T17:24:52Z","snapshot_observed_at":"2026-08-05T12:53:48.757307Z","submitted_at":"2024-12-19T15:12:59Z","title":"Expressivity of AuDaLa: Turing Completeness and Possible Extensions","version":5},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-23T07:20:56.045365Z"},"links":{"citing_paper":"/paper/2412.14938"},"observation_digest":"sha256:902458dc6cfedf62f10740fe961f1ae4b0ee892e9244d2f9ec8b3aac14acb01e","observation_id":"c11bd75b-672f-46fa-8c6c-e6ac5e774e2e","resolution":{"observed_at":"2026-05-23T07:22:41.816489Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2412.14938","last_updated":"2026-04-15T17:24:52Z","latest_version":5,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-05T12:53:48.757307Z","submitted_at":"2024-12-19T15:12:59Z","title":"Expressivity of AuDaLa: Turing Completeness and Possible Extensions"},"reference_resolution":{"displayed":16,"state_counts":{"malformed_identifier":3,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":12,"verified_fuzzy":1},"total_outbound_references":16},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 16 of 16 outbound references and 0 inbound Pith citation observations for arXiv:2412.14938."}