{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:W2OVOPFIH4UR6MP72DWINZ5ICV","short_pith_number":"pith:W2OVOPFI","schema_version":"1.0","canonical_sha256":"b69d573ca83f291f31ffd0ec86e7a8154039e910ac0b01bc7e0094b30ef62f2c","source":{"kind":"arxiv","id":"2202.05536","version":2},"attestation_state":"computed","paper":{"title":"Hierarchical decompositions of implicational bases for the enumeration of meet-irreducible elements","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.DM"],"primary_cat":"math.CO","authors_text":"Lhouari Nourine, Simon Vilmin","submitted_at":"2022-02-11T10:24:53Z","abstract_excerpt":"We are interested in the problem of translating between two representations of closure systems, namely implicational bases and meet-irreducible elements. Albeit its importance, the problem is open. Motivated by this problem, we introduce splits of an implicational base. It is a partitioning operation of the implications which we apply recursively to obtain a binary tree representing a decomposition of the implicational base. We show that this decomposition can be conducted in polynomial time and space in the size of the input implicational base. In order to use our decomposition for the transl"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2202.05536","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2022-02-11T10:24:53Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"661072a717fb95b3c5607843b39af47059d50e574904dc096cd2eeaf92c8c7c0","abstract_canon_sha256":"ef667bb61f56c55e66595424f86e0c7acc7b534d117e430d234d8a71e7bfe738"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:21:03.146423Z","signature_b64":"pmz8TclmXIU2zMYKCuKrY4nd31wuVqR3DzXKXxM4iwiqZDGGac3tijTMCg6gTCRO2J+Rj56gp0O0cEGt1STLBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b69d573ca83f291f31ffd0ec86e7a8154039e910ac0b01bc7e0094b30ef62f2c","last_reissued_at":"2026-07-05T06:21:03.145996Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:21:03.145996Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Hierarchical decompositions of implicational bases for the enumeration of meet-irreducible elements","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.DM"],"primary_cat":"math.CO","authors_text":"Lhouari Nourine, Simon Vilmin","submitted_at":"2022-02-11T10:24:53Z","abstract_excerpt":"We are interested in the problem of translating between two representations of closure systems, namely implicational bases and meet-irreducible elements. Albeit its importance, the problem is open. Motivated by this problem, we introduce splits of an implicational base. It is a partitioning operation of the implications which we apply recursively to obtain a binary tree representing a decomposition of the implicational base. We show that this decomposition can be conducted in polynomial time and space in the size of the input implicational base. In order to use our decomposition for the transl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2202.05536","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2202.05536/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2202.05536","created_at":"2026-07-05T06:21:03.146052+00:00"},{"alias_kind":"arxiv_version","alias_value":"2202.05536v2","created_at":"2026-07-05T06:21:03.146052+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2202.05536","created_at":"2026-07-05T06:21:03.146052+00:00"},{"alias_kind":"pith_short_12","alias_value":"W2OVOPFIH4UR","created_at":"2026-07-05T06:21:03.146052+00:00"},{"alias_kind":"pith_short_16","alias_value":"W2OVOPFIH4UR6MP7","created_at":"2026-07-05T06:21:03.146052+00:00"},{"alias_kind":"pith_short_8","alias_value":"W2OVOPFI","created_at":"2026-07-05T06:21:03.146052+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/W2OVOPFIH4UR6MP72DWINZ5ICV","json":"https://pith.science/pith/W2OVOPFIH4UR6MP72DWINZ5ICV.json","graph_json":"https://pith.science/api/pith-number/W2OVOPFIH4UR6MP72DWINZ5ICV/graph.json","events_json":"https://pith.science/api/pith-number/W2OVOPFIH4UR6MP72DWINZ5ICV/events.json","paper":"https://pith.science/paper/W2OVOPFI"},"agent_actions":{"view_html":"https://pith.science/pith/W2OVOPFIH4UR6MP72DWINZ5ICV","download_json":"https://pith.science/pith/W2OVOPFIH4UR6MP72DWINZ5ICV.json","view_paper":"https://pith.science/paper/W2OVOPFI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2202.05536&json=true","fetch_graph":"https://pith.science/api/pith-number/W2OVOPFIH4UR6MP72DWINZ5ICV/graph.json","fetch_events":"https://pith.science/api/pith-number/W2OVOPFIH4UR6MP72DWINZ5ICV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/W2OVOPFIH4UR6MP72DWINZ5ICV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/W2OVOPFIH4UR6MP72DWINZ5ICV/action/storage_attestation","attest_author":"https://pith.science/pith/W2OVOPFIH4UR6MP72DWINZ5ICV/action/author_attestation","sign_citation":"https://pith.science/pith/W2OVOPFIH4UR6MP72DWINZ5ICV/action/citation_signature","submit_replication":"https://pith.science/pith/W2OVOPFIH4UR6MP72DWINZ5ICV/action/replication_record"}},"created_at":"2026-07-05T06:21:03.146052+00:00","updated_at":"2026-07-05T06:21:03.146052+00:00"}