Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T13:06:32.652048Z
Paper Citation Record · LEDGER
How to Win First-Order Safety Games
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.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
59 of 59 outbound references displayed
- verified exact1
- verified fuzzy35
- unresolved18
- parse uncertain3
- malformed identifier1
- metadata mismatch1
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 94585afb-ef56-4fe5-8d1f-f1c608182be6 · outbound
This paper cites Mathematische Annalen 110, 390–413 (1935).
How to Win First-Order Safety Games Mathematische Annalen 110, 390–413 (1935)
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.561649Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 91d9f953-9735-40c6-9a61-c710ed6b0e55 · outbound
This paper cites In: Proc.
How to Win First-Order Safety Games In: Proc
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.550090Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 0991e1b1-1cc4-44ed-a101-73be01d37b74 · outbound
This paper cites In: ACM Sigplan Notices.
How to Win First-Order Safety Games In: ACM Sigplan Notices
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.539550Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 85b49623-08c9-47a5-b98c-c2cbd1b81c82 · outbound
This paper cites Mathematische Annalen 86(3-4), 163–229 (1922).
How to Win First-Order Safety Games Mathematische Annalen 86(3-4), 163–229 (1922)
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.528079Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a50ff261-e57c-4829-9d60-73ca0cc1dd21 · outbound
This paper cites Springer Sci- ence & Business Media (2001).
How to Win First-Order Safety Games Springer Sci- ence & Business Media (2001)
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.516483Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation c7cc903e-3918-45d2-b31b-1733b77b8878 · outbound
This paper cites an unresolved cited work.
How to Win First-Order Safety Games Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:06:33.503942Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d8c076f3-4dbd-4a0e-9857-d615c54a566e · outbound
This paper cites an unresolved cited work.
How to Win First-Order Safety Games Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:06:33.492347Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 83b4b0ab-0443-4dc8-b836-86a07a021154 · outbound
This paper cites MIT press (1992).
How to Win First-Order Safety Games MIT press (1992)
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.481652Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f202a084-0508-4408-a15d-e4e49d1f5174 · outbound
This paper cites In: International Work- shop on Verification, Model Checking, and Abstract Interpretation.
How to Win First-Order Safety Games In: International Work- shop on Verification, Model Checking, and Abstract Interpretation
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.468368Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e922cf05-3f6a-4124-b949-0039af5f5eb0 · outbound
This paper cites In: International conference on Tools and Algorithms for the Construction and Analysis of Systems.
How to Win First-Order Safety Games In: International conference on Tools and Algorithms for the Construction and Analysis of Systems
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.457294Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 21a4601d-eede-4056-8d31-a2cac0536b8f · outbound
This paper cites In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008.
How to Win First-Order Safety Games In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.445475Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ebe43513-9556-46cc-b6a2-39c9caba0918 · outbound
This paper cites In: Jurdzi´ nski, M., Niˇ ckovi´ c, D.
How to Win First-Order Safety Games In: Jurdzi´ nski, M., Niˇ ckovi´ c, D
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.434003Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 163cedb7-9591-4923-80b6-84568be86feb · outbound
This paper cites In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017.
How to Win First-Order Safety Games In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:06:32.475760Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b70d563e-3469-430a-a5aa-d63c436a652b · outbound
This paper cites In: Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016).
How to Win First-Order Safety Games In: Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016)
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.422476Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation fce6724b-d2e6-4299-82a1-aae2daebd0be · outbound
This paper cites College Publications (2008).
How to Win First-Order Safety Games College Publications (2008)
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.411555Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation bd589896-0b4d-43f1-8ca7-13564289f64e · outbound
This paper cites Evolving Algebras 1993: Lipari Guide.
How to Win First-Order Safety Games Evolving Algebras 1993: Lipari Guide
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:06:32.487977Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ecbc6f6b-a947-46b2-8280-13bee481cbab · outbound
This paper cites In: Proc.
How to Win First-Order Safety Games In: Proc
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.400266Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a174c345-f35b-43c0-b33d-dc1aeab63096 · outbound
This paper cites Theoretical Computer Science 412(1-2), 83–96 (2011) 22 H.
How to Win First-Order Safety Games Theoretical Computer Science 412(1-2), 83–96 (2011) 22 H
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.388806Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ca90930d-29e4-4825-afe4-24342a25f5ae · outbound
This paper cites Journal of the ACM (JACM) 64(1), 7 (2017).
How to Win First-Order Safety Games Journal of the ACM (JACM) 64(1), 7 (2017)
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.376153Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 83c56ed8-e097-43d7-a099-f0074f452c4c · outbound
This paper cites In: Gabbay, D.M., Hogger, C.J., Robinson, J.A., Siekmann, J.H.
How to Win First-Order Safety Games In: Gabbay, D.M., Hogger, C.J., Robinson, J.A., Siekmann, J.H
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.364499Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 9a83e3e2-0cfc-4725-843a-b6c22322ee53 · outbound
This paper cites The Journal of Logic Pro- gramming 31(1), 59 – 83 (1997).
How to Win First-Order Safety Games The Journal of Logic Pro- gramming 31(1), 59 – 83 (1997)
Reference 21
- Resolution
- malformed identifier
- doi_truncated, observed 2026-08-14T13:06:32.695923Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation aec7368a-57e3-4f42-9f84-351112eea6e9 · outbound
This paper cites In: Gr¨ adel, E., Thomas, W., Wilke, T.
How to Win First-Order Safety Games In: Gr¨ adel, E., Thomas, W., Wilke, T
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.352550Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 937fa9f5-e237-4262-9938-c0b274207c56 · outbound
This paper cites In: International Static Analysis Symposium.
How to Win First-Order Safety Games In: International Static Analysis Symposium
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.339980Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 4d5ea6a4-1860-47c7-b963-2d3d0934a2f0 · outbound
This paper cites In: 31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018.
How to Win First-Order Safety Games In: 31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:06:32.520063Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b04f0fb9-6190-422c-b660-fcfb2f1b2c7a · outbound
This paper cites In: ACM SIGPLAN Notices.
How to Win First-Order Safety Games In: ACM SIGPLAN Notices
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.328394Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation bc4af551-40c8-408e-b48f-7050fc2fcd13 · outbound
This paper cites In: Proc.
How to Win First-Order Safety Games In: Proc
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:06:32.527014Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 443eebc1-3fa0-4544-98bf-660432f7f2b0 · outbound
This paper cites Proceedings of the ACM on Programming Languages 1(OOPSLA), 108 (2017).
How to Win First-Order Safety Games Proceedings of the ACM on Programming Languages 1(OOPSLA), 108 (2017)
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.316574Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 4977d835-7789-4787-8eaf-e0bdb11e1f66 · outbound
This paper cites ACM SIGPLAN Notices 51(6), 614–630 (2016).
How to Win First-Order Safety Games ACM SIGPLAN Notices 51(6), 614–630 (2016)
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.306164Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 473b3233-4d89-48aa-a74f-e4c74c163a7f · outbound
This paper cites In: Classic Papers in Combinatorics, pp.
How to Win First-Order Safety Games In: Classic Papers in Combinatorics, pp
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.294379Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 256e9252-a128-4c58-85dd-47f678262539 · outbound
This paper cites IBM Journal of Research and Development 10(5), 388–394 (1966).
How to Win First-Order Safety Games IBM Journal of Research and Development 10(5), 388–394 (1966)
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.282692Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a92edd09-3e10-4aac-8eef-b6a8c157cf54 · outbound
This paper cites Malaysia; Pear- son Education Limited, (2016).
How to Win First-Order Safety Games Malaysia; Pear- son Education Limited, (2016)
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.270888Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation b5340ee3-7a18-460b-aeb2-d017c6caf691 · outbound
This paper cites https://doi.org/10.5281/zenodo.3514277, https:// doi.org/10.5281/zenodo.3514277.
How to Win First-Order Safety Games https://doi.org/10.5281/zenodo.3514277, https:// doi.org/10.5281/zenodo.3514277
Reference 32
- Resolution
- verified exact
- doi, observed 2026-08-14T13:06:32.682169Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 341fa522-ebef-4549-b2c1-8f01ef0d81ca · outbound
This paper cites an unresolved cited work.
How to Win First-Order Safety Games Unresolved cited work
Reference 33
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:06:33.259145Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 4026336f-5361-4e81-b286-7a929687f146 · outbound
This paper cites In: 2014 Formal Methods in Computer-Aided Design (FMCAD).
How to Win First-Order Safety Games In: 2014 Formal Methods in Computer-Aided Design (FMCAD)
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:06:32.556817Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9f80b1ed-0da3-4964-9589-29a87e25741c · outbound
This paper cites In: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods.
How to Win First-Order Safety Games In: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.246833Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 51b665eb-6424-42a4-8fb7-d513c1b6447d · outbound
This paper cites Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic.
How to Win First-Order Safety Games Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic
Reference 36
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-14T13:06:32.712928Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation cedfe96e-47f6-431c-9331-4ab6d0f84723 · outbound
This paper cites an unresolved cited work.
How to Win First-Order Safety Games Unresolved cited work
Reference 38
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:06:33.224232Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 60182fe0-9921-408a-880f-1cdf3909b342 · outbound
This paper cites In particular, each admissible winning strategy for the FO safety gameT (s) a gives rise to a strategy for T that enforces noninterference.
How to Win First-Order Safety Games In particular, each admissible winning strategy for the FO safety gameT (s) a gives rise to a strategy for T that enforces noninterference
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.212994Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ab9e7725-efb3-40fd-b749-cd6b5cb04e3e · outbound
This paper cites an unresolved cited work.
How to Win First-Order Safety Games Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:06:33.202172Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation becc7609-a3f3-49d7-b07f-41072ef29f13 · outbound
This paper cites an unresolved cited work.
How to Win First-Order Safety Games Unresolved cited work
Reference 41
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:06:33.191640Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d95e4440-d63e-4065-a6f0-395d24491cf6 · outbound
This paper cites We first consider the case where there are no equalities, but A- as well as B-edges.
How to Win First-Order Safety Games We first consider the case where there are no equalities, but A- as well as B-edges
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.180589Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f90c0909-fab2-4f16-9d5a-eaf5b42dfa2f · outbound
This paper cites an unresolved cited work.
How to Win First-Order Safety Games Unresolved cited work
Reference 43
- Resolution
- parse uncertain
- raw_fallback, observed 2026-08-14T13:06:33.168595Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation eba7b147-a712-4c50-8988-292806cc0a94 · outbound
This paper cites an unresolved cited work.
How to Win First-Order Safety Games Unresolved cited work
Reference 44
- Resolution
- parse uncertain
- raw_fallback, observed 2026-08-14T13:06:33.156899Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 1621d119-713f-4913-b8a1-acd5c7d1bc3a · outbound
This paper cites an unresolved cited work.
How to Win First-Order Safety Games Unresolved cited work
Reference 45
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:06:33.144611Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation bda3a042-ddd9-4a2c-a96b-77235a635cd8 · outbound
This paper cites an unresolved cited work.
How to Win First-Order Safety Games Unresolved cited work
Reference 46
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:06:33.133822Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 18c8bce9-337a-41a3-ad2e-3ef319d98780 · outbound
This paper cites Then it is decidable whether T is safe.
How to Win First-Order Safety Games Then it is decidable whether T is safe
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.121762Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 571a695f-d8e4-4814-a62b-1f3773b6c1bd · outbound
This paper cites an unresolved cited work.
How to Win First-Order Safety Games Unresolved cited work
Reference 48
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:06:33.110324Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 68b7fdf9-edfb-4349-ba0b-60e120eedaf9 · outbound
This paper cites If the assumptions of lemma 11 are met, ϕ♯ is called the weakest strengthening of ϕ by formulas without equalities.
How to Win First-Order Safety Games If the assumptions of lemma 11 are met, ϕ♯ is called the weakest strengthening of ϕ by formulas without equalities
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.098428Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 3f15bff1-0346-4bd0-8017-66beed84fbdc · outbound
This paper cites Proof (Proof of theorem 6).
How to Win First-Order Safety Games Proof (Proof of theorem 6)
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.075238Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 059d9924-7329-4b84-96d2-7de61514843f · outbound
This paper cites an unresolved cited work.
How to Win First-Order Safety Games Unresolved cited work
Reference 52
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:06:33.064297Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 9a054dd8-4282-4664-a006-4ed35048ba27 · outbound
This paper cites Then it is decidable whether T is safe.
How to Win First-Order Safety Games Then it is decidable whether T is safe
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.052398Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 7a657f1e-d265-42fa-99bc-63d078edb187 · outbound
This paper cites Then ψ→ ϕi for each i.
How to Win First-Order Safety Games Then ψ→ ϕi for each i
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.041521Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation fe52c5eb-59c6-46d0-b428-060e6e5cf23c · outbound
This paper cites Assume for a contradiction that ψ∧¬ (ϕ♯ 1∨ϕ♯.
How to Win First-Order Safety Games Assume for a contradiction that ψ∧¬ (ϕ♯ 1∨ϕ♯
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.027521Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 29232925-650b-4ada-a044-be0cdfbcf63f · outbound
This paper cites Then there is some modelM, assignmentρ so thatM,ρ|=ψ∧¬ϕ♯ 1∧¬ϕ♯.
How to Win First-Order Safety Games Then there is some modelM, assignmentρ so thatM,ρ|=ψ∧¬ϕ♯ 1∧¬ϕ♯
Reference 56
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:33.015937Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation fb7a6039-e2fa-4dd6-ad4c-7ce78267ed81 · outbound
This paper cites an unresolved cited work.
How to Win First-Order Safety Games Unresolved cited work
Reference 57
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:06:33.002798Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 9c9d767c-dc9c-4fb1-b3dd-8f091ae5eedb · outbound
This paper cites We conclude that M,ρ|=ϕi∧¬ϕ1∧¬ϕ2 holds — contradiction.
How to Win First-Order Safety Games We conclude that M,ρ|=ϕi∧¬ϕ1∧¬ϕ2 holds — contradiction
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:06:32.991274Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 8902090e-0540-4b06-b7ba-f86bfc4c159b · outbound
This paper cites an unresolved cited work.
How to Win First-Order Safety Games Unresolved cited work
Reference 59
- Resolution
- parse uncertain
- raw_fallback, observed 2026-08-14T13:06:33.087724Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 1b02cfb9-4b1d-4663-8fc7-4b5219a345f9 · outbound
This paper cites an unresolved cited work.
How to Win First-Order Safety Games Unresolved cited work
Reference 60
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:06:32.979542Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f01fe1f8-08a9-43f0-a60e-184238a09040 · outbound
This paper cites an unresolved cited work.
How to Win First-Order Safety Games Unresolved cited work
Reference 269
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:06:33.235500Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Pith citing papers
No inbound Pith citation observations are available.