{"as_of":"2026-08-12T09:39:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:cd1c07ee0e7be0076567f2fb9566e25083eb6c99720454704615311fe2d3c7b1","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-12T09:10:35.305097Z","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:7df7067e3dc1192e93042ecb6572ae1b0998bcb7d8095a7f83399fddbc3cd581","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-12T09:10:35.305097Z","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:54b05a0639dd1e89f3f46acb46d77e4d6a2adbb23012a8c539e59d9d0079b09d","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-12T09:10:35.305097Z","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:f1ce7bf120a1e894922f1d6e5938484c998dd3dada075fd6ff113bd30a579313","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-12T09:10:35.305097Z","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:ab3b320bd5933b65e72d9fbe0bf1d3c6571a8c1ecfade3ce2a4397f7515032c2","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-12T09:10:35.305097Z","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:e8e2a1905dc87cfd3b4c7aeb045f8d09d7fc4590f1cbfccdc0c6b9ff925d8113","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-12T09:10:35.305097Z","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:de0a506646f3fdca8a9a28228195a25b144a2dd761d5f3b6a2b07622cea00ac6","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-12T09:10:35.305097Z","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:29476179756636bd278a82ccc6e5480846b1db35210c41e675fea5a407236728","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-12T09:10:35.305097Z","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:8601ee8a0ffd9abb6ef47d3af59c84010acbb50381fe48363fe6bb2ea2633538","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-12T09:10:35.305097Z","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:f5e4ae5b97b5bb932eaf47f01a68d08f5ab0a384b87b8532f47d31c47b42b0ad","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-12T09:10:35.305097Z","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:05ceec18c54a67b735800619d578603af1ece50d1a8357f4a51cd42c23572f10","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-12T09:10:35.305097Z","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:4904fb4e12270e80bbda1d0ac5988abdce9d7c7e190f90d38460a64372aeb620","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-12T09:10:35.305097Z","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:f28d86bf3f2e7ee20d834940c6658e55e4a5316ab972b0b0e09879563bfbfdd2","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-12T09:10:35.305097Z","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:82c056c7c242799b118142ab3ed8226120c5c4d0f8d39895684a849456f6a71f","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-12T09:10:35.305097Z","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:c05f7a4ff86d5be81a02f452c9925437572ad11c2491de8ef4476798080892d0","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-12T09:10:35.305097Z","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:6c9ef1f92c4df7e7462c41f77d15914060ca86a21f6eadbfa7b71eca2f9d127f","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-12T09:10:35.305097Z","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:ff71456c804e225e6fb6837f21ee41ac00788a1ad3b96d82ab0c2ac77a19cd2c","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-12T09:10:35.305097Z","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:24947ab10a193bd6b8d6b323e0fe954fcce0986db4950b01f9bab907633afb17","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-12T09:10:35.305097Z","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:fd37d46fe8b3398df798112c8a475d24ad15b366c73408f3152aef24ac89e1b7","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-12T09:10:35.305097Z","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:3a8621005674db5bf51ebc373f39b81ec402281292cab8165510c0a25353ace9","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-12T09:10:35.305097Z","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:ff4c29ea0534bc3891db995f99a636c80e1ef8b1bbb6527612da9af8d4bf098e","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-12T09:10:35.305097Z","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:82d8fb1ec5ebd62a5ac2fd709006760cf800afed96940a3230f129aac65f8886","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-12T09:10:35.305097Z","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:aa26091a30a42fa3ff9b95ebc518d455e535a2a960e012afa1eaf694e6afce82","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-12T09:10:35.305097Z","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:e2d4ce5fbce3f8a2c5f5de9f35c788d5636f657bf69985c6ad767e81e055203c","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-12T09:10:35.305097Z","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:82c499768e732601d57ceaf2e379cab3e7b89e607fc77a02e88e3f4f5756c9ae","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-12T09:10:35.305097Z","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:0f18f36b169a28cd2b63f70c9e04cda2ff8a5408867fc3ee6691057941166f15","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-12T09:10:35.305097Z","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:9323d291060ce58b9c66da92d2fa1ed3f006298f996cc09179f99e7b04bfe2d6","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-12T09:10:35.305097Z","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:5b121bd1354432254f6234ebaa2c9ef06ee94b699b992e5505d0621b72ffc17f","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-12T09:10:35.305097Z","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:462d14b50dbd8e079fe4c4be887a1ee7ee45f28b7d72b5cd41e1cef2ec67c475","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-12T09:10:35.305097Z","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."}