Paper Citation Record · LEDGER

Hereditary First-Order Logic: the tractable quantifier prefix classes

As of 13 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 1 inbound Pith citation observation for arXiv:2411.10860.

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

pith.paper-citation-record.v1
2411.10860 v2

Coverage vector

measured 35 of 35 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T19:34:13.089124Z

measured 36 of 36 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+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-08-06T18:10:16.494095Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-06T18:11:15.395313Z

Reference resolution

35 of 35 outbound references displayed

verified exact1
verified fuzzy17
unresolved17
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 70a2ff3c-9ebc-425d-99cf-bb74fbe4d61b · outbound

This paper cites an unresolved cited work.

Hereditary First-Order Logic: the tractable quantifier prefix classes Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-12T19:34:13.560029Z

Source-reported events for the cited work

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

Observation 766669f3-a845-428e-8b2c-9be5a6a34e2e · outbound

This paper cites an unresolved cited work.

Hereditary First-Order Logic: the tractable quantifier prefix classes Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-12T19:34:13.548197Z

Source-reported events for the cited work

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

Observation 55afabec-2741-415d-93aa-ff46bddb82c0 · outbound

This paper cites an unresolved cited work.

Hereditary First-Order Logic: the tractable quantifier prefix classes Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-12T19:34:13.537204Z

Source-reported events for the cited work

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

Observation 25f2ace6-29ba-4a94-98b7-b0f72a09d221 · outbound

This paper cites an unresolved cited work.

Hereditary First-Order Logic: the tractable quantifier prefix classes Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-12T19:34:13.526547Z

Source-reported events for the cited work

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

Observation b07d8ebb-0bc9-4eb2-804b-9f5b0279c15c · outbound

This paper cites 7 References.

Hereditary First-Order Logic: the tractable quantifier prefix classes 7 References

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:34:13.515496Z

Source-reported events for the cited work

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

Observation 0ac6659a-e138-4046-a8a1-e1e296d6e9c2 · outbound

This paper cites Ackermann.

Hereditary First-Order Logic: the tractable quantifier prefix classes Ackermann

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:34:13.504350Z

Source-reported events for the cited work

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

Observation 1681ca30-a2bd-419d-a04d-9e3b637229b2 · outbound

This paper cites Bannach, F.

Hereditary First-Order Logic: the tractable quantifier prefix classes Bannach, F

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:34:13.493884Z

Source-reported events for the cited work

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

Observation 947eb599-2c84-4c03-a281-8f5ef7569aa6 · outbound

This paper cites Bernays and M.

Hereditary First-Order Logic: the tractable quantifier prefix classes Bernays and M

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:34:13.482880Z

Source-reported events for the cited work

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

Observation 9db87fcd-3ce2-4837-9d88-2626ff533fbb · outbound

This paper cites Bodirsky.

Hereditary First-Order Logic: the tractable quantifier prefix classes Bodirsky

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:34:13.471617Z

Source-reported events for the cited work

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

Observation 3eeedfb8-4cb7-417b-b2fd-515a0785b5f9 · outbound

This paper cites Bodirsky and J.

Hereditary First-Order Logic: the tractable quantifier prefix classes Bodirsky and J

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:34:13.460167Z

Source-reported events for the cited work

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

Observation 417394bd-9a01-42ed-b234-08524f55c2a3 · outbound

This paper cites Bodirsky, S.

Hereditary First-Order Logic: the tractable quantifier prefix classes Bodirsky, S

Reference 12

Resolution: verified exact; raw_fallback, observed 2026-08-12T19:34:13.168972Z

Source-reported events for the cited work

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

Observation f268e5e5-6680-448d-b89c-784a80d4bd95 · outbound

This paper cites an unresolved cited work.

Hereditary First-Order Logic: the tractable quantifier prefix classes Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-12T19:34:13.448992Z

Source-reported events for the cited work

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

Observation 47e6eea0-1168-4c57-8644-e0e215bab7bc · outbound

This paper cites B¨ orger, E.

Hereditary First-Order Logic: the tractable quantifier prefix classes B¨ orger, E

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:34:13.437092Z

Source-reported events for the cited work

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

Observation 73be1f0c-1b30-4123-a0a4-a5b9a916c4ab · outbound

This paper cites Ebbinghaus and J.

Hereditary First-Order Logic: the tractable quantifier prefix classes Ebbinghaus and J

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:34:13.425540Z

Source-reported events for the cited work

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

Observation 19db2698-e62c-4bd7-bd0b-924ed78ab1e8 · outbound

This paper cites Eiter, G.

Hereditary First-Order Logic: the tractable quantifier prefix classes Eiter, G

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:34:13.412880Z

Source-reported events for the cited work

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

Observation 762e180f-89fa-4680-b085-0319e99ae152 · outbound

This paper cites Feder and M.

Hereditary First-Order Logic: the tractable quantifier prefix classes Feder and M

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:34:13.400156Z

Source-reported events for the cited work

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

Observation f6417241-0820-40d8-80ab-2703e24cfd28 · outbound

This paper cites Feder and M.

Hereditary First-Order Logic: the tractable quantifier prefix classes Feder and M

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:34:13.388006Z

Source-reported events for the cited work

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

Observation 4b1e1ab4-3a24-4adb-b15c-2d733377062b · outbound

This paper cites Fomin, P.

Hereditary First-Order Logic: the tractable quantifier prefix classes Fomin, P

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:34:13.374879Z

Source-reported events for the cited work

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

Observation 441ea372-8f1f-4498-90a0-0b1b86e2f447 · outbound

This paper cites an unresolved cited work.

Hereditary First-Order Logic: the tractable quantifier prefix classes Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-12T19:34:13.364202Z

Source-reported events for the cited work

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

Observation f6edb18a-4ab5-45a7-a32e-a638918dd2a6 · outbound

This paper cites Gottlob, P.

Hereditary First-Order Logic: the tractable quantifier prefix classes Gottlob, P

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:34:13.351497Z

Source-reported events for the cited work

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

Observation 3a2d8435-0915-4c14-a5c7-25bb207e6eba · outbound

This paper cites an unresolved cited work.

Hereditary First-Order Logic: the tractable quantifier prefix classes Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-12T19:34:13.040902Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae8343f9-7e6d-4fae-82ef-52b8842cbd30 · outbound

This paper cites an unresolved cited work.

Hereditary First-Order Logic: the tractable quantifier prefix classes Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-12T19:34:13.332624Z

Source-reported events for the cited work

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

Observation 3919bb57-e18d-4dc2-a08d-0d7e704ab1e7 · outbound

This paper cites an unresolved cited work.

Hereditary First-Order Logic: the tractable quantifier prefix classes Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-12T19:34:13.321486Z

Source-reported events for the cited work

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

Observation a01c3296-4624-4de8-9081-d1abce89d2b4 · outbound

This paper cites Raman, S.

Hereditary First-Order Logic: the tractable quantifier prefix classes Raman, S

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:34:13.310758Z

Source-reported events for the cited work

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

Observation cb042715-b6e0-492b-bd6c-b5422e070e8a · outbound

This paper cites an unresolved cited work.

Hereditary First-Order Logic: the tractable quantifier prefix classes Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-12T19:34:13.299209Z

Source-reported events for the cited work

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

Observation 3960dd31-2ea9-4702-aaca-c4aa4a40212e · outbound

This paper cites an unresolved cited work.

Hereditary First-Order Logic: the tractable quantifier prefix classes Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-12T19:34:13.287909Z

Source-reported events for the cited work

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

Observation 7b4e13d2-b3be-4976-8c48-4e01030c2267 · outbound

This paper cites an unresolved cited work.

Hereditary First-Order Logic: the tractable quantifier prefix classes Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-12T19:34:13.276433Z

Source-reported events for the cited work

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

Observation a6738199-0214-4edd-a8aa-292cfd181800 · outbound

This paper cites Trakhtenbrot.

Hereditary First-Order Logic: the tractable quantifier prefix classes Trakhtenbrot

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:34:13.265792Z

Source-reported events for the cited work

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

Observation 89d968dd-ea64-4046-b40d-ecb0a2bd08f2 · outbound

This paper cites , vn we find a substructure of D that models ϕ; namely, the substructure with vertex set {v1,.

Hereditary First-Order Logic: the tractable quantifier prefix classes , vn we find a substructure of D that models ϕ; namely, the substructure with vertex set {v1,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:34:13.254484Z

Source-reported events for the cited work

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

Observation 7a1409dd-8ad6-4054-9a9e-d47e73e2c93f · outbound

This paper cites an unresolved cited work.

Hereditary First-Order Logic: the tractable quantifier prefix classes Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-12T19:34:13.242693Z

Source-reported events for the cited work

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

Observation b2ad0a24-7065-41ca-b6c3-87a30cfe549c · outbound

This paper cites an unresolved cited work.

Hereditary First-Order Logic: the tractable quantifier prefix classes Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-12T19:34:13.230319Z

Source-reported events for the cited work

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

Observation 4ad5fc5b-65b1-497e-8c17-7ebbd0966284 · outbound

This paper cites an unresolved cited work.

Hereditary First-Order Logic: the tractable quantifier prefix classes Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-12T19:34:13.218798Z

Source-reported events for the cited work

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

Observation 3c27abcd-557f-4550-8d1d-05b928f615c8 · outbound

This paper cites an unresolved cited work.

Hereditary First-Order Logic: the tractable quantifier prefix classes Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-12T19:34:13.206914Z

Source-reported events for the cited work

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

Observation fcf86d7a-686a-4c67-9217-b794af54ec1d · outbound

This paper cites an unresolved cited work.

Hereditary First-Order Logic: the tractable quantifier prefix classes Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-12T19:34:13.194898Z

Source-reported events for the cited work

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

Observation b429786c-8933-4166-a37e-72f00d83bf19 · outbound

This paper cites x1 x2 x3 y1 y2 y3 z̸∈{x1,x2,y2,y3} Figure 2: A partial depiction of the first three lines of ϕ.

Hereditary First-Order Logic: the tractable quantifier prefix classes x1 x2 x3 y1 y2 y3 z̸∈{x1,x2,y2,y3} Figure 2: A partial depiction of the first three lines of ϕ

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T19:34:13.183092Z

Source-reported events for the cited work

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

Pith citing papers

Observation 2cd29dd6-6b5d-4bb5-9ab4-831f069bf459 · inbound

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms cites this paper.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Hereditary First-Order Logic: the tractable quantifier prefix classes

Reference 3

Resolution: verified exact; local_arxiv, observed 2026-08-06T18:11:15.436994Z

Source-reported events for the cited work

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