{"as_of":"2026-08-12T19:32:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:bb9f4592387c3242da702c0cb3d1cc0f44447e44033a78b7855facfd2487c456","coverage":[{"denominator":28,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":28,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T20:25:39.563269Z","state":"measured"},{"denominator":28,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":28,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2608.06820/citation-record","integrity":"/paper/2608.06820/integrity","json":"/paper/2608.06820/citation-record.json","paper":"/paper/2608.06820"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.tcs.2015.10.029","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:25:39.770743Z","title":"Algorithms for𝑘-meet-semidistributive lattices.Theoretical Computer Science, 658:391–398, 2017","venue":null,"work_id":"d3be8bfe-1675-4d30-89b7-78b99d4754cb","year":2017},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.398551Z"},"links":{"citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:7a4c61955fb701f040d1cb7207dc4ed8d5c302ee5f3b4fbc69e14cf12e333b65","observation_id":"b846f2ea-f2b8-42b7-ad8a-4dd19245b013","resolution":{"observed_at":"2026-08-10T20:25:39.776067Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:25:39.412829Z","title":"Hypergraph Horn functions.SIAM Journal on Discrete Mathematics, 38(2):1417–1437, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.412829Z"},"links":{"citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:daaab0716745d05ed5b9746b7217ecc92e7900253f3d818d50015edcbc345aca","observation_id":"b71829da-fc24-47c4-85ab-5e97fb464f7f","resolution":{"observed_at":"2026-08-10T20:25:39.412829Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:25:39.418782Z","title":"Lattices, closures systems and implication bases: A survey of structural aspects and algorithms.Theoretical Computer Science, 743:93–109, 2018","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.418782Z"},"links":{"citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:3f8cbb42d4bbd621636c7f794677a7328f6802a9355daaa802681dab3fea6662","observation_id":"a1e0bf01-bd80-4e46-a06e-8818be98c314","resolution":{"observed_at":"2026-08-10T20:25:39.418782Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1137/1.9781611973105.134","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:25:39.735325Z","title":"Ferreira, Roberto Grossi, Andrea Marino, Nadia Pisanti, Romeo Rizzi, andGustavoSacomoto","venue":null,"work_id":"ce62eb9f-fc80-4692-933d-34de96fa2068","year":2013},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.424726Z"},"links":{"citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:d7526e79dc7edf8897907f88a3d08cce7e479cdb62e2011177c728757714b00e","observation_id":"5a23cbb8-8e7d-4ba0-af7d-76d85e874aa4","resolution":{"observed_at":"2026-08-10T20:25:39.740058Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.tcs.2020.01.028","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:25:39.718776Z","title":"Dualization in lattices given by implicational bases","venue":null,"work_id":"0dc3f356-44ba-45e7-afeb-27b88a085ef7","year":2020},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.430800Z"},"links":{"citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:984382fbce18dec8db72b956b84b2434067852194be61b7bbd94e85c77e46ba2","observation_id":"26b91cdb-589c-407a-8b81-f8caf92c2b1b","resolution":{"observed_at":"2026-08-10T20:25:39.724629Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.isaac.2025.24","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:25:39.701718Z","title":"Enumerating the irreducible closed sets of an acyclic implicational base of bounded degree","venue":null,"work_id":"4b67a502-5de3-4325-8bd3-b75a4ead3beb","year":2025},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.436713Z"},"links":{"citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:846e93d46f816c8a44d5557890a357af6e08cff48255826c4b2e5de2de69f59a","observation_id":"8929842b-f43a-4d1f-a832-4f602706fd6a","resolution":{"observed_at":"2026-08-10T20:25:39.707137Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:25:40.455334Z","title":"Keys, antikeys and prime attributes.Annales Universitatis Scientiarum Budapestinensis, Sectio Computatorica, 8:35–52, 1987","venue":null,"work_id":"b01e1652-fcbe-40bf-b167-7f7144494868","year":1987},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.443070Z"},"links":{"citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:c07ae25a88a772e303c88891ff371d86b809d4635974567f49aa160e9cb59b96","observation_id":"cf80923d-cb2f-4ebc-9431-88e118401407","resolution":{"observed_at":"2026-08-10T20:25:40.460816Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2002.10038","last_updated":"2020-02-24T02:15:34Z","snapshot_observed_at":"2026-08-09T11:18:16.436306Z","submitted_at":"2020-02-24T02:15:34Z","title":"Bayesian bandwidth estimation and semi-metric selection for a functional partial linear model with unknown error density","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.10038","snapshot_observed_at":"2026-08-10T20:25:39.448154Z","title":"Emre Telatar, Thomas J","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.448154Z"},"links":{"cited_paper":"/paper/2002.10038","citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:58c0e57988b2f3e6f190cb86ecff2abfc9a32f19c0b6542270a14dae69f9597b","observation_id":"5eb4284b-8951-4a34-8c3b-ebe5056e0040","resolution":{"observed_at":"2026-08-10T20:25:39.448154Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:25:40.438366Z","title":"Identifying the minimal transversals of a hypergraph and related problems.SIAM Journal on Computing, 24(6):1278–1304, 1995","venue":null,"work_id":"ba0dec99-6dde-443f-9022-0cebbbb5bc91","year":1995},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.453990Z"},"links":{"citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:0614fcf0649edc93ac70b62ef6db855eb85edda54825fe891ad718ba5b25d980","observation_id":"80180734-4cae-4319-a4de-0c18481381b9","resolution":{"observed_at":"2026-08-10T20:25:40.443960Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:25:39.459884Z","title":"Computational aspects of monotone dualization: A brief survey.Discrete Applied Mathematics, 156(11):2035–2049, 2008","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.459884Z"},"links":{"citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:e7fd28a4228227edcc3dedb963340e053bda984f90185d9abacc1eeaf75c101f","observation_id":"d4c7ada1-8314-42f7-aa1f-4f61044bc68a","resolution":{"observed_at":"2026-08-10T20:25:39.459884Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:25:39.465225Z","title":"Stopping set elimination by parity-check matrix extension via integer linear programming.IEEE Transactions on Communications, 63(5): 1533–1540, 2015","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.465225Z"},"links":{"citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:0d695d156e9643c3cc68f417f9474027465e1694a3ad1b61eed94b22c50d30fe","observation_id":"240abfda-a151-4da8-80ea-9b7620dd8a15","resolution":{"observed_at":"2026-08-10T20:25:39.465225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1006/jagm.1996","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:25:39.676905Z","title":"Fredman and Leonid Khachiyan","venue":null,"work_id":"c5c348c7-c77a-48a7-98d2-20669af2c79e","year":1996},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.470838Z"},"links":{"citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:316a2ae5eca3fa46e66257318b5dac6c7595802c28f3be7c511ff56a04f3c4ce","observation_id":"07b086a0-7c9f-4fd3-b015-193a364aca42","resolution":{"observed_at":"2026-08-10T20:25:39.681423Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:25:40.421624Z","title":"Garey, David S","venue":null,"work_id":"fe23525e-cb4d-4a62-a8d7-04a2cff411a3","year":1976},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.476567Z"},"links":{"citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:4be90eeea866b191eb7a6e179f2f94b6259f6d9b436f411f427be69e768519eb","observation_id":"5eb46177-215c-4847-bc75-d2b380c1b2e8","resolution":{"observed_at":"2026-08-10T20:25:40.426588Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2006.88751","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:25:40.252457Z","title":null,"venue":null,"work_id":"adaad185-81a1-45e4-a021-0005504355da","year":2007},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.482865Z"},"links":{"citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:fe478a882911b9de553443e3c19b2e0aa0b94e05e00fdb3373925f0d1f835d09","observation_id":"55c68b0a-877e-42c5-bb13-c85bb8df5985","resolution":{"observed_at":"2026-08-10T20:25:40.259840Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0020-0190(00)00023-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:25:39.658751Z","title":"Kavvadias, Martha Sideri, and Elias C","venue":null,"work_id":"7ff7e826-e96f-49a9-82dd-27883e1056dc","year":2000},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.488861Z"},"links":{"citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:9cb8b84eda63b61a6b9f9da91a0992e1485804c0234b3624c59dae12b7532709","observation_id":"4b7d917a-26de-4c00-b388-7a57b51085d6","resolution":{"observed_at":"2026-08-10T20:25:39.664993Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:25:39.494409Z","title":"Translating between Horn representations and their characteristic models.Journal of Artificial Intelligence Research, 3:349–372, 1995","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.494409Z"},"links":{"citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:a23dc99ac3948e7f8e16507d99920f619e749dd716b6a989e5ba24110d3f98e5","observation_id":"bec9296a-d9d6-4efd-ae50-218390e1dfb9","resolution":{"observed_at":"2026-08-10T20:25:39.494409Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:25:39.499883Z","title":"Murali Krishnan and Priti Shankar","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.499883Z"},"links":{"citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:503fa7d5c7befd24f006cbaafb944752f4ff8749c6347ed04f7450455de6350f","observation_id":"eeade2d2-fd6c-478a-a563-57b804703db5","resolution":{"observed_at":"2026-08-10T20:25:39.499883Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:25:39.506004Z","title":"On the strength of uniqueness quantification in primitive positive formulas","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.506004Z"},"links":{"citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:403100e76e9a4a47b75517a95f6d38a77b3c9ed9d22ed00b7f5390e8adcd878a","observation_id":"f4fd16f5-096f-450a-a3f3-0d2d5748d39e","resolution":{"observed_at":"2026-08-10T20:25:39.506004Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:25:39.511505Z","title":"Hierarchical decompositions of implicational bases for the enumeration of meet-irreducible elements.Theoretical Computer Science, 969:114030, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.511505Z"},"links":{"citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:1ae2a88c084913b167b7ca93c693287f09d5e924745e69bc4c26a76f70c3b243","observation_id":"43cdefb1-d27a-4ef3-b421-9ff0308c14a9","resolution":{"observed_at":"2026-08-10T20:25:39.511505Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:25:40.406237Z","title":"Cambridge University Press, Cambridge, 2008","venue":null,"work_id":"05cd6165-d8f7-4234-afe2-2181c4de6df7","year":2008},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.516944Z"},"links":{"citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:9db75e7cc2ac32a78b5f74a8bc105d0b5086277a3dbbb8dcedf7193c50fd5e1c","observation_id":"89305d3f-ac01-4824-a98e-55eb6e4c2d9a","resolution":{"observed_at":"2026-08-10T20:25:40.411157Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:25:40.388049Z","title":"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,","venue":null,"work_id":"e101d33b-32a0-4854-8733-bacf024055aa","year":null},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.523063Z"},"links":{"citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:5bdb79fcb8351f1a83e55a1157d3b66d40cec25894972e4e6a4ab5ccff8d7084","observation_id":"0108d784-045b-4e2d-ba04-4ac4cc672590","resolution":{"observed_at":"2026-08-10T20:25:40.393408Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2011.21715","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:25:39.946990Z","title":"an efficient algorithm to find all small-size stopping sets of low-density parity-check matrices","venue":null,"work_id":"d6127917-d0be-49fb-9270-4aab1141c80a","year":2012},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.534205Z"},"links":{"citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:6847821cfa8eb65cec7fd41ce9de3826338c1a8820540ed35f053d4ae1808bcf","observation_id":"c7a661fb-4726-4bf5-b18f-d1d951de6039","resolution":{"observed_at":"2026-08-10T20:25:39.954218Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:25:39.539470Z","title":"Thecomplexityofsatisfiabilityproblems","venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.539470Z"},"links":{"citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:1d3cbe1d1edf43f4bbed1f3a1ea1adb0c027d46c8b1002ebd35f46c2c7bec3db","observation_id":"aa4fb414-4e8a-4600-90f1-6ac539972047","resolution":{"observed_at":"2026-08-10T20:25:39.539470Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:25:39.544772Z","title":"On the stopping distance and the stopping redundancy of codes.IEEE Transactions on Information Theory, 52(3):922–932, 2006","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.544772Z"},"links":{"citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:2025d78be14745657b544792b0eda77f560f796f8b4f371df53f735352c7531e","observation_id":"c338e66d-027a-4290-837c-74e0eb745d33","resolution":{"observed_at":"2026-08-10T20:25:39.544772Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:25:40.372681Z","title":"Investigationonantikeysandminimalkeysofrelationschemesbyhypergraphs","venue":null,"work_id":"89690627-c33e-4623-a39d-c275f6e7f9e1","year":2006},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.550494Z"},"links":{"citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:f00d50ef3fa665a69cc9aedab7b67b10846d246199f69270c5fd19b5194e7488","observation_id":"9b6d310f-d447-4deb-a44f-0254587035df","resolution":{"observed_at":"2026-08-10T20:25:40.377394Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:25:40.355991Z","title":"Minimal keys and antikeys.Acta Cybernetica, 7(4):361–371, 1986","venue":null,"work_id":"c25bc2cf-5a38-4466-8605-9774646f93ae","year":1986},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.556764Z"},"links":{"citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:6d38657243eb332cd9ad274b02d2ed3ec70935cfb1c480ae5f23ff0694800274","observation_id":"ce38de3f-0adb-4737-bd1d-af00297c0ca0","resolution":{"observed_at":"2026-08-10T20:25:40.361773Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2009.20159","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:25:39.862281Z","title":"Kulkarni, and H","venue":null,"work_id":"258a28ad-3179-479f-b2e1-d73822d2572f","year":1976},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.563269Z"},"links":{"citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:eec8053b4e93311406ad47b00db2a302969a9c871a57e61b84d67156d42cc9a4","observation_id":"1183c905-11b2-4b13-a3ef-904ca7f871dc","resolution":{"observed_at":"2026-08-10T20:25:39.869963Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:25:39.528784Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets","version":1},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-10T20:25:39.528784Z"},"links":{"citing_paper":"/paper/2608.06820"},"observation_digest":"sha256:12f6e8b1381ed2015a6f5ac2371694ae345d3dd25a315ee2584bc156414d6a15","observation_id":"6a4f409f-835d-4675-a264-cb1f884ccd61","resolution":{"observed_at":"2026-08-10T20:25:39.528784Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2608.06820","last_updated":"2026-08-07T05:20:16Z","latest_version":1,"primary_category":"math.CO","snapshot_observed_at":"2026-08-12T19:10:57.335253Z","submitted_at":"2026-08-07T05:20:16Z","title":"Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets"},"reference_resolution":{"displayed":28,"state_counts":{"malformed_identifier":4,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":10,"verified_exact":6,"verified_fuzzy":5},"total_outbound_references":28},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"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."}