{"as_of":"2026-08-08T23:05:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7b28ccfb28ea38144af674f69e6a7aa88eafe9e8ffb7ab8ef262fd9f7f6d2fa7","coverage":[{"denominator":28,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":28,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T10:19:41.044208Z","state":"measured"},{"denominator":28,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":28,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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/2506.05839/citation-record","integrity":"/paper/2506.05839/integrity","json":"/paper/2506.05839/citation-record.json","paper":"/paper/2506.05839"},"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-07T10:19:45.159536Z","title":"Albert, M","venue":null,"work_id":"21acfa63-6b70-48ab-97b6-24513262e65f","year":2002},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:38.633781Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:398bf2c9fe2309b305cbfc43cc34890e8eb6c272f95d33bf34b7ada5b133c923","observation_id":"2fd1f3a5-19b2-4fd2-a770-cd0a8d99f927","resolution":{"observed_at":"2026-08-07T10:19:45.237506Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.jsc.2004.01.001","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:19:42.805469Z","title":"Albert, M","venue":null,"work_id":"8cdc45e5-e309-4b25-9a10-17fdc91feb87","year":2005},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:38.691248Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:6b734c01fd887818849997954a344cda1ee9aad7ffd61a6bbbd1923bb80db856","observation_id":"4f4fc259-5ac6-4d2c-903b-9adc76198c5f","resolution":{"observed_at":"2026-08-07T10:19:42.927684Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bfb0013825","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:19:42.591625Z","title":"Antoy (1992): Definitional Trees","venue":null,"work_id":"8efe9ecd-69f9-4050-a775-609f1dc32cc3","year":1992},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:38.782015Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:1d96411d011656e3439a30d391126419aca09f1814847f79f0a8a8ca7d6aadb6","observation_id":"01e6c3d5-f817-4cc3-aaac-82d6866bcd96","resolution":{"observed_at":"2026-08-07T10:19:42.700894Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bfb0027000","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:19:42.453068Z","title":"Antoy (1997): Optimal Non-deterministic Functional Logic Computations","venue":null,"work_id":"07b35eaf-e1ef-4589-935e-791f577f8721","year":1997},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:38.868983Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:ddbe7fc93c6d013c47efca4898cee2b920e13bb237e9fdc2ae561914c3249636","observation_id":"d73c0958-5dac-4f54-999b-4a67c58c6046","resolution":{"observed_at":"2026-08-07T10:19:42.513909Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7476.34748","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:19:44.119710Z","title":"Antoy, R","venue":null,"work_id":"b5c10793-07fa-4525-b582-72c74a2d9fae","year":2000},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:39.003259Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:23f0e3013ebd1b1b4ff1746f5e30dce1c97ba656c05444d4d93402ae0b7eef18","observation_id":"cf6868c4-4d5e-4f53-b45b-6f151327d940","resolution":{"observed_at":"2026-08-07T10:19:44.221211Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-46714-2_18","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Antoy, M","venue":"Lecture notes in computer science","work_id":"e7ae386c-21fb-416b-bb85-ce118f26d3fc","year":2019},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:39.116057Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:08d76fcd720b6a7669550df283880c984239178d61b8c1b3759306186d651245","observation_id":"8c616908-6f3f-463c-be34-4851025278fa","resolution":{"observed_at":"2026-08-07T10:19:42.384189Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-63139-4_6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Antoy & A","venue":"Lecture notes in computer science","work_id":"0a4dba1c-79cb-43f2-b8aa-e557fb8c136f","year":2016},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:39.251268Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:4676a6912426a199869dccf181be21f32ea1f604f55eb3384072c3f11677ecea","observation_id":"542ff2b6-e1dd-4b27-9505-41c40e49976a","resolution":{"observed_at":"2026-08-07T10:19:42.234292Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:19:45.016546Z","title":null,"venue":null,"work_id":"14351ccc-c687-45aa-8bfb-9c5db3e1e47d","year":2006},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:39.399243Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:6b116ae98b3734672d6efd1e4ad498bb0c89a657087cf7d2578d43e4a9bf374d","observation_id":"21af8e08-7b12-48d7-ba80-42ff8a60ecb0","resolution":{"observed_at":"2026-08-07T10:19:45.073983Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3607845","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:19:42.029577Z","title":"Augustsson, J","venue":null,"work_id":"cae140ba-b1ce-4016-a4de-45caff67c083","year":2023},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:39.498319Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:50a0b2f2ada4ffc16b192f03c7e16b127ff87c060b60d4c1b8fe2c3faca0afc3","observation_id":"a607690b-2195-4d7d-94e5-1fa98a99c7ad","resolution":{"observed_at":"2026-08-07T10:19:42.100984Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9394.34794","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:19:43.872720Z","title":null,"venue":null,"work_id":"842b03ae-25eb-4a3a-8c2b-35c84b03f7c2","year":2021},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:39.626283Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:8cfcad6ecc200defaa91ea594b4727b87f57448f55453a923db2f0b02579dd1b","observation_id":"716051a1-f0ad-47db-ae67-9aee41ca824b","resolution":{"observed_at":"2026-08-07T10:19:43.939110Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:19:44.895639Z","title":"Braßel (2010): Implementing Functional Logic Programs by Translation int o Purely Functional Programs","venue":null,"work_id":"c6d08fa0-1ca4-4069-806b-61998a1d8de6","year":2010},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:39.815947Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:b823591ba1c7ece2d1c45e34c6a7b543c183eedfc74763f09f552b8c930645e5","observation_id":"0e1d9220-b998-4a47-8bd0-08197259b2bb","resolution":{"observed_at":"2026-08-07T10:19:44.972798Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-22531-4_1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Braßel, M","venue":"Lecture notes in computer science","work_id":"71859e73-9d93-45da-9e36-a3fb806c1e08","year":2011},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:39.928135Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:e12565167ddfb1c42492328c0d921223306c4bdf9677da6583bf6c35b8133f92","observation_id":"dfd8a91a-64f4-4bfb-bfb8-21c6133a1d5e","resolution":{"observed_at":"2026-08-07T10:19:41.961988Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:19:44.673658Z","title":"Echahed & J","venue":null,"work_id":"bef9be1b-9d01-472c-b555-1df98d16ea9d","year":1997},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:40.046422Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:1395426e6596cc8a7b2cd4a10c5e4140f1ea43d002865bd4ae75f49a6c829900","observation_id":"c8d90ff2-5a68-4066-962f-5f17fdb8eaeb","resolution":{"observed_at":"2026-08-07T10:19:44.806356Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:19:44.486473Z","title":"Hanus (ed.) (March 04, 2017): PAKCS 1.14.3: The Portland Aachen Kiel Curry System","venue":null,"work_id":"20d4d75a-1c4b-4941-8f97-58cab55216c6","year":2017},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:40.158565Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:d3e868947063f3fa145c6e0afae7cd68a1530a94a3ca0a449cd5bc4311de0a74","observation_id":"0277daaf-dfed-4f79-9bda-3cb2a0c3be87","resolution":{"observed_at":"2026-08-07T10:19:44.551562Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:19:40.326528Z","title":"Flanagan, A","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:40.326528Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:146b6271de8a4c562ffa41cf58170b488f8b4bd22b33dad13f5fa268441c04cf","observation_id":"38dc590c-ab4f-4e27-a623-f0d385207bbc","resolution":{"observed_at":"2026-08-07T10:19:40.326528Z","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/978-3-642-37651-1_6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Hanus (2013): Functional Logic Programming: From Theory to Curry , pp","venue":"Lecture notes in computer science","work_id":"0a3d61e6-9ae7-4bb0-97a8-83ea0704122d","year":2013},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:40.365848Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:9d3bcabfb3ba55f77917d7078fc053ae42ae03c757f6b7790cabd75cf453efe0","observation_id":"bedb0241-d811-4e13-a942-d0ef07f10f5e","resolution":{"observed_at":"2026-08-07T10:19:41.853644Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-50667-5_56","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Hußmann (1988): Nondeterministic Algebraic Specifications and Nonconfluen t T erm Rewriting","venue":"Lecture notes in computer science","work_id":"b896e9d1-df72-4e5e-9aab-c38a117202e2","year":1988},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:40.432897Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:a5482925164c74cfa0455c1185db9cea910b4e4d6e4d761fdcbd83a44750e9d3","observation_id":"43b60504-10a4-4926-aebe-89739c3d6687","resolution":{"observed_at":"2026-08-07T10:19:41.784407Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-15975-4_37","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Johnsson (1985): Lambda Lifting: Treansforming Programs to Recursive Equat ions","venue":"Lecture notes in computer science","work_id":"d7b207c3-a876-4cff-a405-a0e4f785de42","year":1985},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:40.498634Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:65d9a38869b7c3cb90996573e751c5112f6e687b43fe8d7ca905b0c082e9f889","observation_id":"cdbeb3fa-883b-46fd-ae1a-33999f1a5916","resolution":{"observed_at":"2026-08-07T10:19:41.667554Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:19:44.315232Z","title":null,"venue":null,"work_id":"0158d17e-893c-4a44-9ba7-b38e06e3491e","year":1987},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:40.562523Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:a4dd3eac8116ca135b29d87aabdbb97e9da06692a2707b99d34645043e18d2d6","observation_id":"e2f5fd59-783a-4216-9143-58fc05ed5a14","resolution":{"observed_at":"2026-08-07T10:19:44.401501Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9370.99385","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:19:43.607901Z","title":null,"venue":null,"work_id":"a8c06582-0a95-4ece-ad2e-e6c8bf00c927","year":1989},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:40.635768Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:58dee1476e462fdae7a15177439079901d566a16f3f41e39846925f3ca52a29b","observation_id":"7dc300a7-9599-462a-a57a-a6f5f7208442","resolution":{"observed_at":"2026-08-07T10:19:43.661689Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:19:40.676286Z","title":"Launchbury (1993): A Natural Semantics for Lazy Evaluation","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:40.676286Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:4bf4a6e293e522128f2a85aa0f4b61780ca69e04f7a6e81d7649093c7e5d491c","observation_id":"07b2c86c-6a97-4571-9ae7-04c20f4bcacf","resolution":{"observed_at":"2026-08-07T10:19:40.676286Z","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/978-3-031-24841-2_1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Libby (2023): RICE: An Optimizing Curry Compiler","venue":"Lecture notes in computer science","work_id":"43ea069e-05d1-486c-ab95-47f32f83a8d1","year":2023},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:40.724614Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:0e5be1fc3cccdd84d798944911721c3b24e1344e23cae0dcd6fbcbe883e40933","observation_id":"519e975a-b514-4313-afaf-0c462cb6fbd9","resolution":{"observed_at":"2026-08-07T10:19:41.491258Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.15760/etd.7964","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:19:41.376206Z","title":"Libby (June 21, 2022): Making Curry with Rice: An Optimizing Curry Compiler","venue":null,"work_id":"1ad4243d-156d-434f-a167-8e98803465e6","year":2022},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:40.799101Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:196ef38a3945377d98d777386c6f731669123d8f7732f7daf194e2e16316325d","observation_id":"22835277-b43d-48d2-92dd-5351087f645a","resolution":{"observed_at":"2026-08-07T10:19:41.411594Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-662-01069-3_58","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":null,"venue":"Informatik aktuell","work_id":"806d0b73-5d26-44f2-843a-95a78ba21a4a","year":1999},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:40.850990Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:52a330e53046852909559070a4e211851f28a9d52f65715430f5dcaaa9af1ae1","observation_id":"cf779d44-5aba-4430-86a8-e003c478bf86","resolution":{"observed_at":"2026-08-07T10:19:41.326908Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6850.10168","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:19:43.319908Z","title":"Marlow & S","venue":null,"work_id":"31014670-2e96-4f65-b25e-ffb9de61b169","year":2004},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:40.919975Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:87433c3c538c902c6a74a87005649c8d748319116a0f2419a46f2d562b3fb9ae","observation_id":"77504579-e23f-4bc4-822f-97e26726328e","resolution":{"observed_at":"2026-08-07T10:19:43.395509Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T10:19:40.965838Z","title":"Mayr & T","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:40.965838Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:b20c8161a163629c90b22ddeda554a5f0434cc847f15baddb1c647930909fdb2","observation_id":"1fdc8a7c-8eec-4ac4-a7e3-3f1eec6f7fde","resolution":{"observed_at":"2026-08-07T10:19:40.965838Z","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":"3135.26431","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:19:43.109240Z","title":"Mehner, D","venue":null,"work_id":"bcf0677e-2df6-4c28-aebb-a9601678de6b","year":2014},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:41.032677Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:93e414f637a409a579a0aaa98eba0840f8b778747712c466f08bb76358bbf073","observation_id":"01228aad-222d-4db4-9325-44df54f19be2","resolution":{"observed_at":"2026-08-07T10:19:43.160297Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-61055-3_","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:19:41.196648Z","title":null,"venue":null,"work_id":"d27658d2-0c62-4407-ade7-78f43794f059","year":1996},"citing_paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T10:19:41.044208Z"},"links":{"citing_paper":"/paper/2506.05839"},"observation_digest":"sha256:88ecd77cdd4a76cbeabfa5ecda99730f46b1edb2035ba1f790369c210dcf3f43","observation_id":"95fc299f-d089-4d7d-9b4c-c58b75ac03ca","resolution":{"observed_at":"2026-08-07T10:19:41.223645Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.05839","last_updated":"2025-06-06T07:58:50Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-08T06:52:32.004626Z","submitted_at":"2025-06-06T07:58:50Z","title":"An Execution Model for RICE"},"reference_resolution":{"displayed":28,"state_counts":{"malformed_identifier":0,"metadata_mismatch":4,"parse_uncertain":0,"unresolved":5,"verified_exact":15,"verified_fuzzy":4},"total_outbound_references":28},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 28 of 28 outbound references and 0 inbound Pith citation observations for arXiv:2506.05839."}