{"as_of":"2026-08-16T15:39:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:092271bfc94ee9618180f76b6d9ca985c648dca1e1a61bc2dafdb4c0e80c2c2d","coverage":[{"denominator":22,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":22,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T14:53:54.041931Z","state":"measured"},{"denominator":22,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":22,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/1908.02488/citation-record","integrity":"/paper/1908.02488/integrity","json":"/paper/1908.02488/citation-record.json","paper":"/paper/1908.02488"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:53.932188Z","title":"Henzinger & Orna Kupferman (2002) : Alternating-time tem- poral logic","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"1908.02488","last_updated":"2019-08-07T08:40:01Z","snapshot_observed_at":"2026-08-16T05:43:06.400730Z","submitted_at":"2019-08-07T08:40:01Z","title":"Dealing with imperfect information in Strategy Logic","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:53.932188Z"},"links":{"citing_paper":"/paper/1908.02488"},"observation_digest":"sha256:ce22d3c2b7a1ec06be4a730a3ad7d14f10cafaeb3ee51fa3afd052b436f05766","observation_id":"0a07897c-9f6b-4702-ace3-626ca545f8ad","resolution":{"observed_at":"2026-08-14T14:53:53.932188Z","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.4204/eptcs.146.4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:54.220291Z","title":"In: SR, pp","venue":null,"work_id":"78c01ad2-d612-424a-bd6c-8fe346e89bf8","year":2014},"citing_paper":{"arxiv_id":"1908.02488","last_updated":"2019-08-07T08:40:01Z","snapshot_observed_at":"2026-08-16T05:43:06.400730Z","submitted_at":"2019-08-07T08:40:01Z","title":"Dealing with imperfect information in Strategy Logic","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:53.938113Z"},"links":{"citing_paper":"/paper/1908.02488"},"observation_digest":"sha256:9feba48bb7aabc3056b1e3f318d9d07fe1bd4096a2e2ca8e97c014c95b5f1bb8","observation_id":"8baaca71-12ed-4a60-bc85-6074593e5048","resolution":{"observed_at":"2026-08-14T14:53:54.226646Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:54.626885Z","title":"In: Private communication","venue":null,"work_id":"4d0dc7e4-2573-4210-9b93-44ac5b6f0edb","year":2015},"citing_paper":{"arxiv_id":"1908.02488","last_updated":"2019-08-07T08:40:01Z","snapshot_observed_at":"2026-08-16T05:43:06.400730Z","submitted_at":"2019-08-07T08:40:01Z","title":"Dealing with imperfect information in Strategy Logic","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:53.943662Z"},"links":{"citing_paper":"/paper/1908.02488"},"observation_digest":"sha256:44c832bcfc75caf8cb53baee9a8fdd85fd4338564628328b0ec8fc34cc2532a3","observation_id":"b10de2a0-dbac-4b21-81ef-98837fb46515","resolution":{"observed_at":"2026-08-14T14:53:54.631960Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:53.948988Z","title":"Bulletin of Economic Research 53(4), pp","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"1908.02488","last_updated":"2019-08-07T08:40:01Z","snapshot_observed_at":"2026-08-16T05:43:06.400730Z","submitted_at":"2019-08-07T08:40:01Z","title":"Dealing with imperfect information in Strategy Logic","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:53.948988Z"},"links":{"citing_paper":"/paper/1908.02488"},"observation_digest":"sha256:30dd278b13f85d27b6b624261829c4e2e3d328f980c4e912e09fcc14c6f35982","observation_id":"6130439d-e3ee-4832-8e3b-448cc6291edd","resolution":{"observed_at":"2026-08-14T14:53:53.948988Z","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-14T14:53:54.608984Z","title":"Cambridge University Press","venue":null,"work_id":"fba1ebe3-7538-485d-8290-b2554aaf3a82","year":2011},"citing_paper":{"arxiv_id":"1908.02488","last_updated":"2019-08-07T08:40:01Z","snapshot_observed_at":"2026-08-16T05:43:06.400730Z","submitted_at":"2019-08-07T08:40:01Z","title":"Dealing with imperfect information in Strategy Logic","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:53.954412Z"},"links":{"citing_paper":"/paper/1908.02488"},"observation_digest":"sha256:4ec5b05fa24a22d05062f86d6f626e37547cfb71e798c4a4b1c29a1b978a36f9","observation_id":"242e921f-a734-4c6f-a76f-49fcd06e0d9d","resolution":{"observed_at":"2026-08-14T14:53:54.615312Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.146.12","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:54.204517Z","title":"In: Proceedings of SR 2014, pp","venue":null,"work_id":"a64dc37c-fdc0-4a2d-ae58-67d0e124bb2e","year":2014},"citing_paper":{"arxiv_id":"1908.02488","last_updated":"2019-08-07T08:40:01Z","snapshot_observed_at":"2026-08-16T05:43:06.400730Z","submitted_at":"2019-08-07T08:40:01Z","title":"Dealing with imperfect information in Strategy Logic","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:53.959539Z"},"links":{"citing_paper":"/paper/1908.02488"},"observation_digest":"sha256:7a21eca29d79de395d3216318f680573dae1ce02a789b480f466d58889602bbe","observation_id":"55183403-4629-4479-a33a-c7d7720f94e9","resolution":{"observed_at":"2026-08-14T14:53:54.209523Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1310.6434","last_updated":"2013-10-23T23:39:35Z","snapshot_observed_at":"2026-08-14T23:57:52.569903Z","submitted_at":"2013-10-23T23:39:35Z","title":"Model Checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics","version":1},"cited_work":{"arxiv_id":"1310.6434","doi":null,"metadata_source":"pith","pith_arxiv_id":"1310.6434","snapshot_observed_at":"2026-08-14T14:53:54.367794Z","title":"Model Checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics","venue":"cs.GT","work_id":"e8d6f903-df9c-4335-b57c-e6cee3b60f76","year":2013},"citing_paper":{"arxiv_id":"1908.02488","last_updated":"2019-08-07T08:40:01Z","snapshot_observed_at":"2026-08-16T05:43:06.400730Z","submitted_at":"2019-08-07T08:40:01Z","title":"Dealing with imperfect information in Strategy Logic","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:53.965089Z"},"links":{"cited_paper":"/paper/1310.6434","citing_paper":"/paper/1908.02488"},"observation_digest":"sha256:657c3d90c3650682b985ff25df9b6be8132dfc8adb07686b8ac5ac3b5226101b","observation_id":"0baa347b-7d14-4708-bb03-74f89724459f","resolution":{"observed_at":"2026-08-14T14:53:54.375178Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:53.970388Z","title":"In: CA V, pp","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"1908.02488","last_updated":"2019-08-07T08:40:01Z","snapshot_observed_at":"2026-08-16T05:43:06.400730Z","submitted_at":"2019-08-07T08:40:01Z","title":"Dealing with imperfect information in Strategy Logic","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:53.970388Z"},"links":{"citing_paper":"/paper/1908.02488"},"observation_digest":"sha256:80b54f785e749a6912b9460275f855eaf1139f76e12b67cb2997e85282af484f","observation_id":"0cf75974-8256-4cbe-9e29-43ec1be543a7","resolution":{"observed_at":"2026-08-14T14:53:53.970388Z","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-14T14:53:53.975398Z","title":"Henzinger & Nir Piterm an (2010): Strategy logic","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"1908.02488","last_updated":"2019-08-07T08:40:01Z","snapshot_observed_at":"2026-08-16T05:43:06.400730Z","submitted_at":"2019-08-07T08:40:01Z","title":"Dealing with imperfect information in Strategy Logic","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:53.975398Z"},"links":{"citing_paper":"/paper/1908.02488"},"observation_digest":"sha256:fabd66ac6d9ad498df92cbf87d8aa83263315040b308fc6212915729430fda09","observation_id":"91ff9c09-27bb-47a7-9f3f-170631606cac","resolution":{"observed_at":"2026-08-14T14:53:53.975398Z","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-14T14:53:54.589764Z","title":"Halpern, Y oram Moses & Moshe Y","venue":null,"work_id":"dd4ba353-8a3c-4bde-ba90-3b1ac45ce1ad","year":1995},"citing_paper":{"arxiv_id":"1908.02488","last_updated":"2019-08-07T08:40:01Z","snapshot_observed_at":"2026-08-16T05:43:06.400730Z","submitted_at":"2019-08-07T08:40:01Z","title":"Dealing with imperfect information in Strategy Logic","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:53.980494Z"},"links":{"citing_paper":"/paper/1908.02488"},"observation_digest":"sha256:adc91d7583c77e326115a326a12f0e14a98d61c9c7c66910f1c088ae24e60a35","observation_id":"dde7eae1-faa9-4990-a1c8-a884c5ae2057","resolution":{"observed_at":"2026-08-14T14:53:54.595688Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1137/s0097539797320906","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:54.167432Z","title":"Halpern, Ron van der Meyden & Moshe Y","venue":null,"work_id":"992ec9ec-5eec-42fb-b817-1b9000003b85","year":null},"citing_paper":{"arxiv_id":"1908.02488","last_updated":"2019-08-07T08:40:01Z","snapshot_observed_at":"2026-08-16T05:43:06.400730Z","submitted_at":"2019-08-07T08:40:01Z","title":"Dealing with imperfect information in Strategy Logic","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:53.985949Z"},"links":{"citing_paper":"/paper/1908.02488"},"observation_digest":"sha256:34c4f33c2df6db5a64daf087d95d36feaff875fb3cac3fa334fb9dc96c1ba621","observation_id":"857c9e8f-925f-45c8-aaf6-0075e1503e6d","resolution":{"observed_at":"2026-08-14T14:53:54.172137Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:53.991804Z","title":"van der Hoek & M","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"1908.02488","last_updated":"2019-08-07T08:40:01Z","snapshot_observed_at":"2026-08-16T05:43:06.400730Z","submitted_at":"2019-08-07T08:40:01Z","title":"Dealing with imperfect information in Strategy Logic","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:53.991804Z"},"links":{"citing_paper":"/paper/1908.02488"},"observation_digest":"sha256:941a85cd47d601d5b0f89adafb97528d95dba8ed3adf6b5b097c5ab3a1139f8d","observation_id":"6180fd8d-3130-443d-a311-1167a4ec3761","resolution":{"observed_at":"2026-08-14T14:53:53.991804Z","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-14T14:53:54.573313Z","title":"Jamroga & T","venue":null,"work_id":"1e894219-1b55-4221-ae10-93b854917fd8","year":2006},"citing_paper":{"arxiv_id":"1908.02488","last_updated":"2019-08-07T08:40:01Z","snapshot_observed_at":"2026-08-16T05:43:06.400730Z","submitted_at":"2019-08-07T08:40:01Z","title":"Dealing with imperfect information in Strategy Logic","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:53.996962Z"},"links":{"citing_paper":"/paper/1908.02488"},"observation_digest":"sha256:1a9efd0bee83adf2548ebc725bb4474c5bb1b33401e7b78c4bf08e8b8fc7c477","observation_id":"5f30439f-b369-4579-92cb-53e2b3364e4e","resolution":{"observed_at":"2026-08-14T14:53:54.578538Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:54.556942Z","title":null,"venue":null,"work_id":"4d53ab38-a600-4677-8a3a-e50f13762aa0","year":2004},"citing_paper":{"arxiv_id":"1908.02488","last_updated":"2019-08-07T08:40:01Z","snapshot_observed_at":"2026-08-16T05:43:06.400730Z","submitted_at":"2019-08-07T08:40:01Z","title":"Dealing with imperfect information in Strategy Logic","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:54.001690Z"},"links":{"citing_paper":"/paper/1908.02488"},"observation_digest":"sha256:d2a89d00b9d7b705cdcbffa76e0a69fcce5933eb359850ec0372babcc637ea70","observation_id":"ec2c69c2-7887-4467-a7bf-90010185983f","resolution":{"observed_at":"2026-08-14T14:53:54.561791Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:54.538848Z","title":"Proceedings of Formal Approaches to Multi-Agent Systems (FAMAS 2003) , pp","venue":null,"work_id":"feb58a86-1e4e-4912-b7c9-e2365dc5102b","year":2003},"citing_paper":{"arxiv_id":"1908.02488","last_updated":"2019-08-07T08:40:01Z","snapshot_observed_at":"2026-08-16T05:43:06.400730Z","submitted_at":"2019-08-07T08:40:01Z","title":"Dealing with imperfect information in Strategy Logic","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:54.006869Z"},"links":{"citing_paper":"/paper/1908.02488"},"observation_digest":"sha256:bddeb1a1b4faf00b3f20475ab0c58ecda4455867dde4499a778e7612289dd9ba","observation_id":"9b7b30fa-6012-4e4b-b977-ae0ed5d0eb1d","resolution":{"observed_at":"2026-08-14T14:53:54.544451Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.119.18","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:54.139647Z","title":"In: Proceedings Fourth International Symposium on Games, Automata, Logics and Formal V erification, GandALF 2013, Borca di Cadore, Dolomites, Italy, 29-31th August 2013","venue":null,"work_id":"cd70fd41-6678-4fa2-bbc8-1e47a74e7641","year":2013},"citing_paper":{"arxiv_id":"1908.02488","last_updated":"2019-08-07T08:40:01Z","snapshot_observed_at":"2026-08-16T05:43:06.400730Z","submitted_at":"2019-08-07T08:40:01Z","title":"Dealing with imperfect information in Strategy Logic","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:54.011689Z"},"links":{"citing_paper":"/paper/1908.02488"},"observation_digest":"sha256:c33479d120ae79557241b953cabb67eda7e4eb7ab79760e98d30d919b276e195","observation_id":"2a31d5dd-12e3-424f-8a3c-0132be9fce30","resolution":{"observed_at":"2026-08-14T14:53:54.145286Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-32940-1_15","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:54.122785Z","title":"V ardi (2012):What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic","venue":null,"work_id":"c3222b5c-d0d0-47de-85c6-e03c89af0e51","year":2012},"citing_paper":{"arxiv_id":"1908.02488","last_updated":"2019-08-07T08:40:01Z","snapshot_observed_at":"2026-08-16T05:43:06.400730Z","submitted_at":"2019-08-07T08:40:01Z","title":"Dealing with imperfect information in Strategy Logic","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:54.016504Z"},"links":{"citing_paper":"/paper/1908.02488"},"observation_digest":"sha256:6238d23abecce1a046645b874207a636958debe87c228541bebe7de5ce6c0026","observation_id":"bf89f2ab-b2e1-4bec-9d5b-0a78b48eeb2c","resolution":{"observed_at":"2026-08-14T14:53:54.128481Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:54.021478Z","title":"V ardi (2014):Reasoning About Strategies: On the Model-Checking Problem","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"1908.02488","last_updated":"2019-08-07T08:40:01Z","snapshot_observed_at":"2026-08-16T05:43:06.400730Z","submitted_at":"2019-08-07T08:40:01Z","title":"Dealing with imperfect information in Strategy Logic","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:54.021478Z"},"links":{"citing_paper":"/paper/1908.02488"},"observation_digest":"sha256:f5059784404401f82bf20dea1acc9cd99c5e22b2bba9c5916da6ff8703f06b52","observation_id":"31c57816-0015-4df2-970d-b3dac0ebfa29","resolution":{"observed_at":"2026-08-14T14:53:54.021478Z","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.4230/lipics.fsttcs.2010.133","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:54.094227Z","title":"V ardi (2010): Reasoning About Strategies","venue":null,"work_id":"c61eae91-8ace-4b29-8edd-95930b114dfe","year":2010},"citing_paper":{"arxiv_id":"1908.02488","last_updated":"2019-08-07T08:40:01Z","snapshot_observed_at":"2026-08-16T05:43:06.400730Z","submitted_at":"2019-08-07T08:40:01Z","title":"Dealing with imperfect information in Strategy Logic","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:54.026865Z"},"links":{"citing_paper":"/paper/1908.02488"},"observation_digest":"sha256:e0061a604882ff2f84f1eb090534deb05b66c2f51db648472315e80304ca60da","observation_id":"d3f111d8-d5d4-4dc0-9a2b-a296bfc1fe8e","resolution":{"observed_at":"2026-08-14T14:53:54.099310Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:54.031962Z","title":"Pnueli & R","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"1908.02488","last_updated":"2019-08-07T08:40:01Z","snapshot_observed_at":"2026-08-16T05:43:06.400730Z","submitted_at":"2019-08-07T08:40:01Z","title":"Dealing with imperfect information in Strategy Logic","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:54.031962Z"},"links":{"citing_paper":"/paper/1908.02488"},"observation_digest":"sha256:e0669683c8dc9859b8aa1e5a9cb086ecdbb81b8899c77b0faea460fccdd24d33","observation_id":"a8e4d25a-ca13-432c-b871-1808117f6431","resolution":{"observed_at":"2026-08-14T14:53:54.031962Z","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.1016/0022-0000(84)90034-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:54.075378Z","title":"Reif (1984): The complexity of two-player games of incomplete informati on","venue":null,"work_id":"5b4b13a4-0f3e-4df8-a7f7-29ebc79ea866","year":1984},"citing_paper":{"arxiv_id":"1908.02488","last_updated":"2019-08-07T08:40:01Z","snapshot_observed_at":"2026-08-16T05:43:06.400730Z","submitted_at":"2019-08-07T08:40:01Z","title":"Dealing with imperfect information in Strategy Logic","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:54.036661Z"},"links":{"citing_paper":"/paper/1908.02488"},"observation_digest":"sha256:c0e42124238cbb13975f1251137165d015af40f750713f1db7b4db4ee87c5af3","observation_id":"ff4dcc15-0654-4045-ad3f-6c531729ed12","resolution":{"observed_at":"2026-08-14T14:53:54.082555Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:54.521349Z","title":"Electronic Notes in Theoretical Computer Science 85(2), pp","venue":null,"work_id":"15603896-a88b-4c84-a18e-ce0882fab93c","year":2004},"citing_paper":{"arxiv_id":"1908.02488","last_updated":"2019-08-07T08:40:01Z","snapshot_observed_at":"2026-08-16T05:43:06.400730Z","submitted_at":"2019-08-07T08:40:01Z","title":"Dealing with imperfect information in Strategy Logic","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:54.041931Z"},"links":{"citing_paper":"/paper/1908.02488"},"observation_digest":"sha256:1382f7e4c4453e783bdd8e5dbbaf3801ec2f6db46ff2ee5d63488be7eadb7860","observation_id":"ddbc082e-9152-4a29-91b4-715cc2f4835a","resolution":{"observed_at":"2026-08-14T14:53:54.526518Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.02488","last_updated":"2019-08-07T08:40:01Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-16T05:43:06.400730Z","submitted_at":"2019-08-07T08:40:01Z","title":"Dealing with imperfect information in Strategy Logic"},"reference_resolution":{"displayed":22,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":8,"verified_exact":8,"verified_fuzzy":6},"total_outbound_references":22},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:1908.02488."}