{"as_of":"2026-08-08T11:06:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f43833680f272b8898266ca2fbb6f91e0b6df3da67aef239bd358e6e2f9c78ef","coverage":[{"denominator":27,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":27,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T11:58:21.730738Z","state":"measured"},{"denominator":27,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":27,"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.01010/citation-record","integrity":"/paper/2506.01010/integrity","json":"/paper/2506.01010/citation-record.json","paper":"/paper/2506.01010"},"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-07T11:58:24.306738Z","title":null,"venue":null,"work_id":"bf8e7c6a-612d-4153-afe9-b91498855719","year":null},"citing_paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:19.688727Z"},"links":{"citing_paper":"/paper/2506.01010"},"observation_digest":"sha256:43c2a2c265496a21cf38479b360e0d7f4bf2c4dfa6518cb2877fbad9c31f66ca","observation_id":"0afeed62-34de-43b2-913c-98345bb59eca","resolution":{"observed_at":"2026-08-07T11:58:24.410762Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:19.809911Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:19.809911Z"},"links":{"citing_paper":"/paper/2506.01010"},"observation_digest":"sha256:e6a6788282f1abfeb98332ccc8196c5f2a3cae87ca719014b14ff4ecd37c2137","observation_id":"7cf25d70-f4fc-4e14-bfc4-60e15afe5980","resolution":{"observed_at":"2026-08-07T11:58:19.809911Z","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.24963/ijcai.2019/13","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:22.954289Z","title":"In: International Joint Conference on Artificial Intelligence, IJCAI 2019","venue":null,"work_id":"f2ab3344-5e44-4d54-bae2-b2c6655d05cc","year":2019},"citing_paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:19.864371Z"},"links":{"citing_paper":"/paper/2506.01010"},"observation_digest":"sha256:f40fdffbd0b3ebf983380e1343d964a0095c3d0ce121d8af0738e33b1e379f5e","observation_id":"55551520-4818-420a-8717-0f405cf3f9fe","resolution":{"observed_at":"2026-08-07T11:58:23.016255Z","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-08867-9_34","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:22.803362Z","title":"In: Computer Aided Verification, CAV 2014","venue":null,"work_id":"a99b1c31-83ce-44d0-9a98-5189fc1317e4","year":2014},"citing_paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:19.943107Z"},"links":{"citing_paper":"/paper/2506.01010"},"observation_digest":"sha256:66598caa1574f5f05b88758f1737229d5e0895df736a0c68182346af6b52d2da","observation_id":"22179d79-4d17-4fd8-b72e-fda46f8b3393","resolution":{"observed_at":"2026-08-07T11:58:22.864849Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:20.009538Z","title":"Information and Computation 208(6), 677–693 (2010)","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:20.009538Z"},"links":{"citing_paper":"/paper/2506.01010"},"observation_digest":"sha256:3d2c1b5caf82027ec0c45c0be9eedafd93078410acfff9a1da8b79bd5ca8d7c8","observation_id":"19e24977-a28f-43ae-ad71-b8367eb5996c","resolution":{"observed_at":"2026-08-07T11:58:20.009538Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:24.194203Z","title":"Information, Interaction and Agency pp","venue":null,"work_id":"4c2b47b1-bf15-45e0-abf1-579c0cdf0e27","year":2004},"citing_paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:20.056479Z"},"links":{"citing_paper":"/paper/2506.01010"},"observation_digest":"sha256:3932580da4f5b5a6feeffc1565a2a10177108741b9ab9a8be6f80c867d2eedba","observation_id":"ec7af625-995c-48e7-9582-8b8da2a85156","resolution":{"observed_at":"2026-08-07T11:58:24.232411Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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-07T11:58:20.083564Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:20.083564Z"},"links":{"citing_paper":"/paper/2506.01010"},"observation_digest":"sha256:b749a915adbbb55ceceaa6a425041078e2ab252231885ccb7842db8b8e3c53c9","observation_id":"088f7265-48d0-49dc-a0ec-1217751d2654","resolution":{"observed_at":"2026-08-07T11:58:20.083564Z","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-319-08587-6_31","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:22.632975Z","title":"LNCS, vol","venue":null,"work_id":"82cfe14c-9619-4dc7-8151-ec67c22a0ab6","year":2014},"citing_paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:20.152071Z"},"links":{"citing_paper":"/paper/2506.01010"},"observation_digest":"sha256:e866c6d9375950bb3f79783a34ce22ac311d90f64cfc5df6e8fdcc1b385cbdcf","observation_id":"b5bf8a45-0f08-43a8-b87f-f6fd7ee841a2","resolution":{"observed_at":"2026-08-07T11:58:22.715881Z","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-031-38499-8_14","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:22.494029Z","title":"In: Au- tomated Deduction, CADE 2023","venue":null,"work_id":"2741a880-d0ae-4382-9922-8597a0835b18","year":2023},"citing_paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:20.233187Z"},"links":{"citing_paper":"/paper/2506.01010"},"observation_digest":"sha256:cbd80e505a184ed519f2f7c7c1bbbf00a38afe788a6e6def08eff36f0e9ff4fc","observation_id":"06980e10-5e42-456b-9046-3268086471bc","resolution":{"observed_at":"2026-08-07T11:58:22.556072Z","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-07T11:58:24.082255Z","title":"In: Verification, Model Checking, and Abstract Interpretation, VMCAI 2024","venue":null,"work_id":"824e4904-c672-4c54-a193-a9a1e43106be","year":2024},"citing_paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:20.339433Z"},"links":{"citing_paper":"/paper/2506.01010"},"observation_digest":"sha256:70d0b0f5897e435125431ec607a164e58c8a938cdb87ecd5a05079b9cc3953d1","observation_id":"1b417f4d-9a04-4c9d-9704-efdcea614897","resolution":{"observed_at":"2026-08-07T11:58:24.125091Z","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.4230/lipics.concur.2019.35","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:22.334901Z","title":"In: Concurrency Theory, CONCUR 2019","venue":null,"work_id":"1740e6d5-e68b-408b-a2ee-86e692d23cc9","year":2019},"citing_paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:20.527382Z"},"links":{"citing_paper":"/paper/2506.01010"},"observation_digest":"sha256:e13649a80454f5be4ebd908e0ac4d14305a43d985d63c66d92dc0e1c31497d95","observation_id":"fa29e06a-8ca6-4067-a06b-8e657fa24519","resolution":{"observed_at":"2026-08-07T11:58:22.414313Z","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-07T11:58:23.933487Z","title":"In: Autonomous Agents and Multiagent Systems, AAMAS","venue":null,"work_id":"6b5d1b8a-5d71-4c9a-87db-881773516c66","year":null},"citing_paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:20.596580Z"},"links":{"citing_paper":"/paper/2506.01010"},"observation_digest":"sha256:df4a7de92de721a06c86b3c8482f740f02473ec63e91ae292e1c13bf27884b43","observation_id":"4d314169-7507-4621-a136-39ecfac662ea","resolution":{"observed_at":"2026-08-07T11:58:23.997496Z","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.34739/si.2021.25.01","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:22.180588Z","title":"Studia Informatica 25(1–2) (2021)","venue":null,"work_id":"9d1077cf-9361-4e9c-b512-5331addc0c62","year":2021},"citing_paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:20.773618Z"},"links":{"citing_paper":"/paper/2506.01010"},"observation_digest":"sha256:b44d8e07216c98e349f833daee3e5ddbd3a245424265c2f85139857ee487b547","observation_id":"de7bdc62-e470-4902-a6fb-bda4c509f6d6","resolution":{"observed_at":"2026-08-07T11:58:22.239015Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:20.832551Z","title":null,"venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:20.832551Z"},"links":{"citing_paper":"/paper/2506.01010"},"observation_digest":"sha256:6e1be649cfa44b7e6de7923e78d0120162431711628a00fc3e6c486d0dbb93ba","observation_id":"63099d90-ed24-413a-a426-82fb43a16cca","resolution":{"observed_at":"2026-08-07T11:58:20.832551Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:20.884212Z","title":"In: Logic in Computer Science, LICS 2022","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:20.884212Z"},"links":{"citing_paper":"/paper/2506.01010"},"observation_digest":"sha256:a27729cdf7df01d32897cbd6e12f1c1dbe87a469679d0c48a5d28c7fbad48540","observation_id":"dde3d48f-d6f7-4555-8d9e-a479be7c004a","resolution":{"observed_at":"2026-08-07T11:58:20.884212Z","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.23638/lmcs-14(1:22)2018","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:22.086742Z","title":null,"venue":null,"work_id":"39ca5c4c-f46b-401e-bc50-caa91440b8fb","year":2018},"citing_paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:21.003851Z"},"links":{"citing_paper":"/paper/2506.01010"},"observation_digest":"sha256:a1acc03dc472b7babd8beb116ad21a1be145c1c5339e5fcab4b6c091bded0317","observation_id":"f743389e-c457-4834-bd4c-ff1b7c1c64c0","resolution":{"observed_at":"2026-08-07T11:58:22.130833Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:21.142271Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:21.142271Z"},"links":{"citing_paper":"/paper/2506.01010"},"observation_digest":"sha256:4ecd4d4481baeb2d08fb141a19efe05424fa7457e5baab194dd854996276aee2","observation_id":"26040c5c-7b39-4ce9-b77b-5bf9e3500658","resolution":{"observed_at":"2026-08-07T11:58:21.142271Z","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/3-540-45657-0_19","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:21.975836Z","title":"In: Computer Aided Verification, CAV 2002","venue":null,"work_id":"5987228c-4cbc-4ea3-8870-c532072b5698","year":2002},"citing_paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:21.251649Z"},"links":{"citing_paper":"/paper/2506.01010"},"observation_digest":"sha256:9fcebd4db2698a582a527757277dcdabdce801081ce0e6b4b33fb343a729ea7e","observation_id":"0f195098-5a0b-4da1-9566-c20847193e03","resolution":{"observed_at":"2026-08-07T11:58:22.008036Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:21.368209Z","title":"ACM Trans","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:21.368209Z"},"links":{"citing_paper":"/paper/2506.01010"},"observation_digest":"sha256:5edd24f2e21a4c6e960fabc46e1f875644c186792f2043877e82980126e8daac","observation_id":"28c58e5f-9c85-4b76-8853-1a336efd84bc","resolution":{"observed_at":"2026-08-07T11:58:21.368209Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:21.479286Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:21.479286Z"},"links":{"citing_paper":"/paper/2506.01010"},"observation_digest":"sha256:ed3de195fc64d5c73965294f1ea6548f4eefb8b569fa63fa1147d1ac7def6469","observation_id":"94a43b48-85a0-4bc8-940f-a7ac06726d64","resolution":{"observed_at":"2026-08-07T11:58:21.479286Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:23.771257Z","title":null,"venue":null,"work_id":"0bf92428-85ec-455b-a250-ede8ac0e6b35","year":2023},"citing_paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:21.535040Z"},"links":{"citing_paper":"/paper/2506.01010"},"observation_digest":"sha256:b830e89be72a3cf1a81bab57f692ffab5c9d3d537b307e8f39e96812362b88ab","observation_id":"926ebc48-0130-409f-8edd-620e216092e2","resolution":{"observed_at":"2026-08-07T11:58:23.848357Z","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.1093/logcom/exw032","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:21.826976Z","title":null,"venue":null,"work_id":"98f1188c-1f4b-440f-b9b2-dc94e82071a2","year":2017},"citing_paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:21.588499Z"},"links":{"citing_paper":"/paper/2506.01010"},"observation_digest":"sha256:0829706c69c95553eeeb96ccd7eb4887becf70d8f510bfabef5443f7a58c761a","observation_id":"b77d93af-9a0b-45b7-84e1-3b65cedac082","resolution":{"observed_at":"2026-08-07T11:58:21.905440Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:21.658347Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:21.658347Z"},"links":{"citing_paper":"/paper/2506.01010"},"observation_digest":"sha256:9910426918005a23aa05e1775b281bb77f2df97e45d48b3e9a5c8596c3066fdb","observation_id":"8c4bc29c-18b8-4e75-9595-71b73c85badc","resolution":{"observed_at":"2026-08-07T11:58:21.658347Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:23.628988Z","title":"https://github.com/tcsprojects/pgsolver","venue":null,"work_id":"5a26e6ac-7a6f-48c0-a511-02bfba39e563","year":null},"citing_paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:21.730738Z"},"links":{"citing_paper":"/paper/2506.01010"},"observation_digest":"sha256:e08467b8075314c84a493bf74b19d7d4449e5a3c52ea2c8bdf30c336941ed108","observation_id":"d6469f48-2418-4715-9eff-d0cf41d4fce5","resolution":{"observed_at":"2026-08-07T11:58:23.681212Z","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-07T11:58:20.407473Z","title":"https://doi.org/10.1007/978-3-031-50524-9_8","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames","version":1},"reference_index":185,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:20.407473Z"},"links":{"citing_paper":"/paper/2506.01010"},"observation_digest":"sha256:d70792959488ebfa32768e1286fc5a0f4a4ce473164f8fa8ec1ed2edf7ff797f","observation_id":"5511133c-2829-4b77-8f5e-0c972a9a208f","resolution":{"observed_at":"2026-08-07T11:58:20.407473Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:19.732509Z","title":null,"venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames","version":1},"reference_index":2001,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:19.732509Z"},"links":{"citing_paper":"/paper/2506.01010"},"observation_digest":"sha256:1ade237d507fd03509c2da107b22a4cafc99106118a1f229f924420515dfa004","observation_id":"c9f7cfd1-c308-4735-9daf-0cf168dc3264","resolution":{"observed_at":"2026-08-07T11:58:19.732509Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0633.11606","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:58:23.323871Z","title":null,"venue":null,"work_id":"a9aef109-34e7-440a-b356-cb5a3645fd6d","year":2006},"citing_paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames","version":1},"reference_index":2006,"source":"pdf_text","source_observed_at":"2026-08-07T11:58:20.704006Z"},"links":{"citing_paper":"/paper/2506.01010"},"observation_digest":"sha256:d864d755e254ef732590f08e088ff42b8fac5105ccdb6c0cc6e83cb0ddaadb8b","observation_id":"551f3ec4-6ab0-4156-8054-d5dd56621269","resolution":{"observed_at":"2026-08-07T11:58:23.368579Z","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"}}],"paper":{"arxiv_id":"2506.01010","last_updated":"2025-06-01T13:43:17Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-07T11:50:37.047425Z","submitted_at":"2025-06-01T13:43:17Z","title":"Efficient Model Checking for the Alternating-Time {\\mu}-Calculus via Effectivity Frames"},"reference_resolution":{"displayed":27,"state_counts":{"malformed_identifier":2,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":12,"verified_exact":9,"verified_fuzzy":3},"total_outbound_references":27},"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 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:2506.01010."}