Paper Citation Record · LEDGER

Low rank MSO

As of 9 August 2026, this Paper Citation Record lists 23 of 23 outbound references and 2 inbound Pith citation observations for arXiv:2502.08476.

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

pith.paper-citation-record.v1
2502.08476 v1

Coverage vector

measured 23 of 23 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-08T05:05:50.605660Z

measured 25 of 25 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-07-13T02:48:08.655303Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-11T13:16:04.100264Z

Reference resolution

23 of 23 outbound references displayed

verified exact2
verified fuzzy18
unresolved3
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 9a562eed-13b8-45e0-bfdd-487567f8e019 · outbound

This paper cites Separator logic and star-free expressions for graphs.

Low rank MSO Separator logic and star-free expressions for graphs

Reference 1

Resolution: verified exact; local_arxiv, observed 2026-08-08T05:05:50.686443Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation eccd0cb9-ed44-4480-ad79-04b1f93dc156 · outbound

This paper cites Model checking on interpretations of classes of bounded local cliquewidth.

Low rank MSO Model checking on interpretations of classes of bounded local cliquewidth

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T05:05:50.985372Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d16cd3c4-aa11-49dd-b744-cd0ac4ad28b6 · outbound

This paper cites The monadic second-order logic of graphs.

Low rank MSO The monadic second-order logic of graphs

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T05:05:50.970667Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 545ef41c-89fa-42de-a040-afbe1541eb2e · outbound

This paper cites Makowsky, and Udi Rotics.

Low rank MSO Makowsky, and Udi Rotics

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T05:05:50.955717Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 4d72f524-0792-4ab0-ba72-1aa40c9ffb62 · outbound

This paper cites First-Order model checking on monadically stable graph classes.

Low rank MSO First-Order model checking on monadically stable graph classes

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T05:05:50.939891Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 2329b22b-c82a-400a-8489-aa80b9f250f8 · outbound

This paper cites Indiscernibles and flatness in monadically stable and monadically NIP classes.

Low rank MSO Indiscernibles and flatness in monadically stable and monadically NIP classes

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T05:05:50.925584Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 3a5b5772-af84-401f-994a-1861c00dc657 · outbound

This paper cites Flip-breakability: A combinatorial dichotomy for monadically dependent graph classes.

Low rank MSO Flip-breakability: A combinatorial dichotomy for monadically dependent graph classes

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T05:05:50.910409Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 53f13384-0c9c-44cb-b3ba-46ce7e6b829f · outbound

This paper cites Flipper games for monad- ically stable graph classes.

Low rank MSO Flipper games for monad- ically stable graph classes

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T05:05:50.896029Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f715cabe-1197-4397-aff8-4f92ed065018 · outbound

This paper cites Twin-width and Limits of Tractability of FO Model Checking on Geometric Graphs.

Low rank MSO Twin-width and Limits of Tractability of FO Model Checking on Geometric Graphs

Reference 9

Resolution: verified exact; local_arxiv, observed 2026-08-08T05:05:50.664979Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 549161cf-7b78-4255-9db7-311c1c0adc5d · outbound

This paper cites Nondeterministic space is closed under complementation.

Low rank MSO Nondeterministic space is closed under complementation

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T05:05:50.880460Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation abc2042d-ba02-4f8c-8613-b81d5cf816be · outbound

This paper cites Vertex-minors of graphs: A survey.

Low rank MSO Vertex-minors of graphs: A survey

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-08T05:05:50.549027Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5969e951-33f2-490a-82e6-bc9eb9f4865b · outbound

This paper cites Local structure for vertex-minors.

Low rank MSO Local structure for vertex-minors

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T05:05:50.853178Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 1632dd9b-14eb-406e-aade-fc7be45ebf27 · outbound

This paper cites Counter-free automata.

Low rank MSO Counter-free automata

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T05:05:50.837188Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 711e6066-ed22-4473-9cd5-34c68ca77e9a · outbound

This paper cites Rank-width and vertex-minors.

Low rank MSO Rank-width and vertex-minors

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T05:05:50.822659Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation de4c2c3a-a479-4278-bea1-5bee64ccd2f6 · outbound

This paper cites an unresolved cited work.

Low rank MSO Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-08T05:05:50.808268Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 271c5950-e8b8-4b88-bcc3-99bf4ab5a1a3 · outbound

This paper cites Graph classes through the lens of logic.

Low rank MSO Graph classes through the lens of logic

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-08T05:05:50.572721Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba9867c7-8ff6-430c-bffe-cb03be1316d3 · outbound

This paper cites Algorithms and data structures for first-order logic with connectivity under vertex failures.

Low rank MSO Algorithms and data structures for first-order logic with connectivity under vertex failures

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T05:05:50.793203Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation b076f7fa-ea41-4740-a79e-86d8fc648d33 · outbound

This paper cites Undirected connectivity in log-space.

Low rank MSO Undirected connectivity in log-space

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T05:05:50.778034Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 22d9851e-8f26-41af-9582-8d91ab2318aa · outbound

This paper cites Flip-width: Cops and Robber on dense graphs.

Low rank MSO Flip-width: Cops and Robber on dense graphs

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T05:05:50.762272Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 3b4d723d-380d-4115-8e9e-dcf0ed9409a5 · outbound

This paper cites First-order logic with connectivity operators.

Low rank MSO First-order logic with connectivity operators

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T05:05:50.746456Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation ff86faf5-df3d-450a-907b-31d8fb5cacb0 · outbound

This paper cites On finite monoids having only trivial subgroups.

Low rank MSO On finite monoids having only trivial subgroups

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T05:05:50.731168Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation a59595c1-01a3-4ed3-a533-03445ef65ee7 · outbound

This paper cites The method of forced enumeration for nondeterministic automata.

Low rank MSO The method of forced enumeration for nondeterministic automata

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T05:05:50.716523Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation b99bad40-09ed-4a17-be30-3183ae0d2ed7 · outbound

This paper cites k-NLC graphs and polynomial algorithms.

Low rank MSO k-NLC graphs and polynomial algorithms

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T05:05:50.701568Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Pith citing papers

Observation 0c9823cc-7bc1-4f23-a93b-429d32e46c6d · inbound

Moderately beyond clique-width: reduced component max-leaf and related parameters cites this paper.

Moderately beyond clique-width: reduced component max-leaf and related parameters Low rank MSO

Reference 9

Resolution: verified exact; arxiv_id, observed 2026-05-11T13:16:04.106952Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 70849e77-998d-4fdc-900b-2f9a4f795365 · inbound

A combinatorial framework for clustering graph states: Algorithms and hardness for rank-integrity cites this paper.

A combinatorial framework for clustering graph states: Algorithms and hardness for rank-integrity Low rank MSO

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-13T02:48:08.655303Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.