{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:P6572CWLOVGVNZCSU3KVKA2X2M","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":"49663f2a63f7d03354979a5d8ca97025523570b1208506628ac3440c35242855","cross_cats_sorted":["cs.LO","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2015-05-09T21:10:15Z","title_canon_sha256":"5815dc4295e9b5fecef2697cc94b981355ffb700401622478e081ef1e2f6dfcb"},"schema_version":"1.0","source":{"id":"1505.02318","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1505.02318","created_at":"2026-05-18T01:37:10Z"},{"alias_kind":"arxiv_version","alias_value":"1505.02318v2","created_at":"2026-05-18T01:37:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1505.02318","created_at":"2026-05-18T01:37:10Z"},{"alias_kind":"pith_short_12","alias_value":"P6572CWLOVGV","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"P6572CWLOVGVNZCS","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"P6572CWL","created_at":"2026-05-18T12:29:34Z"}],"graph_snapshots":[{"event_id":"sha256:4a6a4a9b656cc435a1bbcddeac8042f8b8c87d4160e9f35090ac097363b4db8a","target":"graph","created_at":"2026-05-18T01:37:10Z","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":"We establish a new bridge between propositional logic and elementary number theory. The main objects are \"minimally unsatisfiable clause-sets\", short \"MUs\", unsatisfiable conjunctive normal forms rendered satisfiable by elimination of any clause. In other words, irredundant coverings of the boolean hypercube by subcubes. The main parameter for MUs is the \"deficiency\" k, the difference between the number of clauses and the number of variables (the difference between the number of elements in the covering and the dimension of the hypercube), and the fundamental fact is that k >= 1 holds.\n  A \"fu","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":"2015-05-09T21:10:15Z","title":"Parameters for minimal unsatisfiability: Smarandache primitive numbers and full clauses"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1505.02318","kind":"arxiv","version":2},"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:8c5f6c4c2ef78d1bc997be4da106e62735b767daa617df2839f2e009e4d21be4","target":"record","created_at":"2026-05-18T01:37:10Z","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":"49663f2a63f7d03354979a5d8ca97025523570b1208506628ac3440c35242855","cross_cats_sorted":["cs.LO","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2015-05-09T21:10:15Z","title_canon_sha256":"5815dc4295e9b5fecef2697cc94b981355ffb700401622478e081ef1e2f6dfcb"},"schema_version":"1.0","source":{"id":"1505.02318","kind":"arxiv","version":2}},"canonical_sha256":"7fbbfd0acb754d56e452a6d5550357d30f92b8bab33cc592c21c815aa3f9bd94","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7fbbfd0acb754d56e452a6d5550357d30f92b8bab33cc592c21c815aa3f9bd94","first_computed_at":"2026-05-18T01:37:10.803529Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:10.803529Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"h283XKV5dD1R3ar+2xV+Y1KZq9EcXZLrew1eCR5UivOcaoDmKm45kEG0lE9cr1G5YRnr7khIawEoXkHFB4xmAw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:10.804076Z","signed_message":"canonical_sha256_bytes"},"source_id":"1505.02318","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8c5f6c4c2ef78d1bc997be4da106e62735b767daa617df2839f2e009e4d21be4","sha256:4a6a4a9b656cc435a1bbcddeac8042f8b8c87d4160e9f35090ac097363b4db8a"],"state_sha256":"9f32990519bb258a81a8100f96af17434571457ebac4896fc8c915d9e96b60c6"}