Paper Citation Record · LEDGER

Discrete Linear Ensemble Logic

As of 18 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:2608.11496.

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

pith.paper-citation-record.v1
2608.11496 v1

Coverage vector

measured 27 of 27 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T14:26:48.193797Z

measured 27 of 27 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+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

27 of 27 outbound references displayed

verified exact3
verified fuzzy9
unresolved13
parse uncertain0
malformed identifier1
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation b86f01a7-a20c-4c6f-8fb3-48929d557ae2 · outbound

This paper cites Ajtai.Σ 1 1-formulæ on finite structures.Annals of Pure and Applied Logic, 24(1):1–48, 1983.

Discrete Linear Ensemble Logic Ajtai.Σ 1 1-formulæ on finite structures.Annals of Pure and Applied Logic, 24(1):1–48, 1983

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:26:48.981385Z

Source-reported events for the cited work

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

Observation 150c957e-bde9-496c-8b52-7e8c7b47d49b · outbound

This paper cites an unresolved cited work.

Discrete Linear Ensemble Logic Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-15T14:26:48.057112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb5917e1-f898-45d3-a725-4570785c6588 · outbound

This paper cites Alur and T.

Discrete Linear Ensemble Logic Alur and T

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-15T14:26:48.065401Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f949db2-5bb0-4d6d-b0f5-b07b13510453 · outbound

This paper cites Bodenreider.

Discrete Linear Ensemble Logic Bodenreider

Reference 4

Resolution: malformed identifier; no resolver link, observed 2026-08-15T14:26:48.070242Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ae3f9d5-b5ca-490a-8d00-fb40a6ead4d0 · outbound

This paper cites Bresolin, A.

Discrete Linear Ensemble Logic Bresolin, A

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:26:48.963513Z

Source-reported events for the cited work

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

Observation 8216367b-278c-427e-a26d-ba3c40ee178c · outbound

This paper cites an unresolved cited work.

Discrete Linear Ensemble Logic Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-15T14:26:48.946057Z

Source-reported events for the cited work

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

Observation 626ba36f-3da7-4c48-b77f-a49848787d37 · outbound

This paper cites Demir et al.

Discrete Linear Ensemble Logic Demir et al

Reference 7

Resolution: verified exact; doi, observed 2026-08-15T14:26:48.271969Z

Source-reported events for the cited work

correction dated 2010-12-07. Source: crossref record 10.1038/nbt1210-1308c->10.1038/nbt.1666:correction, observed 2026-07-11T03:15:20.253963+00:00. This notice travels one citation hop only.

correction dated 2012-04-10. Source: crossref record 10.1038/nbt0412-365c->10.1038/nbt.1666:correction, observed 2026-07-11T03:16:03.036954+00:00. This notice travels one citation hop only.

Observation 9000bcbf-8fe5-4b3e-81e4-5e80500abb36 · outbound

This paper cites an unresolved cited work.

Discrete Linear Ensemble Logic Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-15T14:26:48.930174Z

Source-reported events for the cited work

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

Observation d86ffafa-df46-4ff4-a582-02aec10f46a0 · outbound

This paper cites Furst, J.

Discrete Linear Ensemble Logic Furst, J

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:26:48.914232Z

Source-reported events for the cited work

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

Observation e8cb1ed9-ee19-4772-bfd4-ae7812217893 · outbound

This paper cites an unresolved cited work.

Discrete Linear Ensemble Logic Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-15T14:26:48.896603Z

Source-reported events for the cited work

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

Observation 35302239-7485-4695-b383-72a8e40c64ff · outbound

This paper cites an unresolved cited work.

Discrete Linear Ensemble Logic Unresolved cited work

Reference 11

Resolution: verified exact; raw_fallback, observed 2026-08-15T14:26:48.646948Z

Source-reported events for the cited work

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

Observation 7906e806-d5e9-49dd-bfde-6b66918a2d5f · outbound

This paper cites an unresolved cited work.

Discrete Linear Ensemble Logic Unresolved cited work

Reference 12

Resolution: metadata mismatch; raw_fallback, observed 2026-08-15T14:26:48.575610Z

Source-reported events for the cited work

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

Observation 62c864a0-6935-49d9-a760-e9f01bccfc77 · outbound

This paper cites Harel, A.

Discrete Linear Ensemble Logic Harel, A

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-15T14:26:48.124374Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b171f68-890a-45d0-bbd5-1b4bc46c6ee0 · outbound

This paper cites Huang, X.

Discrete Linear Ensemble Logic Huang, X

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:26:48.880103Z

Source-reported events for the cited work

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

Observation 5251c00a-0981-4bc7-9c63-0e4fb5391ebc · outbound

This paper cites Hucka et al.

Discrete Linear Ensemble Logic Hucka et al

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-15T14:26:48.135126Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b112f916-292f-4994-a888-fb421b35978f · outbound

This paper cites Kamp.Tense Logic and the Theory of Linear Order.

Discrete Linear Ensemble Logic Kamp.Tense Logic and the Theory of Linear Order

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:26:48.864209Z

Source-reported events for the cited work

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

Observation fa635d68-afed-437f-a942-63b4406ddf0c · outbound

This paper cites an unresolved cited work.

Discrete Linear Ensemble Logic Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-15T14:26:48.144759Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a1f720c-ad67-46fa-98d7-b568bdc413a5 · outbound

This paper cites an unresolved cited work.

Discrete Linear Ensemble Logic Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-15T14:26:48.846582Z

Source-reported events for the cited work

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

Observation f1a2287e-6c44-4d38-9c04-7febdd9758e4 · outbound

This paper cites McNaughton and S.

Discrete Linear Ensemble Logic McNaughton and S

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:26:48.827749Z

Source-reported events for the cited work

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

Observation 896f1c64-6346-4d92-9aa3-3f449daf28e1 · outbound

This paper cites an unresolved cited work.

Discrete Linear Ensemble Logic Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-15T14:26:48.808230Z

Source-reported events for the cited work

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

Observation 18a73f82-5d7e-4ec9-8306-02ec82680d32 · outbound

This paper cites National Library of Medicine.

Discrete Linear Ensemble Logic National Library of Medicine

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:26:48.790877Z

Source-reported events for the cited work

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

Observation d4dc93f5-6ac7-46d9-a310-9c8cc7da302b · outbound

This paper cites Ouaknine and J.

Discrete Linear Ensemble Logic Ouaknine and J

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-15T14:26:48.169789Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a6781fe-ccb4-430c-baa6-adb0159756cc · outbound

This paper cites an unresolved cited work.

Discrete Linear Ensemble Logic Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-15T14:26:48.174678Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 668a619b-b2a1-4482-a689-e8f50adcf7f1 · outbound

This paper cites an unresolved cited work.

Discrete Linear Ensemble Logic Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-15T14:26:48.773266Z

Source-reported events for the cited work

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

Observation 0eb47bfb-c5df-4801-89ab-702a5e6dc033 · outbound

This paper cites Presburger.

Discrete Linear Ensemble Logic Presburger

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:26:48.754422Z

Source-reported events for the cited work

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

Observation c5f12c29-978d-4fed-b726-79f7552f2ea4 · outbound

This paper cites Springer Science & Business Media; 2012 Dec 6.

Discrete Linear Ensemble Logic Springer Science & Business Media; 2012 Dec 6

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:26:48.729098Z

Source-reported events for the cited work

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

Observation 163e8fd1-ff7d-4744-86ae-5b0ea4d60537 · outbound

This paper cites Temporal Ensemble Logic.

Discrete Linear Ensemble Logic Temporal Ensemble Logic

Reference 27

Resolution: verified exact; local_arxiv, observed 2026-08-15T14:26:48.320422Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.