{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:MEM3VZMUXRBUK2VVE6OV5XQ3I5","short_pith_number":"pith:MEM3VZMU","canonical_record":{"source":{"id":"1905.09343","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2019-05-22T19:34:17Z","cross_cats_sorted":[],"title_canon_sha256":"a8f20e34f43451ad3f8b32c86852a474264aa46cc7ad3e53e4ee4acac20195ca","abstract_canon_sha256":"56004534b95cd4739e6e4b8033b6bbdfb08f2d002e12e8a6541fdbd57cce913b"},"schema_version":"1.0"},"canonical_sha256":"6119bae594bc43456ab5279d5ede1b474b8e37c10589547e5f6c208619f6cfac","source":{"kind":"arxiv","id":"1905.09343","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.09343","created_at":"2026-05-17T23:45:19Z"},{"alias_kind":"arxiv_version","alias_value":"1905.09343v1","created_at":"2026-05-17T23:45:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.09343","created_at":"2026-05-17T23:45:19Z"},{"alias_kind":"pith_short_12","alias_value":"MEM3VZMUXRBU","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"MEM3VZMUXRBUK2VV","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"MEM3VZMU","created_at":"2026-05-18T12:33:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:MEM3VZMUXRBUK2VVE6OV5XQ3I5","target":"record","payload":{"canonical_record":{"source":{"id":"1905.09343","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2019-05-22T19:34:17Z","cross_cats_sorted":[],"title_canon_sha256":"a8f20e34f43451ad3f8b32c86852a474264aa46cc7ad3e53e4ee4acac20195ca","abstract_canon_sha256":"56004534b95cd4739e6e4b8033b6bbdfb08f2d002e12e8a6541fdbd57cce913b"},"schema_version":"1.0"},"canonical_sha256":"6119bae594bc43456ab5279d5ede1b474b8e37c10589547e5f6c208619f6cfac","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:45:19.539162Z","signature_b64":"QIcsjeuLqLWFKvgERIrYoiomza4jjbW+zsnyjirS0duXZRYKcadNVeIXZcM4vA28ZeaNDSYI4ZnW9+t8LEDaDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6119bae594bc43456ab5279d5ede1b474b8e37c10589547e5f6c208619f6cfac","last_reissued_at":"2026-05-17T23:45:19.538476Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:45:19.538476Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.09343","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:45:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eP7HIgLQDI1Yfejrol2uVJIS3fGBTvXgiExLHCwmNH3bPhAfhn0veW/ApsBivyw1uI2XAS2qImmE+KvIKB0qCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T12:38:28.836143Z"},"content_sha256":"e516eb128544da9142e6f2a81a2a33969c4028560fe5c31ce59c0c7aacfc2d28","schema_version":"1.0","event_id":"sha256:e516eb128544da9142e6f2a81a2a33969c4028560fe5c31ce59c0c7aacfc2d28"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:MEM3VZMUXRBUK2VVE6OV5XQ3I5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Sectionally pseudocomplemented posets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.RA","authors_text":"Helmut L\\\"anger, Ivan Chajda, Jan Paseka","submitted_at":"2019-05-22T19:34:17Z","abstract_excerpt":"The concept of a sectionally pseudocomplemented lattice was introduced by I. Chajda as an extension of relative pseudocomplementation for not necessarily distributive lattices. The typical example of such a lattice is the non-modular lattice N5. The aim of this paper is to extend the concept of sectional pseudocomplementation from lattices to posets. At first we show that the class of sectionally pseudocompelemented lattices forms a variety of lattices which can be described by two simple identities. This variety has nice congruence properties. We summarize properties of sectionally pseudocomp"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.09343","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:45:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Hgzuc1KCja8ZljtHxLF7t75M8zBf4lEARwxW3CEjtntcKmwQ8qca1EVPR/aFzrjq+x/WoTbSan5COYOlUp6CCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T12:38:28.836850Z"},"content_sha256":"3d4f7d3a269390d811d6127bfb7abc93269fb553d2ae480ebe5815d22d7d7da4","schema_version":"1.0","event_id":"sha256:3d4f7d3a269390d811d6127bfb7abc93269fb553d2ae480ebe5815d22d7d7da4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MEM3VZMUXRBUK2VVE6OV5XQ3I5/bundle.json","state_url":"https://pith.science/pith/MEM3VZMUXRBUK2VVE6OV5XQ3I5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MEM3VZMUXRBUK2VVE6OV5XQ3I5/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-10T12:38:28Z","links":{"resolver":"https://pith.science/pith/MEM3VZMUXRBUK2VVE6OV5XQ3I5","bundle":"https://pith.science/pith/MEM3VZMUXRBUK2VVE6OV5XQ3I5/bundle.json","state":"https://pith.science/pith/MEM3VZMUXRBUK2VVE6OV5XQ3I5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MEM3VZMUXRBUK2VVE6OV5XQ3I5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:MEM3VZMUXRBUK2VVE6OV5XQ3I5","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"56004534b95cd4739e6e4b8033b6bbdfb08f2d002e12e8a6541fdbd57cce913b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2019-05-22T19:34:17Z","title_canon_sha256":"a8f20e34f43451ad3f8b32c86852a474264aa46cc7ad3e53e4ee4acac20195ca"},"schema_version":"1.0","source":{"id":"1905.09343","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.09343","created_at":"2026-05-17T23:45:19Z"},{"alias_kind":"arxiv_version","alias_value":"1905.09343v1","created_at":"2026-05-17T23:45:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.09343","created_at":"2026-05-17T23:45:19Z"},{"alias_kind":"pith_short_12","alias_value":"MEM3VZMUXRBU","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"MEM3VZMUXRBUK2VV","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"MEM3VZMU","created_at":"2026-05-18T12:33:21Z"}],"graph_snapshots":[{"event_id":"sha256:3d4f7d3a269390d811d6127bfb7abc93269fb553d2ae480ebe5815d22d7d7da4","target":"graph","created_at":"2026-05-17T23:45:19Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"The concept of a sectionally pseudocomplemented lattice was introduced by I. Chajda as an extension of relative pseudocomplementation for not necessarily distributive lattices. The typical example of such a lattice is the non-modular lattice N5. The aim of this paper is to extend the concept of sectional pseudocomplementation from lattices to posets. At first we show that the class of sectionally pseudocompelemented lattices forms a variety of lattices which can be described by two simple identities. This variety has nice congruence properties. We summarize properties of sectionally pseudocomp","authors_text":"Helmut L\\\"anger, Ivan Chajda, Jan Paseka","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2019-05-22T19:34:17Z","title":"Sectionally pseudocomplemented posets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.09343","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:e516eb128544da9142e6f2a81a2a33969c4028560fe5c31ce59c0c7aacfc2d28","target":"record","created_at":"2026-05-17T23:45:19Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"56004534b95cd4739e6e4b8033b6bbdfb08f2d002e12e8a6541fdbd57cce913b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2019-05-22T19:34:17Z","title_canon_sha256":"a8f20e34f43451ad3f8b32c86852a474264aa46cc7ad3e53e4ee4acac20195ca"},"schema_version":"1.0","source":{"id":"1905.09343","kind":"arxiv","version":1}},"canonical_sha256":"6119bae594bc43456ab5279d5ede1b474b8e37c10589547e5f6c208619f6cfac","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6119bae594bc43456ab5279d5ede1b474b8e37c10589547e5f6c208619f6cfac","first_computed_at":"2026-05-17T23:45:19.538476Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:45:19.538476Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QIcsjeuLqLWFKvgERIrYoiomza4jjbW+zsnyjirS0duXZRYKcadNVeIXZcM4vA28ZeaNDSYI4ZnW9+t8LEDaDw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:45:19.539162Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.09343","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e516eb128544da9142e6f2a81a2a33969c4028560fe5c31ce59c0c7aacfc2d28","sha256:3d4f7d3a269390d811d6127bfb7abc93269fb553d2ae480ebe5815d22d7d7da4"],"state_sha256":"b94e072dc0e5f2dad79d72e97e75ce70db6afc5435ecec541bebef4e665e90c8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HhPjgaIxkcE0EuU6X/w7EgmqhyCAPxgdHCKbE7yO6jS571qbpkChydntwGi9FUIZUkZzJAAD3TxCBWDO+VnNBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T12:38:28.840951Z","bundle_sha256":"6233c817cca91c78c8e347eeae447f484a2a90077237187fc4ffacb26565d9b2"}}