{"as_of":"2026-08-08T04:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:62282ffc690c080a5f941e73ec335b02379ae498b9cc57c5f76ebc4180c473ff","coverage":[{"denominator":37,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":37,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T13:23:58.133680Z","state":"measured"},{"denominator":38,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":38,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T00:26:04.751159Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-07T06:16:28.064256Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"cited_work":{"arxiv_id":"2505.22155","doi":"10.48550/arxiv.2505.22155","metadata_source":"pith","pith_arxiv_id":"2505.22155","snapshot_observed_at":"2026-08-07T06:16:28.064256Z","title":"An instance of FreeCHR with refined operational semantics","venue":"cs.PL","work_id":"dd90d517-fd9d-4d42-8dc2-79ffa8011ce5","year":2025},"citing_paper":{"arxiv_id":"2506.14485","last_updated":"2025-08-25T13:19:57Z","snapshot_observed_at":"2026-08-07T00:15:22.524845Z","submitted_at":"2025-06-17T13:07:30Z","title":"Optimized Execution of FreeCHR","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T00:26:04.751159Z"},"links":{"cited_paper":"/paper/2505.22155","citing_paper":"/paper/2506.14485"},"observation_digest":"sha256:d6716402846b13af3ba741ea9db32255cff7c35f26c0cbeac79e032c8958d6e7","observation_id":"f003dde4-5ee3-477f-87f5-ece5be7fff81","resolution":{"observed_at":"2026-08-07T00:26:05.310975Z","resolver_source":"local_arxiv","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"}}],"links":{"evidence":"/evidence","html":"/paper/2505.22155/citation-record","integrity":"/paper/2505.22155/integrity","json":"/paper/2505.22155/citation-record.json","paper":"/paper/2505.22155"},"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-07T13:24:05.545105Z","title":"JACK: A Java Constraint Kit","venue":null,"work_id":"e8535e51-54ac-490f-9ff5-540a0dce0f1c","year":2002},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:54.758187Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:f6fbd8f3568fe6c42b60455cd13d851ac53ccc3493e0e4695fb4a58443b068d5","observation_id":"76386436-36df-4b58-b26d-3ac8dde881e5","resolution":{"observed_at":"2026-08-07T13:24:05.626148Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:05.392359Z","title":"University course timetabling using constraint handling rules","venue":null,"work_id":"0a33fe9a-7001-4be8-bc91-469417097e7c","year":2000},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:54.807468Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:47986ab7fc6bc4d24dc235b9f8a069a0cd539c540f758b4709ec091352a507b1","observation_id":"0b2552bb-0d0c-42a6-a9a1-8e575765b8ff","resolution":{"observed_at":"2026-08-07T13:24:05.480779Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:05.200518Z","title":"CHR++: An efficient CHR system in C++ with don’t know non-determinism","venue":null,"work_id":"53d31dba-7d8a-4630-b4cf-a7218690448c","year":2024},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:54.880998Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:6fd97b52eb9ad7cb4e70596c4be072d549af022e71f6084fb68f82df669e461a","observation_id":"236b9b7d-de06-4775-976b-25f5cc7df065","resolution":{"observed_at":"2026-08-07T13:24:05.301330Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:04.995318Z","title":"Byrd.Relational Programming in miniKanren: Techniques, Applications, and Implementations","venue":null,"work_id":"1e2dd389-0d1e-4df5-8699-9d5dcce495ec","year":2009},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:55.004382Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:d31d78f8a8ce0c0a27cc9fd5efdca93d75f06d0625b2b1cc9c0683f19c6c7b2a","observation_id":"0b442299-a8b1-444f-838a-c496022c723b","resolution":{"observed_at":"2026-08-07T13:24:05.076131Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:04.807100Z","title":"Finally Tagless, Partially Evaluated","venue":null,"work_id":"c124835e-898e-4458-b76e-90c7ebd6df55","year":2007},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:55.098767Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:e3b1c9f74373cbf8fb1d33049a48906bd83a46c8f7cf68f00774d7ae687affd7","observation_id":"b062a986-cfac-4469-adff-232b601d3d32","resolution":{"observed_at":"2026-08-07T13:24:04.904066Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:04.624284Z","title":null,"venue":null,"work_id":"6b10ab70-f9ad-4503-a9a4-0d9a1a6921da","year":2008},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:55.169379Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:1c12e9300de8eacdd6652bc435fa822dca8d055f247c94302921e078f45f02a3","observation_id":"f3b9ea7f-75cb-443c-90ba-ec642b64c169","resolution":{"observed_at":"2026-08-07T13:24:04.719510Z","resolver_source":"raw_fallback","status":"unresolved"},"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-08-07T13:24:04.185722Z","title":null,"venue":null,"work_id":"31db8fde-1b3e-4b1d-85e5-a546b8450e00","year":2015},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:55.251179Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:1c6d6449411ba00a8809d5f8a6fd2e109e8100df15d03e0987012b2b83762828","observation_id":"ca244d4c-565d-4b7a-ad93-f359d653ff75","resolution":{"observed_at":"2026-08-07T13:24:04.496990Z","resolver_source":"raw_fallback","status":"unresolved"},"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-08-07T13:24:03.921456Z","title":null,"venue":null,"work_id":"1f5035af-f973-49da-9fe0-926f21b69445","year":2006},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:55.390313Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:61cb37c5596ec7b212413cb2809bed932d8ee51cbe4b2a14a9f067326c66d4e2","observation_id":"1c80662c-bd5b-4e52-bf38-87a1663fd357","resolution":{"observed_at":"2026-08-07T13:24:03.977066Z","resolver_source":"raw_fallback","status":"unresolved"},"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-08-07T13:24:03.793236Z","title":"PhD thesis, University of Melbourne, Victoria, Australia, 2005","venue":null,"work_id":"ab5a9d9d-1f6f-4460-adcf-30028539a3be","year":2005},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:55.483311Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:a229bd4e6d488f82b71282e3cf576657ec60b8cad87ffd5d79cd1d21d169ab41","observation_id":"f6a1e544-38d4-4afb-860d-aaddf67eae51","resolution":{"observed_at":"2026-08-07T13:24:03.862759Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:03.655193Z","title":"Duck, Peter J","venue":null,"work_id":"0045fe51-a032-4f1a-90e9-ebb60a62b1d0","year":2004},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:55.600551Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:680d4be75d53d1e40e38dbd4f07f716ede1e7b57fbfae9aac4b1fda9532d73a1","observation_id":"1366c401-b9ed-47eb-9ff9-c62a93dd8d45","resolution":{"observed_at":"2026-08-07T13:24:03.730717Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:03.433605Z","title":"Complete Propagation Rules for Lexicographic Order Con- straints over Arbitrary Domains","venue":null,"work_id":"5a126ed6-7d59-4256-ac08-34482dd03656","year":2006},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:55.699466Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:c39a93dd40b278a9189c509ea2df04dfaeb5c33017707d5505950571e1ed62a1","observation_id":"e1cd5d33-f716-4946-b9c2-b02e005a114d","resolution":{"observed_at":"2026-08-07T13:24:03.548081Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:03.195848Z","title":"Cambridge University Press, Cam- bridge, U.K","venue":null,"work_id":"04dc8723-0411-4f8b-8871-4f99c1698cbd","year":2009},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:55.770415Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:b2d090b2574c36d7bd0ddaab8c36b174f90ed0b2d0c5daa987b3033191a607a9","observation_id":"ce2835d0-ef52-45f1-b7ed-5b5b14804ebe","resolution":{"observed_at":"2026-08-07T13:24:03.320425Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:03.003509Z","title":null,"venue":null,"work_id":"dca05036-b80f-413f-b5ba-f1646fdc3e3f","year":2015},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:55.882842Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:c20998b6c9f54eaf06894325b177ce5e3ec1e9fa88111f54e09fa74c38bb10e9","observation_id":"e746e663-848f-4902-a0fc-9e0f9e4a97b2","resolution":{"observed_at":"2026-08-07T13:24:03.118549Z","resolver_source":"raw_fallback","status":"unresolved"},"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-08-07T13:24:02.816026Z","title":"BoD, ISBN 978-3-7693- 7633-3, 2025","venue":null,"work_id":"a963b76a-3647-4407-9dde-435b0000b80f","year":2025},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:55.958990Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:fa8bf529b41fb37cb46f383ee5df25e67f588a2b7162f2630b22b8fa019826b6","observation_id":"3f18d5e3-4a61-4fcb-9919-b3cb3932867f","resolution":{"observed_at":"2026-08-07T13:24:02.910605Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:02.616681Z","title":"A Decidable Confluence Test for Cognitive Models in ACT-R","venue":null,"work_id":"6c8e8e5a-bc32-4c88-80c0-04791136b303","year":2017},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:56.047519Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:13bf318ab1e60bd1384e99adced60e0d684be195231a81de0b8bdccc20ff3da8","observation_id":"5b2c1964-a486-4667-afb5-d9610d97885d","resolution":{"observed_at":"2026-08-07T13:24:02.709864Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:02.458660Z","title":"CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry","venue":null,"work_id":"df2d6e0c-17a5-4f64-ba06-71b31df25d87","year":2015},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:56.156741Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:8cd2705560e9a707252ca953941bbb8d173a3d0374a618c929a6be0c20ad47fb","observation_id":"1047b59f-1b27-460b-b61c-640267d6159f","resolution":{"observed_at":"2026-08-07T13:24:02.549757Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:02.300596Z","title":"Modular domain-specific language com- ponents in scala","venue":null,"work_id":"6483fc4a-c2df-405e-a092-9528e8f148e8","year":2010},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:56.226242Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:4fff537ced68e17d0aa535e5d8320cdf8b0313bcbb6ebe117a456d1a70b86eb4","observation_id":"d7dc8212-83a7-4cab-b9d2-584f3f93820e","resolution":{"observed_at":"2026-08-07T13:24:02.377270Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:02.109530Z","title":"Poly- morphic embedding of dsls","venue":null,"work_id":"afdcb5a0-d544-4c9d-a906-ac5e5e9d09f1","year":2008},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:56.302181Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:ec0b2be15677afe139a1fa74db22a5ea30936b491d90fb6bc7edc22e5c5c91d4","observation_id":"43f3c86f-54cd-4343-bc6e-b2f263b9ab29","resolution":{"observed_at":"2026-08-07T13:24:02.183732Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:01.897976Z","title":"Compiling Constraint Handling Rules","venue":null,"work_id":"69d8d5a8-999c-4463-bf52-f8e061c00815","year":1998},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:56.413868Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:8b25ec361bfa0b6a6a6496269ef73727ba43e91598381c6f204eda232f445b94","observation_id":"1cac21f9-02d3-4512-8ab9-a57e65b45d03","resolution":{"observed_at":"2026-08-07T13:24:01.983682Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:01.675782Z","title":"A prolog constraint handling rules compiler and runtime system","venue":null,"work_id":"c3c603b3-212b-4189-8112-c6b07edd94e2","year":2000},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:56.492793Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:101fe69bcabb747dd1660d18f40867f5152d68c224b64c1ba6f8641e9d92167c","observation_id":"77d63355-0ca7-4df6-80ec-9f1d8a22421b","resolution":{"observed_at":"2026-08-07T13:24:01.768611Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:01.519956Z","title":null,"venue":null,"work_id":"2cca5145-8355-4087-af7b-098773324fc7","year":1998},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:56.584730Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:1f9db42d923c40afdc535497ba3631395134b7e12442f120049e4cf98fd67f1c","observation_id":"41c951d4-85f8-4842-b465-25143a9c22fe","resolution":{"observed_at":"2026-08-07T13:24:01.597664Z","resolver_source":"raw_fallback","status":"unresolved"},"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-08-07T13:24:01.369457Z","title":"Implementing Constraint Handling Rules as a Domain-Specific Language Embedded in Java, August 2013","venue":null,"work_id":"b8bb13cb-ea83-4fa7-b92e-a89fb5f54a3c","year":2013},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:56.652741Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:769e56cf03ff37e64d2904f97b58887715576bccf0be652d022c0ecde0c5cddf","observation_id":"4566c47f-57df-4895-9891-fa3970ccf916","resolution":{"observed_at":"2026-08-07T13:24:01.427998Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:01.139788Z","title":"Initial Algebra Semantics Is Enough! In Si- mona Ronchi Della Rocca, editor,TLCA ’07, Lecture Notes in Computer Science, pages 207–222, Berlin, Heidelberg, 2007","venue":null,"work_id":"3d479dc7-7d23-4112-93c5-c9bffb1a34d5","year":2007},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:56.733904Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:edb5da523732e5b9382b7ae2b3d8fd4b2c7ece32acb97d884bba92dfafe47d77","observation_id":"2447db75-4ebc-4ee2-9f61-33bd99c3de80","resolution":{"observed_at":"2026-08-07T13:24:01.256651Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:00.941652Z","title":"Lam and Martin Sulzmann","venue":null,"work_id":"720548bc-47a4-48ef-b47d-ee2c7f431a11","year":2006},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:56.824346Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:78804b91660cd168aba1d8e6b400216a86ce97bc233d4971fd5d9d9ffbefdef5","observation_id":"5c148101-f321-4fd7-9c0a-e9f6deb2d42d","resolution":{"observed_at":"2026-08-07T13:24:01.015256Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:00.757685Z","title":null,"venue":null,"work_id":"7d0d6153-9c67-4975-a76d-c683071cd52e","year":2007},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:56.905325Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:54269c66094f078f9d415f6087d7b92eda966b00201dc3016f58becba189fb67","observation_id":"207bf528-c8b4-4ef0-8f31-e5e19399c303","resolution":{"observed_at":"2026-08-07T13:24:00.832621Z","resolver_source":"raw_fallback","status":"unresolved"},"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-08-07T13:24:00.548202Z","title":"CHR.js: A CHR Implementa- tion in JavaScript","venue":null,"work_id":"c0d425dc-7a73-4b25-be63-017094b3055a","year":2018},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:57.001297Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:1a316f7fa74899447a87e121a7925326ae63d15a6abd93b991b23d2a0bad611d","observation_id":"f5c65ae7-8836-4497-8e26-6ae2b85d4713","resolution":{"observed_at":"2026-08-07T13:24:00.656360Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:00.387708Z","title":"FreeCHR: An Algebraic Framework for CHR-Embeddings","venue":null,"work_id":"42999b4d-a6d4-47de-8b69-a05393e16e37","year":2023},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:57.088337Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:cff99fd288406c4a5a2487d69faa91721ba36a19799decc8d056031c7dae2dbd","observation_id":"5d4ab54f-e057-4927-a65b-77a569c7133b","resolution":{"observed_at":"2026-08-07T13:24:00.455687Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:24:00.163050Z","title":"Certified Seman- tics for Relational Programming","venue":null,"work_id":"267fece7-abf3-4bda-a0cf-e500dce6d08e","year":2020},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:57.224502Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:553ab984534c728b5f5cd02b71ea41f27cc5c6b568d237ee75063bb17c52b44a","observation_id":"8b40c82c-9fea-4299-990b-5e35777f9cd8","resolution":{"observed_at":"2026-08-07T13:24:00.293654Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:23:59.971256Z","title":null,"venue":null,"work_id":"d52bec69-65fc-4c19-80f8-965a7763ef13","year":2004},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:57.324246Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:3c6aee5f063d3783781f9e6c25026e2124a6c8e99876437c487e84922b5f4a03","observation_id":"5bc26932-4bd9-464f-9850-3cb328acfe28","resolution":{"observed_at":"2026-08-07T13:24:00.062151Z","resolver_source":"raw_fallback","status":"unresolved"},"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-08-07T13:23:59.692619Z","title":"As time goes by: Constraint Handling Rules: A survey of CHR research from 1998 to 2007","venue":null,"work_id":"5bea1061-baba-40fc-8356-f8813962c80d","year":1998},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:57.412120Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:2cec2514d2ef6929aa8472f164d4d2176e4baf664aa6b4e39a142fabd8ae6059","observation_id":"0a329eff-9e93-4471-9b6b-ed19788700dd","resolution":{"observed_at":"2026-08-07T13:23:59.841415Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:23:59.477087Z","title":"Reasoning about Actions with CHRs and Finite Domain Constraints","venue":null,"work_id":"8cc2e3b9-7027-49a5-87f9-f55c6430b747","year":2002},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:57.523547Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:fcec96715eccb3286ded0df27d1b5ae7b0d8554978a9e7f5a78105eed1ee97cf","observation_id":"340234c6-aafd-43a2-9240-1022a02f2509","resolution":{"observed_at":"2026-08-07T13:23:59.572795Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:23:59.289778Z","title":"FLUX: A logic programming method for reasoning agents","venue":null,"work_id":"f41ca4c4-0c14-49f3-842f-9bda9a590247","year":2005},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:57.597062Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:5a6868825c2335a51e2e5fe92b76e29fd3b37688c45a00fe6bfe17478818e943","observation_id":"2eafd54a-a313-406a-92d7-e0a0eddc1ae4","resolution":{"observed_at":"2026-08-07T13:23:59.392422Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:23:59.084975Z","title":"Efficient Lazy Evaluation of Rule-Based Programs","venue":null,"work_id":"7f1e2286-c9d9-4aed-8808-aea0e7799a8b","year":2010},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:57.697081Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:a706a182dd8f9698a7a567780d88215dd5ce8d3d64610a4324441424684728b6","observation_id":"31a91dde-14eb-487e-bc45-6bf071d41c8d","resolution":{"observed_at":"2026-08-07T13:23:59.208440Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:23:58.900369Z","title":null,"venue":null,"work_id":"09c3df52-aeec-4457-8a8d-f27a55ca9f83","year":2005},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:57.815141Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:c4e63e51ff26016b8d79c4d373ead60225fa32c0241d65c7f8f17ad79bf822eb","observation_id":"2bc4ed5c-b739-4933-8c58-669cc522c7e4","resolution":{"observed_at":"2026-08-07T13:23:58.992225Z","resolver_source":"raw_fallback","status":"unresolved"},"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-08-07T13:23:58.642548Z","title":"CHR for Imperative Host Languages","venue":null,"work_id":"fab9ee2f-fd36-41ec-923d-d2020d64b590","year":2008},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:57.904685Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:3bd362d17ddba49e5842f0140018677def71acff2da77850b599d5e7ce04639a","observation_id":"9567d525-bbf3-4137-abf1-d008920d68d3","resolution":{"observed_at":"2026-08-07T13:23:58.786093Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:23:58.484930Z","title":"Bachelor thesis, Universität Ulm, June 2022","venue":null,"work_id":"35b5dfa7-a487-4798-9d04-9f20fb8c2f8f","year":2022},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:58.034402Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:1308ced77b4df78fbfd8a0a1610738c2db6ff381aab2810d4caf0c89ca726309","observation_id":"20924666-2ebf-49d6-a09b-97395841c6b2","resolution":{"observed_at":"2026-08-07T13:23:58.575285Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:23:58.246117Z","title":"CCHR: The fastest CHR Imple- mentation, in C","venue":null,"work_id":"72b7cc9a-441a-40e0-9a3a-c95c60cc2cd5","year":2007},"citing_paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:58.133680Z"},"links":{"citing_paper":"/paper/2505.22155"},"observation_digest":"sha256:c8c1dfcfcf4bb1d9be1dcc199d5811d6010ae4e7937dbd471e81b0b59806a64b","observation_id":"1112f098-0ed4-4c98-b64c-3920b0eeb975","resolution":{"observed_at":"2026-08-07T13:23:58.352201Z","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"}}],"paper":{"arxiv_id":"2505.22155","last_updated":"2025-05-28T09:19:33Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-07T13:11:51.528303Z","submitted_at":"2025-05-28T09:19:33Z","title":"An instance of FreeCHR with refined operational semantics"},"reference_resolution":{"displayed":37,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":8,"verified_exact":0,"verified_fuzzy":29},"total_outbound_references":37},"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 8 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 1 inbound Pith citation observation for arXiv:2505.22155."}