Paper Citation Record · LEDGER

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets

As of 12 August 2026, this Paper Citation Record lists 28 of 28 outbound references and 0 inbound Pith citation observations for arXiv:2608.06820.

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

pith.paper-citation-record.v1
2608.06820 v1

Coverage vector

measured 28 of 28 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T20:25:39.563269Z

measured 28 of 28 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 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

28 of 28 outbound references displayed

verified exact6
verified fuzzy5
unresolved10
parse uncertain0
malformed identifier4
metadata mismatch3

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation b846f2ea-f2b8-42b7-ad8a-4dd19245b013 · outbound

This paper cites Algorithms for𝑘-meet-semidistributive lattices.Theoretical Computer Science, 658:391–398, 2017.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets Algorithms for𝑘-meet-semidistributive lattices.Theoretical Computer Science, 658:391–398, 2017

Reference 1

Resolution: verified exact; doi, observed 2026-08-10T20:25:39.776067Z

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 b71829da-fc24-47c4-85ab-5e97fb464f7f · outbound

This paper cites Hypergraph Horn functions.SIAM Journal on Discrete Mathematics, 38(2):1417–1437, 2024.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets Hypergraph Horn functions.SIAM Journal on Discrete Mathematics, 38(2):1417–1437, 2024

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-10T20:25:39.412829Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1e0bf01-bd80-4e46-a06e-8818be98c314 · outbound

This paper cites Lattices, closures systems and implication bases: A survey of structural aspects and algorithms.Theoretical Computer Science, 743:93–109, 2018.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets Lattices, closures systems and implication bases: A survey of structural aspects and algorithms.Theoretical Computer Science, 743:93–109, 2018

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-10T20:25:39.418782Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a23cbb8-8e7d-4ba0-af7d-76d85e874aa4 · outbound

This paper cites Ferreira, Roberto Grossi, Andrea Marino, Nadia Pisanti, Romeo Rizzi, andGustavoSacomoto.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets Ferreira, Roberto Grossi, Andrea Marino, Nadia Pisanti, Romeo Rizzi, andGustavoSacomoto

Reference 4

Resolution: verified exact; doi, observed 2026-08-10T20:25:39.740058Z

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 26b91cdb-589c-407a-8b81-f8caf92c2b1b · outbound

This paper cites Dualization in lattices given by implicational bases.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets Dualization in lattices given by implicational bases

Reference 5

Resolution: verified exact; doi, observed 2026-08-10T20:25:39.724629Z

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 8929842b-f43a-4d1f-a832-4f602706fd6a · outbound

This paper cites Enumerating the irreducible closed sets of an acyclic implicational base of bounded degree.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets Enumerating the irreducible closed sets of an acyclic implicational base of bounded degree

Reference 6

Resolution: verified exact; doi, observed 2026-08-10T20:25:39.707137Z

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 cf80923d-cb2f-4ebc-9431-88e118401407 · outbound

This paper cites Keys, antikeys and prime attributes.Annales Universitatis Scientiarum Budapestinensis, Sectio Computatorica, 8:35–52, 1987.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets Keys, antikeys and prime attributes.Annales Universitatis Scientiarum Budapestinensis, Sectio Computatorica, 8:35–52, 1987

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T20:25:40.460816Z

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 5eb4284b-8951-4a34-8c3b-ebe5056e0040 · outbound

This paper cites Bayesian bandwidth estimation and semi-metric selection for a functional partial linear model with unknown error density.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets Bayesian bandwidth estimation and semi-metric selection for a functional partial linear model with unknown error density

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-10T20:25:39.448154Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80180734-4cae-4319-a4de-0c18481381b9 · outbound

This paper cites Identifying the minimal transversals of a hypergraph and related problems.SIAM Journal on Computing, 24(6):1278–1304, 1995.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets Identifying the minimal transversals of a hypergraph and related problems.SIAM Journal on Computing, 24(6):1278–1304, 1995

Reference 9

Resolution: malformed identifier; raw_fallback, observed 2026-08-10T20:25:40.443960Z

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 d4c7ada1-8314-42f7-aa1f-4f61044bc68a · outbound

This paper cites Computational aspects of monotone dualization: A brief survey.Discrete Applied Mathematics, 156(11):2035–2049, 2008.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets Computational aspects of monotone dualization: A brief survey.Discrete Applied Mathematics, 156(11):2035–2049, 2008

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-10T20:25:39.459884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 240abfda-a151-4da8-80ea-9b7620dd8a15 · outbound

This paper cites Stopping set elimination by parity-check matrix extension via integer linear programming.IEEE Transactions on Communications, 63(5): 1533–1540, 2015.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets Stopping set elimination by parity-check matrix extension via integer linear programming.IEEE Transactions on Communications, 63(5): 1533–1540, 2015

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-10T20:25:39.465225Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07b086a0-7c9f-4fd3-b015-193a364aca42 · outbound

This paper cites Fredman and Leonid Khachiyan.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets Fredman and Leonid Khachiyan

Reference 12

Resolution: verified exact; doi, observed 2026-08-10T20:25:39.681423Z

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 5eb46177-215c-4847-bc75-d2b380c1b2e8 · outbound

This paper cites Garey, David S.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets Garey, David S

Reference 13

Resolution: malformed identifier; raw_fallback, observed 2026-08-10T20:25:40.426588Z

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 55c68b0a-877e-42c5-bb13-c85bb8df5985 · outbound

This paper cites an unresolved cited work.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets Unresolved cited work

Reference 14

Resolution: metadata mismatch; raw_fallback, observed 2026-08-10T20:25:40.259840Z

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 4b7d917a-26de-4c00-b388-7a57b51085d6 · outbound

This paper cites Kavvadias, Martha Sideri, and Elias C.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets Kavvadias, Martha Sideri, and Elias C

Reference 15

Resolution: verified exact; doi, observed 2026-08-10T20:25:39.664993Z

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 bec9296a-d9d6-4efd-ae50-218390e1dfb9 · outbound

This paper cites Translating between Horn representations and their characteristic models.Journal of Artificial Intelligence Research, 3:349–372, 1995.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets Translating between Horn representations and their characteristic models.Journal of Artificial Intelligence Research, 3:349–372, 1995

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-10T20:25:39.494409Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eeade2d2-fd6c-478a-a563-57b804703db5 · outbound

This paper cites Murali Krishnan and Priti Shankar.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets Murali Krishnan and Priti Shankar

Reference 17

Resolution: malformed identifier; no resolver link, observed 2026-08-10T20:25:39.499883Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4fd16f5-096f-450a-a3f3-0d2d5748d39e · outbound

This paper cites On the strength of uniqueness quantification in primitive positive formulas.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets On the strength of uniqueness quantification in primitive positive formulas

Reference 18

Resolution: malformed identifier; no resolver link, observed 2026-08-10T20:25:39.506004Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 43cdefb1-d27a-4ef3-b421-9ff0308c14a9 · outbound

This paper cites Hierarchical decompositions of implicational bases for the enumeration of meet-irreducible elements.Theoretical Computer Science, 969:114030, 2023.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets Hierarchical decompositions of implicational bases for the enumeration of meet-irreducible elements.Theoretical Computer Science, 969:114030, 2023

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-10T20:25:39.511505Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 89305d3f-ac01-4824-a98e-55eb6e4c2d9a · outbound

This paper cites Cambridge University Press, Cambridge, 2008.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets Cambridge University Press, Cambridge, 2008

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T20:25:40.411157Z

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 0108d784-045b-4e2d-ba04-4ac4cc672590 · outbound

This paper cites An efficient algorithm to find all small-size stopping sets of low-density parity-check matrices.IEEE Transactions on Information Theory, 55(9):4167–4178,.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets An efficient algorithm to find all small-size stopping sets of low-density parity-check matrices.IEEE Transactions on Information Theory, 55(9):4167–4178,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T20:25:40.393408Z

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 c7a661fb-4726-4bf5-b18f-d1d951de6039 · outbound

This paper cites an efficient algorithm to find all small-size stopping sets of low-density parity-check matrices.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets an efficient algorithm to find all small-size stopping sets of low-density parity-check matrices

Reference 22

Resolution: metadata mismatch; raw_fallback, observed 2026-08-10T20:25:39.954218Z

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 aa4fb414-4e8a-4600-90f1-6ac539972047 · outbound

This paper cites Thecomplexityofsatisfiabilityproblems.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets Thecomplexityofsatisfiabilityproblems

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-10T20:25:39.539470Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c338e66d-027a-4290-837c-74e0eb745d33 · outbound

This paper cites On the stopping distance and the stopping redundancy of codes.IEEE Transactions on Information Theory, 52(3):922–932, 2006.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets On the stopping distance and the stopping redundancy of codes.IEEE Transactions on Information Theory, 52(3):922–932, 2006

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-10T20:25:39.544772Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b6d310f-d447-4deb-a44f-0254587035df · outbound

This paper cites Investigationonantikeysandminimalkeysofrelationschemesbyhypergraphs.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets Investigationonantikeysandminimalkeysofrelationschemesbyhypergraphs

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T20:25:40.377394Z

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 ce38de3f-0adb-4737-bd1d-af00297c0ca0 · outbound

This paper cites Minimal keys and antikeys.Acta Cybernetica, 7(4):361–371, 1986.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets Minimal keys and antikeys.Acta Cybernetica, 7(4):361–371, 1986

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T20:25:40.361773Z

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 1183c905-11b2-4b13-a3ef-904ca7f871dc · outbound

This paper cites Kulkarni, and H.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets Kulkarni, and H

Reference 27

Resolution: metadata mismatch; raw_fallback, observed 2026-08-10T20:25:39.869963Z

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 6a4f409f-835d-4675-a264-cb1f884ccd61 · outbound

This paper cites an unresolved cited work.

Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets Unresolved cited work

Reference 2009

Resolution: unresolved; no resolver link, observed 2026-08-10T20:25:39.528784Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.