Paper Citation Record · LEDGER

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property

As of 4 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 1 inbound Pith citation observation for arXiv:2605.05840.

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

pith.paper-citation-record.v1
2605.05840 v2

Coverage vector

measured 17 of 17 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-14T22:15:17.197524Z

measured 18 of 18 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-04T06:34:03.388597+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-05-14T22:15:17.197524Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-05-14T22:18:04.628241Z

Reference resolution

17 of 17 outbound references displayed

verified exact11
verified fuzzy1
unresolved0
parse uncertain0
malformed identifier2
metadata mismatch3

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 8109c3ff-2ec6-4cf0-8d25-58db1d1115c0 · outbound

This paper cites Decidable fragments of many-sorted logic.J.

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property Decidable fragments of many-sorted logic.J

Reference 1

Resolution: verified exact; doi, observed 2026-05-14T22:18:03.624922Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation af6b69eb-404f-4d14-a29b-4641c42b53e1 · outbound

This paper cites Automata-based presentations of infinite structures.

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property Automata-based presentations of infinite structures

Reference 2

Resolution: malformed identifier; raw_fallback, observed 2026-05-14T22:39:34.456794Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 725b6499-6403-4027-b0b6-951de2162425 · outbound

This paper cites Automata, Languages and Programming.

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property Automata, Languages and Programming

Reference 3

Resolution: metadata mismatch; doi, observed 2026-05-14T22:18:03.653577Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 85004ebc-c6d5-41f9-a5ee-9d74d0a98ab5 · outbound

This paper cites 1007/s00224-004-1133-y,doi:10.1007/S00224-004-1133-Y.

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property 1007/s00224-004-1133-y,doi:10.1007/S00224-004-1133-Y

Reference 4

Resolution: verified exact; doi, observed 2026-05-14T22:18:03.635267Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation cbac874f-0f04-4c9f-b728-0267e1e59bf1 · outbound

This paper cites Richard and Landweber, Lawrence H.

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property Richard and Landweber, Lawrence H

Reference 5

Resolution: verified exact; doi, observed 2026-05-14T22:18:03.598343Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 4dac61ce-efef-49f4-8033-d29473a48b1b · outbound

This paper cites 14 Neta Elad.

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property 14 Neta Elad

Reference 6

Resolution: verified exact; doi, observed 2026-05-14T22:18:03.630339Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 0f1dba34-898d-40ee-a07e-e0207e000714 · outbound

This paper cites Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property.

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property

Reference 7

Resolution: verified exact; local_arxiv, observed 2026-05-14T22:18:04.631469Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 79d92758-2253-424a-a43a-eed1dda7032c · outbound

This paper cites Characterising choiceless polynomial time with first-order interpretations.

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property Characterising choiceless polynomial time with first-order interpretations

Reference 8

Resolution: verified exact; doi, observed 2026-05-14T22:18:03.649358Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation a8a367e7-6e9e-4553-b7b1-6ed613c97bd8 · outbound

This paper cites The TAMARIN Prover for the Symbolic Analysis of Security Protocols.

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property The TAMARIN Prover for the Symbolic Analysis of Security Protocols

Reference 9

Resolution: verified exact; doi, observed 2026-05-14T22:18:03.613608Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation b3c4283f-d5b4-419e-a1d1-b2d4e61147c9 · outbound

This paper cites Automatic presentations of structures.

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property Automatic presentations of structures

Reference 10

Resolution: verified exact; doi, observed 2026-05-14T22:18:03.603553Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 22af6bfc-d8fb-40ab-b45b-3f533ee735d0 · outbound

This paper cites Available from http://www.brics.dk/mona/.

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property Available from http://www.brics.dk/mona/

Reference 11

Resolution: verified exact; doi, observed 2026-05-14T22:18:03.640582Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation a0c6b5b0-ed2c-49f7-9333-29b6aeae1ac4 · outbound

This paper cites On the formal verification of the stellar consensus protocol.

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property On the formal verification of the stellar consensus protocol

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T22:39:34.467678Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 810cf1bb-0115-4e53-8fe7-00d5fbc56222 · outbound

This paper cites URL: https://doi.org/10.4230/OASIcs.FMBC.2020.9, doi:10.4230/OASICS.FMBC.2020.9.

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property URL: https://doi.org/10.4230/OASIcs.FMBC.2020.9, doi:10.4230/OASICS.FMBC.2020.9

Reference 13

Resolution: verified exact; doi, observed 2026-05-14T22:18:03.608507Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation ec22d88a-9563-4454-aec3-4a36bc565942 · outbound

This paper cites 28 Kenneth L.

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property 28 Kenneth L

Reference 14

Resolution: verified exact; doi, observed 2026-05-14T22:18:03.620453Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 8e63400f-6631-4adc-bb6d-d7b1a72c7a8f · outbound

This paper cites In: SAS ’18.

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property In: SAS ’18

Reference 15

Resolution: metadata mismatch; doi, observed 2026-05-14T22:18:03.644630Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 2d06e78a-5914-4c7a-bc85-4db2288c6f4a · outbound

This paper cites Pinpoint: fast and precise sparse value flow analysis for million lines of code.

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property Pinpoint: fast and precise sparse value flow analysis for million lines of code

Reference 16

Resolution: metadata mismatch; arxiv_id, observed 2026-05-14T22:18:03.591461Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation e8bfc581-3708-4641-82a9-becbd00d3f46 · outbound

This paper cites locations.

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property locations

Reference 17

Resolution: malformed identifier; raw_fallback, observed 2026-05-14T22:39:34.462685Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Pith citing papers

Observation 0f1dba34-898d-40ee-a07e-e0207e000714 · inbound