{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:W2UENZ6YPVQLLI6UGIUTDCZI46","short_pith_number":"pith:W2UENZ6Y","canonical_record":{"source":{"id":"1502.06359","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-23T09:42:56Z","cross_cats_sorted":[],"title_canon_sha256":"b43c87378bf0fef5bcecef909efd0814fd095d8c31bddb60cfa361a0aeb0e72c","abstract_canon_sha256":"3f899de7e7d75332e219bcbd90acf086089c3351413fb499b4f05950a660db0e"},"schema_version":"1.0"},"canonical_sha256":"b6a846e7d87d60b5a3d43229318b28e78d29d422cb09fb51985fa998c33e2ab8","source":{"kind":"arxiv","id":"1502.06359","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.06359","created_at":"2026-05-18T00:59:02Z"},{"alias_kind":"arxiv_version","alias_value":"1502.06359v3","created_at":"2026-05-18T00:59:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.06359","created_at":"2026-05-18T00:59:02Z"},{"alias_kind":"pith_short_12","alias_value":"W2UENZ6YPVQL","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_16","alias_value":"W2UENZ6YPVQLLI6U","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_8","alias_value":"W2UENZ6Y","created_at":"2026-05-18T12:29:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:W2UENZ6YPVQLLI6UGIUTDCZI46","target":"record","payload":{"canonical_record":{"source":{"id":"1502.06359","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-23T09:42:56Z","cross_cats_sorted":[],"title_canon_sha256":"b43c87378bf0fef5bcecef909efd0814fd095d8c31bddb60cfa361a0aeb0e72c","abstract_canon_sha256":"3f899de7e7d75332e219bcbd90acf086089c3351413fb499b4f05950a660db0e"},"schema_version":"1.0"},"canonical_sha256":"b6a846e7d87d60b5a3d43229318b28e78d29d422cb09fb51985fa998c33e2ab8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:59:02.133736Z","signature_b64":"vbqDUA+WSqqAEx6Z29FsghdzaoIr6R9+dKXcpofOacSmKZyqrNHikJpshhKEGkSMBxLVMOb5s8SKkFIlGRddBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b6a846e7d87d60b5a3d43229318b28e78d29d422cb09fb51985fa998c33e2ab8","last_reissued_at":"2026-05-18T00:59:02.133188Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:59:02.133188Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1502.06359","source_version":3,"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-18T00:59:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LijwnCYhW64SanwBUt8s4giFPJHZcPfjURQhs/i3Zsj5DOvWRyQgG9TJF/6wm8OsyRur5DhqY3lJb6uVT7g5AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T15:42:27.280962Z"},"content_sha256":"6731f26e7f7568fce69d76c3da65f601c223b564ab93abca664e5d7a0578dc16","schema_version":"1.0","event_id":"sha256:6731f26e7f7568fce69d76c3da65f601c223b564ab93abca664e5d7a0578dc16"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:W2UENZ6YPVQLLI6UGIUTDCZI46","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Sound and Complete Axiomatization of Majority-n Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Anupam Chattopadhyay, Giovanni De Micheli, Luca Amaru, Pierre-Emmanuel Gaillardon","submitted_at":"2015-02-23T09:42:56Z","abstract_excerpt":"Manipulating logic functions via majority operators recently drew the attention of researchers in computer science. For example, circuit optimization based on majority operators enables superior results as compared to traditional logic systems. Also, the Boolean satisfiability problem finds new solving approaches when described in terms of majority decisions. To support computer logic applications based on majority a sound and complete set of axioms is required. Most of the recent advances in majority logic deal only with ternary majority (MAJ- 3) operators because the axiomatization with sole"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.06359","kind":"arxiv","version":3},"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-18T00:59:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SRst/Zsn4YuCO3Qb+FQBPJm4AScKjvPwHO4QwLpktvh2VS8WipiuoWx3Wb5CYFhg08EW9evDxZCXgBCiOrTQAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T15:42:27.281546Z"},"content_sha256":"fe033e4bd7fe00c7d4ebdf658a87e31af66a7369989d70cefcb2817f17bf4de0","schema_version":"1.0","event_id":"sha256:fe033e4bd7fe00c7d4ebdf658a87e31af66a7369989d70cefcb2817f17bf4de0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/W2UENZ6YPVQLLI6UGIUTDCZI46/bundle.json","state_url":"https://pith.science/pith/W2UENZ6YPVQLLI6UGIUTDCZI46/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/W2UENZ6YPVQLLI6UGIUTDCZI46/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-07-05T15:42:27Z","links":{"resolver":"https://pith.science/pith/W2UENZ6YPVQLLI6UGIUTDCZI46","bundle":"https://pith.science/pith/W2UENZ6YPVQLLI6UGIUTDCZI46/bundle.json","state":"https://pith.science/pith/W2UENZ6YPVQLLI6UGIUTDCZI46/state.json","well_known_bundle":"https://pith.science/.well-known/pith/W2UENZ6YPVQLLI6UGIUTDCZI46/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:W2UENZ6YPVQLLI6UGIUTDCZI46","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":"3f899de7e7d75332e219bcbd90acf086089c3351413fb499b4f05950a660db0e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-23T09:42:56Z","title_canon_sha256":"b43c87378bf0fef5bcecef909efd0814fd095d8c31bddb60cfa361a0aeb0e72c"},"schema_version":"1.0","source":{"id":"1502.06359","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.06359","created_at":"2026-05-18T00:59:02Z"},{"alias_kind":"arxiv_version","alias_value":"1502.06359v3","created_at":"2026-05-18T00:59:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.06359","created_at":"2026-05-18T00:59:02Z"},{"alias_kind":"pith_short_12","alias_value":"W2UENZ6YPVQL","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_16","alias_value":"W2UENZ6YPVQLLI6U","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_8","alias_value":"W2UENZ6Y","created_at":"2026-05-18T12:29:47Z"}],"graph_snapshots":[{"event_id":"sha256:fe033e4bd7fe00c7d4ebdf658a87e31af66a7369989d70cefcb2817f17bf4de0","target":"graph","created_at":"2026-05-18T00:59:02Z","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":"Manipulating logic functions via majority operators recently drew the attention of researchers in computer science. For example, circuit optimization based on majority operators enables superior results as compared to traditional logic systems. Also, the Boolean satisfiability problem finds new solving approaches when described in terms of majority decisions. To support computer logic applications based on majority a sound and complete set of axioms is required. Most of the recent advances in majority logic deal only with ternary majority (MAJ- 3) operators because the axiomatization with sole","authors_text":"Anupam Chattopadhyay, Giovanni De Micheli, Luca Amaru, Pierre-Emmanuel Gaillardon","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-23T09:42:56Z","title":"A Sound and Complete Axiomatization of Majority-n Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.06359","kind":"arxiv","version":3},"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:6731f26e7f7568fce69d76c3da65f601c223b564ab93abca664e5d7a0578dc16","target":"record","created_at":"2026-05-18T00:59:02Z","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":"3f899de7e7d75332e219bcbd90acf086089c3351413fb499b4f05950a660db0e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-23T09:42:56Z","title_canon_sha256":"b43c87378bf0fef5bcecef909efd0814fd095d8c31bddb60cfa361a0aeb0e72c"},"schema_version":"1.0","source":{"id":"1502.06359","kind":"arxiv","version":3}},"canonical_sha256":"b6a846e7d87d60b5a3d43229318b28e78d29d422cb09fb51985fa998c33e2ab8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b6a846e7d87d60b5a3d43229318b28e78d29d422cb09fb51985fa998c33e2ab8","first_computed_at":"2026-05-18T00:59:02.133188Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:59:02.133188Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vbqDUA+WSqqAEx6Z29FsghdzaoIr6R9+dKXcpofOacSmKZyqrNHikJpshhKEGkSMBxLVMOb5s8SKkFIlGRddBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:59:02.133736Z","signed_message":"canonical_sha256_bytes"},"source_id":"1502.06359","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6731f26e7f7568fce69d76c3da65f601c223b564ab93abca664e5d7a0578dc16","sha256:fe033e4bd7fe00c7d4ebdf658a87e31af66a7369989d70cefcb2817f17bf4de0"],"state_sha256":"cf03164118be5e445d9e89a2fa82199b1d1d54dc61f781ccbf90d0aacf7fe2b3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gzPTPHfYL+D38AKNaw6eidcWqU/PyiOVEi79XlTJyV+92ujiX7EaXKAsX2ZcYGH++ZCwtwDiIwu4bCxtEmwzAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-05T15:42:27.285323Z","bundle_sha256":"86ec3d589884de74c544c6164abdcba537886a6bad854bab3984750d6b24cebd"}}