{"as_of":"2026-08-16T19:17:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:432290049ed441103d4016c88e926a0292b15a1e29208f2c79d91e96483b1e45","coverage":[{"denominator":59,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":59,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T13:06:32.652048Z","state":"measured"},{"denominator":59,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":59,"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.05964/citation-record","integrity":"/paper/1908.05964/integrity","json":"/paper/1908.05964/citation-record.json","paper":"/paper/1908.05964"},"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-14T13:06:33.557352Z","title":"Mathematische Annalen 110, 390–413 (1935)","venue":null,"work_id":"ef37f357-b36c-49fe-8ce6-b4adcde4fa96","year":1935},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.428070Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:b0cee5c920af320716399e30589233399aeb6b1921dcdbf3ce6a74592312df8c","observation_id":"94585afb-ef56-4fe5-8d1f-f1c608182be6","resolution":{"observed_at":"2026-08-14T13:06:33.561649Z","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-14T13:06:33.546239Z","title":"In: Proc","venue":null,"work_id":"02e36617-8688-4419-971e-7dca2a333330","year":2007},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.432516Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:d2b671cd31d1d89e7b01f4b4888eeac59843ffcdae68bbbf1c546d27120a4082","observation_id":"91d9f953-9735-40c6-9a61-c710ed6b0e55","resolution":{"observed_at":"2026-08-14T13:06:33.550090Z","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-14T13:06:33.535855Z","title":"In: ACM Sigplan Notices","venue":null,"work_id":"82f3b713-8d07-4422-9655-b00f956e9ee8","year":2014},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.436209Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:1fb707c1be0c87056727f63b33c2ed86d19f5e5959140a53f57ed12d09ba6975","observation_id":"0991e1b1-1cc4-44ed-a101-73be01d37b74","resolution":{"observed_at":"2026-08-14T13:06:33.539550Z","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-14T13:06:33.524092Z","title":"Mathematische Annalen 86(3-4), 163–229 (1922)","venue":null,"work_id":"6c1aa0e4-3c57-445e-b1f4-79b6fcc792d8","year":1922},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.440820Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:ccd60ce4f0461002cf536a24f9876acec7734f017f58d90614111a6b20975644","observation_id":"85b49623-08c9-47a5-b98c-c2cbd1b81c82","resolution":{"observed_at":"2026-08-14T13:06:33.528079Z","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-14T13:06:33.511893Z","title":"Springer Sci- ence & Business Media (2001)","venue":null,"work_id":"87b8b3fd-db26-48ca-94d5-77f1c739a83d","year":2001},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.444882Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:ddffeacccddad92b29b1544acc546cbb3f8d430adc57bb3663578db18cbb660a","observation_id":"a50ff261-e57c-4829-9d60-73ca0cc1dd21","resolution":{"observed_at":"2026-08-14T13:06:33.516483Z","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-14T13:06:33.500045Z","title":null,"venue":null,"work_id":"706cd269-56a5-4f5d-ae47-c62ce46a33cb","year":2003},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.449044Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:71631a53e0daed81c79f69e0154bd5cc1a6971899d7320a79254e08f89de82fa","observation_id":"c7cc903e-3918-45d2-b31b-1733b77b8878","resolution":{"observed_at":"2026-08-14T13:06:33.503942Z","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-14T13:06:33.488614Z","title":null,"venue":null,"work_id":"5ca869c0-f276-45e1-890f-59265b85a301","year":2003},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.454031Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:a7125f4648c35615357b21e6f46ac469a4cf4fcc33bde841547082198c36ff73","observation_id":"d8c076f3-4dbd-4a0e-9857-d615c54a566e","resolution":{"observed_at":"2026-08-14T13:06:33.492347Z","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-14T13:06:33.477321Z","title":"MIT press (1992)","venue":null,"work_id":"3ccfb545-a939-4157-b899-4e90ffa041b4","year":1992},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.457524Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:18aae0e9e77858c49b3de0dae000601657983bef4de3e44f8d3f26d3ea9537ce","observation_id":"83b4b0ab-0443-4dc8-b836-86a07a021154","resolution":{"observed_at":"2026-08-14T13:06:33.481652Z","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-14T13:06:33.464254Z","title":"In: International Work- shop on Verification, Model Checking, and Abstract Interpretation","venue":null,"work_id":"321e2d66-1986-42ce-aabc-997ba78241e5","year":2011},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.460914Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:994bf04ff5499ab9c51e6449d896169f8c921cd8bdb040b14ec31bcbc39de03a","observation_id":"f202a084-0508-4408-a15d-e4e49d1f5174","resolution":{"observed_at":"2026-08-14T13:06:33.468368Z","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-14T13:06:33.453420Z","title":"In: International conference on Tools and Algorithms for the Construction and Analysis of Systems","venue":null,"work_id":"fdc1b775-742f-4b82-87b6-39fec59f3a78","year":null},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.464593Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:1f31a7b67d7fbc1438b5004fdf4dbcd1cb20a0ab2710fbe93fd48e68717c4286","observation_id":"e922cf05-3f6a-4124-b949-0039af5f5eb0","resolution":{"observed_at":"2026-08-14T13:06:33.457294Z","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-14T13:06:33.441875Z","title":"In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008","venue":null,"work_id":"acbd3773-b31f-4d36-9036-365e341f8ee1","year":2008},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.468520Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:106c3884dafd4a215ce5448586997724868aa571a13699ef5082c2763308d3e8","observation_id":"21a4601d-eede-4056-8d31-a2cac0536b8f","resolution":{"observed_at":"2026-08-14T13:06:33.445475Z","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-14T13:06:33.430429Z","title":"In: Jurdzi´ nski, M., Niˇ ckovi´ c, D","venue":null,"work_id":"bc15ef70-9216-489a-89f7-7b2f3cf2577b","year":2012},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.472071Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:ebd45d9c5a6046579c93d399b60ad5ff2bf2a82c03ef2df779daab42e4ee0443","observation_id":"ebe43513-9556-46cc-b6a2-39c9caba0918","resolution":{"observed_at":"2026-08-14T13:06:33.434003Z","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-14T13:06:32.475760Z","title":"In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.475760Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:6bf643226097b8a77030c7defca5194aef56bc1ef89eb4177a40f60bb3f99996","observation_id":"163cedb7-9591-4923-80b6-84568be86feb","resolution":{"observed_at":"2026-08-14T13:06:32.475760Z","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-14T13:06:33.418347Z","title":"In: Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016)","venue":null,"work_id":"4de24723-1c39-4f6f-a2ab-77ddb7009813","year":2016},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.479948Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:36acda47a2dd84cb0dfa0216729ae266ff5336995d64e83caa7e94584c4123af","observation_id":"b70d563e-3469-430a-a5aa-d63c436a652b","resolution":{"observed_at":"2026-08-14T13:06:33.422476Z","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-14T13:06:33.407973Z","title":"College Publications (2008)","venue":null,"work_id":"ddea95a6-6f64-47fc-ab09-310dcfbf329c","year":2008},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.483697Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:87da35aeb84a4f9b50205f2d63191c1ca53f240b2c0ef630aacb818bf1646eaa","observation_id":"fce6724b-d2e6-4299-82a1-aae2daebd0be","resolution":{"observed_at":"2026-08-14T13:06:33.411555Z","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":{"arxiv_id":"1808.06255","last_updated":"2018-08-19T20:49:31Z","snapshot_observed_at":"2026-08-16T09:30:38.779069Z","submitted_at":"2018-08-19T20:49:31Z","title":"Evolving Algebras 1993: Lipari Guide","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1808.06255","snapshot_observed_at":"2026-08-14T13:06:32.487977Z","title":"arXiv preprint arXiv:1808.06255 (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.487977Z"},"links":{"cited_paper":"/paper/1808.06255","citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:b67fc344aa5729c0ed92bab7e7b2b5638f4de51d1dedabff624a9ab0a3b79358","observation_id":"bd589896-0b4d-43f1-8ca7-13564289f64e","resolution":{"observed_at":"2026-08-14T13:06:32.487977Z","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-14T13:06:33.396356Z","title":"In: Proc","venue":null,"work_id":"4275d5be-06fa-44aa-98fc-30f28bc7c16d","year":2003},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.492541Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:bcdf488c57e448a74a4ddc1691da67b9953549c81939d810442ea3d4ff33fabf","observation_id":"ecbc6f6b-a947-46b2-8280-13bee481cbab","resolution":{"observed_at":"2026-08-14T13:06:33.400266Z","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-14T13:06:33.384597Z","title":"Theoretical Computer Science 412(1-2), 83–96 (2011) 22 H","venue":null,"work_id":"51ade0ec-d4bf-432f-8112-8595e65ee25c","year":2011},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.496241Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:dc3bcd6229a5b6eb19b331fd0c1f6d2ffd67f36717df1b95212fe0065e9cdd3f","observation_id":"a174c345-f35b-43c0-b33d-dc1aeab63096","resolution":{"observed_at":"2026-08-14T13:06:33.388806Z","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-14T13:06:33.372511Z","title":"Journal of the ACM (JACM) 64(1), 7 (2017)","venue":null,"work_id":"e78b984f-94c4-47c1-9de6-03866c2f03fc","year":2017},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.500493Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:f177bd384d9d15d2ca112efcaeec1f93ebaef8e0a3d9a683ca22a03e22caa1b3","observation_id":"ca90930d-29e4-4825-afe4-24342a25f5ae","resolution":{"observed_at":"2026-08-14T13:06:33.376153Z","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-14T13:06:33.360393Z","title":"In: Gabbay, D.M., Hogger, C.J., Robinson, J.A., Siekmann, J.H","venue":null,"work_id":"8272a8c7-fc0a-4c8a-a13a-d76a70395a48","year":1994},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.503784Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:d5c545bc541070d49097d952a295de658139b70a2ec29cca5791ce4718037948","observation_id":"83c56ed8-e097-43d7-a099-f0074f452c4c","resolution":{"observed_at":"2026-08-14T13:06:33.364499Z","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.1016/s0743-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:06:32.691629Z","title":"The Journal of Logic Pro- gramming 31(1), 59 – 83 (1997)","venue":null,"work_id":"7008ae6b-4de6-4411-b003-57b4179e5ab0","year":1997},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.508151Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:864d66e5c325690da01f5d4da198f2aa5d6f3db6d09e8bafef5e53eeba1576b3","observation_id":"9a83e3e2-0cfc-4725-843a-b6c22322ee53","resolution":{"observed_at":"2026-08-14T13:06:32.695923Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"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-14T13:06:33.348367Z","title":"In: Gr¨ adel, E., Thomas, W., Wilke, T","venue":null,"work_id":"69fd755e-f831-4f37-b271-792b21469553","year":null},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.511915Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:e81bf51034d6c24ff329fa7608ae90750928996c0090aa240f7d2a6ba0127192","observation_id":"aec7368a-57e3-4f42-9f84-351112eea6e9","resolution":{"observed_at":"2026-08-14T13:06:33.352550Z","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-14T13:06:33.336132Z","title":"In: International Static Analysis Symposium","venue":null,"work_id":"628a74c1-ecb1-4378-82b7-55f0ed1a7bbc","year":2018},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.515821Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:d62b90a44e0a45abc3e966895bade1b01ae9128bc68bcf82adf84c11a5391150","observation_id":"937fa9f5-e237-4262-9938-c0b274207c56","resolution":{"observed_at":"2026-08-14T13:06:33.339980Z","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-14T13:06:32.520063Z","title":"In: 31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.520063Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:7306fc389a666bd765a3230c01c1b17bf6ed57406da10cade533ecab3e1c2ad2","observation_id":"4d5ea6a4-1860-47c7-b963-2d3d0934a2f0","resolution":{"observed_at":"2026-08-14T13:06:32.520063Z","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-14T13:06:33.324728Z","title":"In: ACM SIGPLAN Notices","venue":null,"work_id":"34fb4ea1-8bc2-4a04-a166-aa88414ae0d3","year":2015},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.523390Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:1c37d8f353b3d57c5f296fa935f00af155677cd8a95e34194d52c067fb767078","observation_id":"b04f0fb9-6190-422c-b660-fcfb2f1b2c7a","resolution":{"observed_at":"2026-08-14T13:06:33.328394Z","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-14T13:06:32.527014Z","title":"In: Proc","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.527014Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:cc65675b806ac6cc268995a72a6091799e667c18abbfac26da2f0977edbb2214","observation_id":"bc4af551-40c8-408e-b48f-7050fc2fcd13","resolution":{"observed_at":"2026-08-14T13:06:32.527014Z","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-14T13:06:33.312777Z","title":"Proceedings of the ACM on Programming Languages 1(OOPSLA), 108 (2017)","venue":null,"work_id":"6922bcbe-b78d-4f23-832d-a5767cdd185b","year":2017},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.531322Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:30f1ed2955d36170f392af70413c3ba62e3ea20f39bb21f66915b85ddb6250b7","observation_id":"443eebc1-3fa0-4544-98bf-660432f7f2b0","resolution":{"observed_at":"2026-08-14T13:06:33.316574Z","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-14T13:06:33.301847Z","title":"ACM SIGPLAN Notices 51(6), 614–630 (2016)","venue":null,"work_id":"5c9d14b7-1685-4bc7-928a-58e7212ad7d0","year":2016},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.534871Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:11a7eec0914b62aad6f25770bcdf72ee25e25ef3b39ed02602946befdc84ec02","observation_id":"4977d835-7789-4787-8eaf-e0bdb11e1f66","resolution":{"observed_at":"2026-08-14T13:06:33.306164Z","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-14T13:06:33.290321Z","title":"In: Classic Papers in Combinatorics, pp","venue":null,"work_id":"454a7cba-5d38-4de8-aa15-84be423da3bf","year":2009},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.538911Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:26c84d7724fd3b2b0b5896ac10638bcb37cfe7b375a48bece4cae29bc2a92d14","observation_id":"473b3233-4d89-48aa-a74f-e4c74c163a7f","resolution":{"observed_at":"2026-08-14T13:06:33.294379Z","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-14T13:06:33.278442Z","title":"IBM Journal of Research and Development 10(5), 388–394 (1966)","venue":null,"work_id":"44cdfd91-89a5-4962-a10c-6b3c3682c188","year":1966},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.542375Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:4d211539e327c5ff319876abefe2d0b16f5638a785858f4d41f18f301542e2b9","observation_id":"256e9252-a128-4c58-85dd-47f678262539","resolution":{"observed_at":"2026-08-14T13:06:33.282692Z","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-14T13:06:33.267028Z","title":"Malaysia; Pear- son Education Limited, (2016)","venue":null,"work_id":"ba931680-5faa-4552-a154-8739487f26c2","year":2016},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.545637Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:57364d17578ed5702f2254621c13c2c353a695a39fa7303a6d25035753ada438","observation_id":"a92edd09-3e10-4aac-8eef-b6a8c157cf54","resolution":{"observed_at":"2026-08-14T13:06:33.270888Z","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.5281/zenodo.3514277","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:06:32.676593Z","title":"https://doi.org/10.5281/zenodo.3514277, https:// doi.org/10.5281/zenodo.3514277","venue":null,"work_id":"4cdba3c5-10a8-4928-9f29-4dd49ebb892b","year":2019},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.549515Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:ab702003fc04f501481f1198c1490b59f370cd649d589a01a71b4b8b334d0c6f","observation_id":"b5340ee3-7a18-460b-aeb2-d017c6caf691","resolution":{"observed_at":"2026-08-14T13:06:32.682169Z","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-14T13:06:33.254937Z","title":null,"venue":null,"work_id":"b2e9ad1f-5abd-40b3-bb3e-1b4763411ddc","year":2000},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.553154Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:76ebd7feaa0cdd24a32243193b081524f8982cd8d2038f1a335e38c292cd6f32","observation_id":"341fa522-ebef-4549-b2c1-8f01ef0d81ca","resolution":{"observed_at":"2026-08-14T13:06:33.259145Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:06:32.556817Z","title":"In: 2014 Formal Methods in Computer-Aided Design (FMCAD)","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.556817Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:47b660912359a5538cb33fe6eb3e18fcc46395800db5794bfdc2e40bffb4cfbf","observation_id":"4026336f-5361-4e81-b286-7a929687f146","resolution":{"observed_at":"2026-08-14T13:06:32.556817Z","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-14T13:06:33.242833Z","title":"In: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods","venue":null,"work_id":"11d053b6-fc7a-4504-ae53-ad8b1960f7ca","year":null},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.560583Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:2f8908ca5b87ff85ce89104b5a41b999675ac1ba05e9229bd6291ae23dd2b4a2","observation_id":"9f80b1ed-0da3-4964-9589-29a87e25741c","resolution":{"observed_at":"2026-08-14T13:06:33.246833Z","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":{"arxiv_id":"1712.06868","last_updated":"2017-12-19T11:17:23Z","snapshot_observed_at":"2026-08-14T20:02:13.990530Z","submitted_at":"2017-12-19T11:17:23Z","title":"Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic","version":1},"cited_work":{"arxiv_id":"1712.06868","doi":null,"metadata_source":"pith","pith_arxiv_id":"1712.06868","snapshot_observed_at":"2026-08-14T13:06:32.707948Z","title":"Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic","venue":"cs.LO","work_id":"d3c08787-fee3-4098-80f7-046cf9c25eeb","year":2017},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.567898Z"},"links":{"cited_paper":"/paper/1712.06868","citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:b2af2887fcd1fd3b968258d1279a6ade323b5ddcf8ad1fda15407d0ebbd08e4f","observation_id":"51b665eb-6424-42a4-8fb7-d513c1b6447d","resolution":{"observed_at":"2026-08-14T13:06:32.712928Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"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-14T13:06:33.220265Z","title":null,"venue":null,"work_id":"5669b6af-9d8e-4271-b0da-bbee58ede9cb","year":null},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.571982Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:99d21e200589857242e4fdae9c1f897cba9a159669431b45473c992947a6c83e","observation_id":"cedfe96e-47f6-431c-9331-4ab6d0f84723","resolution":{"observed_at":"2026-08-14T13:06:33.224232Z","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-14T13:06:33.209018Z","title":"In particular, each admissible winning strategy for the FO safety gameT (s) a gives rise to a strategy for T that enforces noninterference","venue":null,"work_id":"99eb4622-47af-457d-8a51-b2f253ac066e","year":null},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.575901Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:e48ca72e0ccf4efd6f38eccd3133536d2eddd02732f55de265a80191fab712b8","observation_id":"60182fe0-9921-408a-880f-1cdf3909b342","resolution":{"observed_at":"2026-08-14T13:06:33.212994Z","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-14T13:06:33.198841Z","title":null,"venue":null,"work_id":"b155656c-72c2-4edc-b122-9e015bd894b8","year":null},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.579946Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:df1857119e5a5f76f109633bdffad078751d5c8d9b9833e8a3b01ac486dc6e52","observation_id":"ab9e7725-efb3-40fd-b749-cd6b5cb04e3e","resolution":{"observed_at":"2026-08-14T13:06:33.202172Z","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-14T13:06:33.188024Z","title":null,"venue":null,"work_id":"54084695-ea98-49a8-a722-a1d805e29bfb","year":null},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.584098Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:bfe9b62107f53376d6e84f27fcdd9e62799945960dce149f58d5bc299368ed24","observation_id":"becc7609-a3f3-49d7-b07f-41072ef29f13","resolution":{"observed_at":"2026-08-14T13:06:33.191640Z","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-14T13:06:33.176700Z","title":"We first consider the case where there are no equalities, but A- as well as B-edges","venue":null,"work_id":"f6acf29b-9f8b-4dd9-b12e-7074617fdf7f","year":null},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.587940Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:d5b15826fad279a46b22a248d20915d9b1ca76773603b051902d0569097f3c92","observation_id":"d95e4440-d63e-4065-a6f0-395d24491cf6","resolution":{"observed_at":"2026-08-14T13:06:33.180589Z","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-14T13:06:33.164629Z","title":null,"venue":null,"work_id":"06d53b66-0ed9-42b5-bd2a-e1b4d7f0ac3e","year":null},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.591595Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:e4dd92ef6061dcd48262aa90b65996613f2641324914afb72e94a5f008acc158","observation_id":"f90c0909-fab2-4f16-9d5a-eaf5b42dfa2f","resolution":{"observed_at":"2026-08-14T13:06:33.168595Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"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-14T13:06:33.152890Z","title":null,"venue":null,"work_id":"47301ea4-7b2e-497a-bd84-bf341cc1f16e","year":null},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.595601Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:d9452e52a522650f79dca52ac03b95ba9d191f7673ffac6595b3b7c93187aeb3","observation_id":"eba7b147-a712-4c50-8988-292806cc0a94","resolution":{"observed_at":"2026-08-14T13:06:33.156899Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"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-14T13:06:33.141354Z","title":null,"venue":null,"work_id":"104de4be-55c6-4e3f-bff9-53a5375ac645","year":null},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.599282Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:0a8181fe707e19bb1f6c1471ae3f269adf9c0673d093186c287ea066ce12c81d","observation_id":"1621d119-713f-4913-b8a1-acd5c7d1bc3a","resolution":{"observed_at":"2026-08-14T13:06:33.144611Z","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-14T13:06:33.129772Z","title":null,"venue":null,"work_id":"46f193b0-5b98-402d-af17-cb6df89e5f57","year":null},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.603521Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:4b3542d9eaa108c9e5a5f7a073f4cd8c7cee33d270ecd857e76204a5d03e2da5","observation_id":"bda3a042-ddd9-4a2c-a96b-77235a635cd8","resolution":{"observed_at":"2026-08-14T13:06:33.133822Z","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-14T13:06:33.117485Z","title":"Then it is decidable whether T is safe","venue":null,"work_id":"a252cf23-b5dc-448f-824e-9dbc3fe0cc3f","year":null},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.606947Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:16b16e3ded81d3c35a2cb5357171bd856ed3c179eaf8d0ec050ace1be9b75177","observation_id":"18c8bce9-337a-41a3-ad2e-3ef319d98780","resolution":{"observed_at":"2026-08-14T13:06:33.121762Z","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-14T13:06:33.106508Z","title":null,"venue":null,"work_id":"62b5831b-5514-45eb-bd36-f782e553745f","year":null},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.610247Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:3d9b5429f0a83bba94962030c7002e211819266ccd8ce90b1bd16e2740575d8d","observation_id":"571a695f-d8e4-4814-a62b-1f3773b6c1bd","resolution":{"observed_at":"2026-08-14T13:06:33.110324Z","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-14T13:06:33.094657Z","title":"If the assumptions of lemma 11 are met, ϕ♯ is called the weakest strengthening of ϕ by formulas without equalities","venue":null,"work_id":"d264fc92-d6af-465c-a90f-fee5e7e31d7b","year":null},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.614110Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:2947343e23bdc590c8f0611f8f62141736970f31b59be01f6f3c7f6d8a11e909","observation_id":"68b7fdf9-edfb-4349-ba0b-60e120eedaf9","resolution":{"observed_at":"2026-08-14T13:06:33.098428Z","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-14T13:06:33.071857Z","title":"Proof (Proof of theorem 6)","venue":null,"work_id":"6f5ab11b-e1fb-41d4-b523-176e5995aa7d","year":null},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.620951Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:275e1829248396559081b7b5f9f993f10d8bcc03cf76de4d190b105de64c3a8e","observation_id":"3f15bff1-0346-4bd0-8017-66beed84fbdc","resolution":{"observed_at":"2026-08-14T13:06:33.075238Z","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-14T13:06:33.060649Z","title":null,"venue":null,"work_id":"1f538ab1-52a9-4757-928a-4d4f93d5d3a5","year":null},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.625067Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:4fbee8b4cc71301cafead875772fedc408c9c62fd374dd4ffdcdd036cd1598d2","observation_id":"059d9924-7329-4b84-96d2-7de61514843f","resolution":{"observed_at":"2026-08-14T13:06:33.064297Z","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-14T13:06:33.048929Z","title":"Then it is decidable whether T is safe","venue":null,"work_id":"ea843cc2-97e9-4cd4-9823-e4b07598a5dc","year":null},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.628747Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:839afb73b5790334f2159c16b75e84ef8bb1b21e65627a11087e36ef5de91be0","observation_id":"9a054dd8-4282-4664-a006-4ed35048ba27","resolution":{"observed_at":"2026-08-14T13:06:33.052398Z","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-14T13:06:33.036346Z","title":"Then ψ→ ϕi for each i","venue":null,"work_id":"c5d06ff9-3744-4114-9783-74efd5962bd1","year":null},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.632189Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:317af2e0d42ff7cdab399074b233530af36ef4de5194b4adc828869379acb57a","observation_id":"7a657f1e-d265-42fa-99bc-63d078edb187","resolution":{"observed_at":"2026-08-14T13:06:33.041521Z","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-14T13:06:33.023632Z","title":"Assume for a contradiction that ψ∧¬ (ϕ♯ 1∨ϕ♯","venue":null,"work_id":"25a3e1c2-a35e-444b-86bb-969d3bffe182","year":null},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.635946Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:da8b5ca0e9a41a8eade7d416bd0d1ceb480c44cd87f14f141cfab6fbcbef915b","observation_id":"fe52c5eb-59c6-46d0-b428-060e6e5cf23c","resolution":{"observed_at":"2026-08-14T13:06:33.027521Z","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-14T13:06:33.011831Z","title":"Then there is some modelM, assignmentρ so thatM,ρ|=ψ∧¬ϕ♯ 1∧¬ϕ♯","venue":null,"work_id":"621b6d56-788c-4019-943a-f48c730ebafd","year":null},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.639188Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:279e3e0df6b86052ac60d530a56d299f10c89a2615b389e82b0cd78225def313","observation_id":"29232925-650b-4ada-a044-be0cdfbcf63f","resolution":{"observed_at":"2026-08-14T13:06:33.015937Z","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-14T13:06:32.999247Z","title":null,"venue":null,"work_id":"378bbd4a-767c-43e9-ab9b-52977b0ff20c","year":null},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.642446Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:c78be74978131288d9a6eb336a0e98187b200a10b3b35af425e164b3f2168d01","observation_id":"fb7a6039-e2fa-4dd6-ad4c-7ce78267ed81","resolution":{"observed_at":"2026-08-14T13:06:33.002798Z","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-14T13:06:32.987284Z","title":"We conclude that M,ρ|=ϕi∧¬ϕ1∧¬ϕ2 holds — contradiction","venue":null,"work_id":"a854c59b-0292-4d8d-9459-945926dfa25e","year":null},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.645574Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:5fea2cf0712b037c4e0d5ab0c9036d12befb39352fa2ab959ad546b7a6c13ffb","observation_id":"9c9d767c-dc9c-4fb1-b3dd-8f091ae5eedb","resolution":{"observed_at":"2026-08-14T13:06:32.991274Z","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-14T13:06:33.083849Z","title":null,"venue":null,"work_id":"a0437123-48e2-4f13-bebf-0dee07e2af14","year":null},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.648942Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:80a3f18bf65984513b7db4057212e3f6b43a5da97f4c857e50ce64fd6b508994","observation_id":"8902090e-0540-4b06-b7ba-f86bfc4c159b","resolution":{"observed_at":"2026-08-14T13:06:33.087724Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"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-14T13:06:32.975525Z","title":null,"venue":null,"work_id":"d8d86848-7be3-4ee1-96e9-2d357da2949a","year":null},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.652048Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:67d04cd30b337134fc2d8f1c342e3f11b4d57b3c16db645d3e21b83ea86d1c35","observation_id":"1b02cfb9-4b1d-4663-8fc7-4b5219a345f9","resolution":{"observed_at":"2026-08-14T13:06:32.979542Z","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-14T13:06:33.232003Z","title":null,"venue":null,"work_id":"ce0878c5-1c9e-47a6-8e3e-8089fe67af57","year":2015},"citing_paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games","version":2},"reference_index":269,"source":"pdf_text","source_observed_at":"2026-08-14T13:06:32.564351Z"},"links":{"citing_paper":"/paper/1908.05964"},"observation_digest":"sha256:b1b7e0d04e6ed3a4f4c824823e3bc0aa3d095f59d9cf18e0c53e9411e08a76a1","observation_id":"f01fe1f8-08a9-43f0-a60e-184238a09040","resolution":{"observed_at":"2026-08-14T13:06:33.235500Z","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"}}],"paper":{"arxiv_id":"1908.05964","last_updated":"2019-11-14T03:39:28Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-14T12:57:11.774014Z","submitted_at":"2019-08-16T13:19:13Z","title":"How to Win First-Order Safety Games"},"reference_resolution":{"displayed":59,"state_counts":{"malformed_identifier":1,"metadata_mismatch":1,"parse_uncertain":3,"unresolved":18,"verified_exact":1,"verified_fuzzy":35},"total_outbound_references":59},"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 59 of 59 outbound references and 0 inbound Pith citation observations for arXiv:1908.05964."}