Paper Citation Record · LEDGER

Implicit Rankings for Verifying Liveness Properties in First-Order Logic

As of 23 August 2026, this Paper Citation Record lists 56 of 56 outbound references and 0 inbound Pith citation observations for arXiv:2412.13996.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2412.13996 v1

Coverage vector

measured 56 of 56 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-11T12:43:50.489518Z

measured 56 of 56 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

56 of 56 outbound references displayed

verified exact14
verified fuzzy5
unresolved30
parse uncertain1
malformed identifier0
metadata mismatch6

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation cfdedc23-17f7-442e-8dd6-f84e342716ce · outbound

This paper cites an unresolved cited work.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Unresolved cited work

Reference 1

Resolution: verified exact; doi, observed 2026-08-11T12:43:51.036060Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation f38f78a7-4f35-4d3d-abe8-8758394a39fd · outbound

This paper cites Distributed Comput.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Distributed Comput

Reference 2

Resolution: verified exact; doi, observed 2026-08-11T12:43:51.016089Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 6608e388-a4c0-4649-a794-aec2ba1ab98c · outbound

This paper cites In: Cleaveland, R., Garavel, H.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic In: Cleaveland, R., Garavel, H

Reference 3

Resolution: verified exact; doi, observed 2026-08-11T12:43:50.998305Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 004121bc-89cb-424b-be70-75931396dcb0 · outbound

This paper cites an unresolved cited work.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Unresolved cited work

Reference 4

Resolution: metadata mismatch; raw_fallback, observed 2026-08-11T12:43:51.781748Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 205db3a2-7ba4-4d62-9b9d-1bf9e9b12b9b · outbound

This paper cites In: Hankin, C., Siveroni, I.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic In: Hankin, C., Siveroni, I

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-11T12:43:50.224404Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96ab89e7-847a-4222-9a10-f4abf4dd1848 · outbound

This paper cites In: Schwartzbach, M.I., Ball, T.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic In: Schwartzbach, M.I., Ball, T

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-11T12:43:50.229820Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2bd2e3b3-10f1-4f6d-8ce0-ded7cf84f7d9 · outbound

This paper cites Index of symmetry and topological classification of asymmetric normed spaces.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Index of symmetry and topological classification of asymmetric normed spaces

Reference 7

Resolution: metadata mismatch; local_arxiv, observed 2026-08-11T12:43:51.624348Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation c2994223-714d-4876-b66d-c0836c692a24 · outbound

This paper cites In: Cousot, R.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic In: Cousot, R

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-11T12:43:50.239637Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a7c5900-a774-44f7-a73d-f329ef919365 · outbound

This paper cites In: Chaudhuri, S., Farzan, A.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic In: Chaudhuri, S., Farzan, A

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-11T12:43:50.244175Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e41ea878-ed78-4250-bbb5-11968b0db7d1 · outbound

This paper cites : Fairness modulo the- ory: A new approach to LTL software model checking.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic : Fairness modulo the- ory: A new approach to LTL software model checking

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-11T12:43:50.248706Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e79ebfd8-2b57-48b9-9413-89ea34547b31 · outbound

This paper cites an unresolved cited work.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:43:52.067212Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 2a3baec0-40db-4fcc-894d-6b1f7e46a428 · outbound

This paper cites an unresolved cited work.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Unresolved cited work

Reference 12

Resolution: metadata mismatch; raw_fallback, observed 2026-08-11T12:43:51.596684Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 7bf9c8c5-a5f8-4c97-9285-723781a3e40f · outbound

This paper cites Distributed Comput.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Distributed Comput

Reference 13

Resolution: verified exact; doi, observed 2026-08-11T12:43:50.927843Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation f2c27d8e-938c-46bd-aa21-701397d4e4cf · outbound

This paper cites an unresolved cited work.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-11T12:43:50.267498Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f94d396f-eee6-475f-86fd-5db1092202ad · outbound

This paper cites Axe 'Em: Eliminating Spurious States with Induction Axioms.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Axe 'Em: Eliminating Spurious States with Induction Axioms

Reference 15

Resolution: metadata mismatch; local_arxiv, observed 2026-08-11T12:43:50.893700Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation a8d92753-f927-4256-967a-e0ccfc44d91a · outbound

This paper cites an unresolved cited work.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Unresolved cited work

Reference 16

Resolution: verified exact; doi, observed 2026-08-11T12:43:50.855061Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation dbe7a330-3f97-41d0-963f-0f10692b080b · outbound

This paper cites In: Grohe, M., Koskinen, E., Shankar, N.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic In: Grohe, M., Koskinen, E., Shankar, N

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-11T12:43:50.281727Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee6e6c62-931d-4bb2-aa40-d475463cd539 · outbound

This paper cites an unresolved cited work.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-11T12:43:50.286057Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 734874aa-27f0-4382-94a6-ca48a700eb20 · outbound

This paper cites an unresolved cited work.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Unresolved cited work

Reference 19

Resolution: verified exact; doi, observed 2026-08-11T12:43:50.827136Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 8ca072a2-26c7-4b54-8343-13a8e60c1940 · outbound

This paper cites an unresolved cited work.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:43:52.047997Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 09c60960-6bac-4d0a-af00-fe28f871912c · outbound

This paper cites ACM Trans.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic ACM Trans

Reference 21

Resolution: metadata mismatch; raw_fallback, observed 2026-08-11T12:43:51.360705Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 53965dd8-ecac-4550-bbfd-2c2ac0555dc0 · outbound

This paper cites an unresolved cited work.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-11T12:43:50.305018Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 27cc8c37-31f7-406f-a75b-2bf7596b8142 · outbound

This paper cites In: Hung, D.V., Ogawa, M.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic In: Hung, D.V., Ogawa, M

Reference 23

Resolution: verified exact; doi, observed 2026-08-11T12:43:50.799430Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation a01ff0fa-5cbd-4f54-bb16-15259f8f601b · outbound

This paper cites an unresolved cited work.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Unresolved cited work

Reference 24

Resolution: verified exact; doi, observed 2026-08-11T12:43:50.780722Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 570ff777-60f7-4b92-acbe-ac85fc8238eb · outbound

This paper cites In: Programming Languages and Systems.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic In: Programming Languages and Systems

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T12:43:52.028254Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 6dda6844-55c9-4faf-9c17-1aeaf5c5151c · outbound

This paper cites an unresolved cited work.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Unresolved cited work

Reference 26

Resolution: verified exact; doi, observed 2026-08-11T12:43:50.763423Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation d8727faa-1b92-4809-b1d2-9171d64d5dda · outbound

This paper cites Proving Cutoff Bounds for Safety Properties in First-Order Logic.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Proving Cutoff Bounds for Safety Properties in First-Order Logic

Reference 27

Resolution: verified exact; local_arxiv, observed 2026-08-11T12:43:51.263240Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 08f917d3-e255-4030-90c6-de2bff3ecd51 · outbound

This paper cites https://github.com/Lotan-Raz/Implicit-Rankings-FOL (2025).

Implicit Rankings for Verifying Liveness Properties in First-Order Logic https://github.com/Lotan-Raz/Implicit-Rankings-FOL (2025)

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T12:43:52.008297Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 8b1804e5-656f-4219-b15d-cf339accb89c · outbound

This paper cites an unresolved cited work.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Unresolved cited work

Reference 29

Resolution: verified exact; doi, observed 2026-08-11T12:43:50.744412Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 0c95e7c0-9757-4cf8-97c7-e36aff8382e9 · outbound

This paper cites In: Gur ﬁnkel, A., Ganesh, V.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic In: Gur ﬁnkel, A., Ganesh, V

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-11T12:43:50.346171Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 063b5eeb-c7f6-4dbf-80c8-73e9d65488cc · outbound

This paper cites In: Tools and Al- gorithms for the Construction and Analysis of Systems, 14th International Con- ference, TACAS 2008, Budapest, Hungary, March 29-April 6, 2 008.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic In: Tools and Al- gorithms for the Construction and Analysis of Systems, 14th International Con- ference, TACAS 2008, Budapest, Hungary, March 29-April 6, 2 008

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-11T12:43:50.351331Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e291dab6-c77b-456d-b06f-10cc28493476 · outbound

This paper cites In: Herman, T., Tixeu il, S.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic In: Herman, T., Tixeu il, S

Reference 32

Resolution: verified exact; doi, observed 2026-08-11T12:43:50.703598Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 88f77968-6375-4bd8-84dc-ce2ec3e7c571 · outbound

This paper cites an unresolved cited work.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-11T12:43:50.361540Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b87337c7-a53f-41c8-9c1d-9a1347988a8a · outbound

This paper cites Formal Methods Syst.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Formal Methods Syst

Reference 34

Resolution: verified exact; doi, observed 2026-08-11T12:43:50.670770Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 121fa85b-4c21-4945-addd-058321ea8361 · outbound

This paper cites an unresolved cited work.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-11T12:43:50.371702Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b8895e1-ba44-4827-83ec-8432366e7f61 · outbound

This paper cites In: PLDI ’16: Procee dings of the 37th ACM SIGPLAN Conference on Programming Language Design and Impl ementation.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic In: PLDI ’16: Procee dings of the 37th ACM SIGPLAN Conference on Programming Language Design and Impl ementation

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-11T12:43:50.376401Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 236e7f55-dced-44d3-9c42-a01f8e929471 · outbound

This paper cites In: Steﬀen, B., Levi, G.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic In: Steﬀen, B., Levi, G

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-11T12:43:50.380731Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92d7f1f8-c3f2-4fd0-9347-1bf53a3dbe52 · outbound

This paper cites Word Interdependence Exposes How LSTMs Compose Representations.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Word Interdependence Exposes How LSTMs Compose Representations

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-11T12:43:50.385204Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 087247e3-ed5f-488f-90f8-1c75893fd85a · outbound

This paper cites In: Gavrilovska, A., Terry, D.B.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic In: Gavrilovska, A., Terry, D.B

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T12:43:51.990153Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 4b025483-7960-4d94-bebc-23715ddfa5a2 · outbound

This paper cites an unresolved cited work.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Unresolved cited work

Reference 40

Resolution: verified exact; doi, observed 2026-08-11T12:43:50.617197Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 416a39e1-acdb-47f1-ad8d-f86b240fbf93 · outbound

This paper cites , Shoham, S., Wilcox, J.R., Woos, D.: Modularity for decidability of deductive ve riﬁcation with ap- plications to distributed systems.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic , Shoham, S., Wilcox, J.R., Woos, D.: Modularity for decidability of deductive ve riﬁcation with ap- plications to distributed systems

Reference 41

Resolution: metadata mismatch; raw_fallback, observed 2026-08-11T12:43:51.147758Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 4ecf8a85-368d-4b82-8c82-75c3e60fe866 · outbound

This paper cites an unresolved cited work.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Unresolved cited work

Reference 42

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:43:51.973416Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 3d3bc212-10a1-4491-96cb-68de71780421 · outbound

This paper cites In: Chechik, M., Raskin, J.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic In: Chechik, M., Raskin, J

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-11T12:43:50.409600Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29bb2835-9db2-4b5d-8eef-8480f3560db4 · outbound

This paper cites In: Shao, Z.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic In: Shao, Z

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-11T12:43:50.415690Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3501670f-f663-47f2-8e60-bfa8bbeb5fba · outbound

This paper cites In: Moller, F., Birtwistle, G.M.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic In: Moller, F., Birtwistle, G.M

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-11T12:43:50.420946Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0b39f5d3-60bf-4037-bb0b-aa3e4268409d · outbound

This paper cites an unresolved cited work.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Unresolved cited work

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-11T12:43:50.426834Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d474ec32-69d9-4a7a-aa34-3f6b3e1a52e5 · outbound

This paper cites an unresolved cited work.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Unresolved cited work

Reference 47

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:43:51.955408Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 886a1f61-1c8c-474f-b152-72b1672808c5 · outbound

This paper cites an unresolved cited work.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Unresolved cited work

Reference 48

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:43:51.938677Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 3db069f6-5519-416e-9b32-ab31637e6411 · outbound

This paper cites For reduction: (s0,v 0), (s1,v 1) |= ϕ<(y0, y1) as before (s0,v t 0), (s1,v t.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic For reduction: (s0,v 0), (s1,v 1) |= ϕ<(y0, y1) as before (s0,v t 0), (s1,v t

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T12:43:51.920771Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation c8bf300b-7902-4b87-9964-90a80b9610ec · outbound

This paper cites an unresolved cited work.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Unresolved cited work

Reference 50

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:43:51.902794Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation f3d0565c-1aea-4f7a-8c97-403d6638445d · outbound

This paper cites an unresolved cited work.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Unresolved cited work

Reference 51

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:43:51.885242Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 57a7d188-5106-4f1d-8a43-89b90f6e5ef5 · outbound

This paper cites an unresolved cited work.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Unresolved cited work

Reference 52

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:43:51.868065Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 90d30bf1-3be6-4e5b-a7a2-bc8088d04d67 · outbound

This paper cites It is easy to verify that this deﬁnes a wfpo.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic It is easy to verify that this deﬁnes a wfpo

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T12:43:51.851960Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation c17a38e3-9ea7-4cc4-a581-64be05d45251 · outbound

This paper cites an unresolved cited work.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Unresolved cited work

Reference 54

Resolution: parse uncertain; raw_fallback, observed 2026-08-11T12:43:51.834867Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 1df455f7-63d1-4590-b44b-d3c14e612c7a · outbound

This paper cites an unresolved cited work.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Unresolved cited work

Reference 55

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:43:51.817578Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation aff9212d-930d-4a28-a126-7b6c1aad9e6a · outbound

This paper cites an unresolved cited work.

Implicit Rankings for Verifying Liveness Properties in First-Order Logic Unresolved cited work

Reference 56

Resolution: unresolved; raw_fallback, observed 2026-08-11T12:43:51.800838Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Pith citing papers

No inbound Pith citation observations are available.