{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:BBHWFLNU77MKEACT6JGT26AGFD","short_pith_number":"pith:BBHWFLNU","canonical_record":{"source":{"id":"1511.01031","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-11-03T18:54:31Z","cross_cats_sorted":[],"title_canon_sha256":"0deb073403fb4a70d4dadfb862ab7101225667703b4bf68b23c6ef62007a34d2","abstract_canon_sha256":"3c38ee088e4d8b0c9e713d84d66b14ba652c5ad3207baa657ee2cf762f33050f"},"schema_version":"1.0"},"canonical_sha256":"084f62adb4ffd8a20053f24d3d780628d3f327aa7c07f412044547e0dc008341","source":{"kind":"arxiv","id":"1511.01031","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.01031","created_at":"2026-05-18T01:27:55Z"},{"alias_kind":"arxiv_version","alias_value":"1511.01031v1","created_at":"2026-05-18T01:27:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.01031","created_at":"2026-05-18T01:27:55Z"},{"alias_kind":"pith_short_12","alias_value":"BBHWFLNU77MK","created_at":"2026-05-18T12:29:14Z"},{"alias_kind":"pith_short_16","alias_value":"BBHWFLNU77MKEACT","created_at":"2026-05-18T12:29:14Z"},{"alias_kind":"pith_short_8","alias_value":"BBHWFLNU","created_at":"2026-05-18T12:29:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:BBHWFLNU77MKEACT6JGT26AGFD","target":"record","payload":{"canonical_record":{"source":{"id":"1511.01031","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-11-03T18:54:31Z","cross_cats_sorted":[],"title_canon_sha256":"0deb073403fb4a70d4dadfb862ab7101225667703b4bf68b23c6ef62007a34d2","abstract_canon_sha256":"3c38ee088e4d8b0c9e713d84d66b14ba652c5ad3207baa657ee2cf762f33050f"},"schema_version":"1.0"},"canonical_sha256":"084f62adb4ffd8a20053f24d3d780628d3f327aa7c07f412044547e0dc008341","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:27:55.402119Z","signature_b64":"nSRVM/WETIS4iaKWLy3T45uiW0ou3qVP75wqs5KmfORw00ZcFPsQ5bYoIOFLPoZL8GxELE67F8bUsL1uV/V5Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"084f62adb4ffd8a20053f24d3d780628d3f327aa7c07f412044547e0dc008341","last_reissued_at":"2026-05-18T01:27:55.401400Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:27:55.401400Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1511.01031","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-18T01:27:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cLO8Co8+Ls9FxjKTuVLkss4oRCAHk/s1IpNGxjyt2onbmRkZ/RKDM6Nm3bPNtoL3ioqbbk7pGsnkHEYrvO72Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T23:11:29.988768Z"},"content_sha256":"e6f28f5b4119ddba49d063ed58aebcd98351ec130a71dbda65e3c69a22caa6eb","schema_version":"1.0","event_id":"sha256:e6f28f5b4119ddba49d063ed58aebcd98351ec130a71dbda65e3c69a22caa6eb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:BBHWFLNU77MKEACT6JGT26AGFD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Factor Congruence Lifting Property","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Claudia Mure\\c{s}an, George Georgescu","submitted_at":"2015-11-03T18:54:31Z","abstract_excerpt":"In previous work, we have introduced and studied a lifting property in congruence--distributive universal algebras which we have defined based on the Boolean congruences of such algebras, and which we have called the Congruence Boolean Lifting Property. In a similar way, a lifting property based on factor congruences can be defined in congruence--distributive algebras; in this paper we introduce this property, which we have called the Factor Congruence Lifting Property, and study it, partly in relation to the Congruence Boolean Lifting Property, and to other lifting properties in particular cl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.01031","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-18T01:27:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"It9x6ZgV4oyB/5YpFFCwDiTSiKUi56xoU0J0TNba5j2h9RHz47zK4cU5qC+H2f6wR+1UjjPQsL0tIm4atzh5CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T23:11:29.989366Z"},"content_sha256":"47378f180f1e5809579a4b43ee55d890bbb574a01ec0280bc9aea4f9313e0393","schema_version":"1.0","event_id":"sha256:47378f180f1e5809579a4b43ee55d890bbb574a01ec0280bc9aea4f9313e0393"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BBHWFLNU77MKEACT6JGT26AGFD/bundle.json","state_url":"https://pith.science/pith/BBHWFLNU77MKEACT6JGT26AGFD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BBHWFLNU77MKEACT6JGT26AGFD/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-30T23:11:29Z","links":{"resolver":"https://pith.science/pith/BBHWFLNU77MKEACT6JGT26AGFD","bundle":"https://pith.science/pith/BBHWFLNU77MKEACT6JGT26AGFD/bundle.json","state":"https://pith.science/pith/BBHWFLNU77MKEACT6JGT26AGFD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BBHWFLNU77MKEACT6JGT26AGFD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:BBHWFLNU77MKEACT6JGT26AGFD","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":"3c38ee088e4d8b0c9e713d84d66b14ba652c5ad3207baa657ee2cf762f33050f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-11-03T18:54:31Z","title_canon_sha256":"0deb073403fb4a70d4dadfb862ab7101225667703b4bf68b23c6ef62007a34d2"},"schema_version":"1.0","source":{"id":"1511.01031","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.01031","created_at":"2026-05-18T01:27:55Z"},{"alias_kind":"arxiv_version","alias_value":"1511.01031v1","created_at":"2026-05-18T01:27:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.01031","created_at":"2026-05-18T01:27:55Z"},{"alias_kind":"pith_short_12","alias_value":"BBHWFLNU77MK","created_at":"2026-05-18T12:29:14Z"},{"alias_kind":"pith_short_16","alias_value":"BBHWFLNU77MKEACT","created_at":"2026-05-18T12:29:14Z"},{"alias_kind":"pith_short_8","alias_value":"BBHWFLNU","created_at":"2026-05-18T12:29:14Z"}],"graph_snapshots":[{"event_id":"sha256:47378f180f1e5809579a4b43ee55d890bbb574a01ec0280bc9aea4f9313e0393","target":"graph","created_at":"2026-05-18T01:27:55Z","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":"In previous work, we have introduced and studied a lifting property in congruence--distributive universal algebras which we have defined based on the Boolean congruences of such algebras, and which we have called the Congruence Boolean Lifting Property. In a similar way, a lifting property based on factor congruences can be defined in congruence--distributive algebras; in this paper we introduce this property, which we have called the Factor Congruence Lifting Property, and study it, partly in relation to the Congruence Boolean Lifting Property, and to other lifting properties in particular cl","authors_text":"Claudia Mure\\c{s}an, George Georgescu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-11-03T18:54:31Z","title":"Factor Congruence Lifting Property"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.01031","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:e6f28f5b4119ddba49d063ed58aebcd98351ec130a71dbda65e3c69a22caa6eb","target":"record","created_at":"2026-05-18T01:27:55Z","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":"3c38ee088e4d8b0c9e713d84d66b14ba652c5ad3207baa657ee2cf762f33050f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-11-03T18:54:31Z","title_canon_sha256":"0deb073403fb4a70d4dadfb862ab7101225667703b4bf68b23c6ef62007a34d2"},"schema_version":"1.0","source":{"id":"1511.01031","kind":"arxiv","version":1}},"canonical_sha256":"084f62adb4ffd8a20053f24d3d780628d3f327aa7c07f412044547e0dc008341","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"084f62adb4ffd8a20053f24d3d780628d3f327aa7c07f412044547e0dc008341","first_computed_at":"2026-05-18T01:27:55.401400Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:27:55.401400Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nSRVM/WETIS4iaKWLy3T45uiW0ou3qVP75wqs5KmfORw00ZcFPsQ5bYoIOFLPoZL8GxELE67F8bUsL1uV/V5Dw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:27:55.402119Z","signed_message":"canonical_sha256_bytes"},"source_id":"1511.01031","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e6f28f5b4119ddba49d063ed58aebcd98351ec130a71dbda65e3c69a22caa6eb","sha256:47378f180f1e5809579a4b43ee55d890bbb574a01ec0280bc9aea4f9313e0393"],"state_sha256":"20c1eb37887c0b89a557c022fe46cf9c66050e86ff0f3ff02262e4e8e51ff1c5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"A1THB6i+dnPe/u2/G0Qzgm3YbLFgLeJ7dp4JGDkRdvt777ezgpfa3cQpXCpfPsdKo1El4CI8E6zYywupPzk4CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-30T23:11:29.992193Z","bundle_sha256":"029833250e03ba147944fe6c5fd8a3f0eb3a88b2563da790449cec580d089aaf"}}