{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:ZCKWB25J3F4F22L43Y2UNI7G47","short_pith_number":"pith:ZCKWB25J","canonical_record":{"source":{"id":"1604.01288","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2016-04-05T15:06:36Z","cross_cats_sorted":["cs.LO","math.CO"],"title_canon_sha256":"529fdd4d1ab6f90cd7754c8e8e60cfa4c2ad5f69daeb0c8ab377038fbbe24108","abstract_canon_sha256":"6fe8e35bb287ea3a216c29d611d1a3cbc0b13716a98376b0c0b142dd37488da3"},"schema_version":"1.0"},"canonical_sha256":"c89560eba9d9785d697cde3546a3e6e7cbdd99f0d063ba196c12d9d4712fdab4","source":{"kind":"arxiv","id":"1604.01288","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.01288","created_at":"2026-05-18T01:17:38Z"},{"alias_kind":"arxiv_version","alias_value":"1604.01288v1","created_at":"2026-05-18T01:17:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.01288","created_at":"2026-05-18T01:17:38Z"},{"alias_kind":"pith_short_12","alias_value":"ZCKWB25J3F4F","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_16","alias_value":"ZCKWB25J3F4F22L4","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_8","alias_value":"ZCKWB25J","created_at":"2026-05-18T12:30:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:ZCKWB25J3F4F22L43Y2UNI7G47","target":"record","payload":{"canonical_record":{"source":{"id":"1604.01288","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2016-04-05T15:06:36Z","cross_cats_sorted":["cs.LO","math.CO"],"title_canon_sha256":"529fdd4d1ab6f90cd7754c8e8e60cfa4c2ad5f69daeb0c8ab377038fbbe24108","abstract_canon_sha256":"6fe8e35bb287ea3a216c29d611d1a3cbc0b13716a98376b0c0b142dd37488da3"},"schema_version":"1.0"},"canonical_sha256":"c89560eba9d9785d697cde3546a3e6e7cbdd99f0d063ba196c12d9d4712fdab4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:17:38.601179Z","signature_b64":"JYBttOZYIWLaVgUWfG3XgZ7zjufUz8NeMzip5jVg96ywxlxTHOEzTTB0Et1BkbMW4XZCB+CPDvdfXsdaT4cwCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c89560eba9d9785d697cde3546a3e6e7cbdd99f0d063ba196c12d9d4712fdab4","last_reissued_at":"2026-05-18T01:17:38.600494Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:17:38.600494Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1604.01288","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:17:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"onwW6FPMy0euro6A88CRKrKd1JY5HrXIUeFbjmcD7u5XlHFPUoKkbnbdo+hwdqgC3YvmR5oHuyRW9XKYOzmQBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T03:44:20.125108Z"},"content_sha256":"8e3d6755b1f571df607b5f8560f11ac2bdd3d606cf7f69a1c41296ce80df3015","schema_version":"1.0","event_id":"sha256:8e3d6755b1f571df607b5f8560f11ac2bdd3d606cf7f69a1c41296ce80df3015"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:ZCKWB25J3F4F22L43Y2UNI7G47","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Unsatisfiable hitting clause-sets with three more clauses than variables","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","math.CO"],"primary_cat":"cs.DM","authors_text":"Oliver Kullmann, Xishun Zhao","submitted_at":"2016-04-05T15:06:36Z","abstract_excerpt":"The topic of this paper is the Finiteness Conjecture for minimally unsatisfiable clause-sets (MUs), stating that for each fixed deficiency (number of clauses minus number of variables) there are only finitely many patterns, given a certain basic reduction (generalising unit-clause propagation). We focus our attention on hitting clause-sets (every two clauses have at least one clash), where the conjecture says that there are only finitely many isomorphism types. The Finiteness Conjecture is here known to hold for deficiency at most 2, and we now prove it for deficiency 3. An important tool is t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.01288","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:17:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Fp9kc3IkSu4O4HX8httLgKOpjN7jCb+YHXDLFjrugZxTMmcOJvfrLN+J88FPujmZeQEo/BENm9O/wHNqqEenCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T03:44:20.125838Z"},"content_sha256":"dccdb9d7ca42c11397b9af22b82055f29b961e6b031af1ac1ad7ad04b5865ed8","schema_version":"1.0","event_id":"sha256:dccdb9d7ca42c11397b9af22b82055f29b961e6b031af1ac1ad7ad04b5865ed8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZCKWB25J3F4F22L43Y2UNI7G47/bundle.json","state_url":"https://pith.science/pith/ZCKWB25J3F4F22L43Y2UNI7G47/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZCKWB25J3F4F22L43Y2UNI7G47/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-05-26T03:44:20Z","links":{"resolver":"https://pith.science/pith/ZCKWB25J3F4F22L43Y2UNI7G47","bundle":"https://pith.science/pith/ZCKWB25J3F4F22L43Y2UNI7G47/bundle.json","state":"https://pith.science/pith/ZCKWB25J3F4F22L43Y2UNI7G47/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZCKWB25J3F4F22L43Y2UNI7G47/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:ZCKWB25J3F4F22L43Y2UNI7G47","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":"6fe8e35bb287ea3a216c29d611d1a3cbc0b13716a98376b0c0b142dd37488da3","cross_cats_sorted":["cs.LO","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2016-04-05T15:06:36Z","title_canon_sha256":"529fdd4d1ab6f90cd7754c8e8e60cfa4c2ad5f69daeb0c8ab377038fbbe24108"},"schema_version":"1.0","source":{"id":"1604.01288","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.01288","created_at":"2026-05-18T01:17:38Z"},{"alias_kind":"arxiv_version","alias_value":"1604.01288v1","created_at":"2026-05-18T01:17:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.01288","created_at":"2026-05-18T01:17:38Z"},{"alias_kind":"pith_short_12","alias_value":"ZCKWB25J3F4F","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_16","alias_value":"ZCKWB25J3F4F22L4","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_8","alias_value":"ZCKWB25J","created_at":"2026-05-18T12:30:53Z"}],"graph_snapshots":[{"event_id":"sha256:dccdb9d7ca42c11397b9af22b82055f29b961e6b031af1ac1ad7ad04b5865ed8","target":"graph","created_at":"2026-05-18T01:17:38Z","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 topic of this paper is the Finiteness Conjecture for minimally unsatisfiable clause-sets (MUs), stating that for each fixed deficiency (number of clauses minus number of variables) there are only finitely many patterns, given a certain basic reduction (generalising unit-clause propagation). We focus our attention on hitting clause-sets (every two clauses have at least one clash), where the conjecture says that there are only finitely many isomorphism types. The Finiteness Conjecture is here known to hold for deficiency at most 2, and we now prove it for deficiency 3. An important tool is t","authors_text":"Oliver Kullmann, Xishun Zhao","cross_cats":["cs.LO","math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2016-04-05T15:06:36Z","title":"Unsatisfiable hitting clause-sets with three more clauses than variables"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.01288","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:8e3d6755b1f571df607b5f8560f11ac2bdd3d606cf7f69a1c41296ce80df3015","target":"record","created_at":"2026-05-18T01:17:38Z","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":"6fe8e35bb287ea3a216c29d611d1a3cbc0b13716a98376b0c0b142dd37488da3","cross_cats_sorted":["cs.LO","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2016-04-05T15:06:36Z","title_canon_sha256":"529fdd4d1ab6f90cd7754c8e8e60cfa4c2ad5f69daeb0c8ab377038fbbe24108"},"schema_version":"1.0","source":{"id":"1604.01288","kind":"arxiv","version":1}},"canonical_sha256":"c89560eba9d9785d697cde3546a3e6e7cbdd99f0d063ba196c12d9d4712fdab4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c89560eba9d9785d697cde3546a3e6e7cbdd99f0d063ba196c12d9d4712fdab4","first_computed_at":"2026-05-18T01:17:38.600494Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:17:38.600494Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JYBttOZYIWLaVgUWfG3XgZ7zjufUz8NeMzip5jVg96ywxlxTHOEzTTB0Et1BkbMW4XZCB+CPDvdfXsdaT4cwCA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:17:38.601179Z","signed_message":"canonical_sha256_bytes"},"source_id":"1604.01288","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8e3d6755b1f571df607b5f8560f11ac2bdd3d606cf7f69a1c41296ce80df3015","sha256:dccdb9d7ca42c11397b9af22b82055f29b961e6b031af1ac1ad7ad04b5865ed8"],"state_sha256":"0db86faa8220c802d9db10d487dabe62dc4c2f0920b27cf2108e4aa9b87fa490"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FUMLcZK1oIy5SVjAHrRBkZmOP44TUXKXIr6R3SF0PpSfsg4AVtW8oFXF/7XUjkQ6GPjlQJlJM3E9K4Rf8tj7Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T03:44:20.129538Z","bundle_sha256":"6597475a8ccd6f3239f72e6fb484a5bf9dd6ec2662beb97eba229c5a88426d96"}}