{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:SXMTAKAJEBRDXIAUMNZVRRCNYO","short_pith_number":"pith:SXMTAKAJ","canonical_record":{"source":{"id":"2006.05833","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2020-06-10T13:42:16Z","cross_cats_sorted":[],"title_canon_sha256":"0fd5aff0a2d63f3f50dd9f3cb2eb742dc0cd208e2dec0b21b943904f551f1574","abstract_canon_sha256":"d3bf3b85f39f27e9caf71ca724a556267614d3588491ec490f08e61475ad0c1a"},"schema_version":"1.0"},"canonical_sha256":"95d930280920623ba014637358c44dc3a8b2ccd469eb7feba0d51bbe2f485817","source":{"kind":"arxiv","id":"2006.05833","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2006.05833","created_at":"2026-07-05T01:09:17Z"},{"alias_kind":"arxiv_version","alias_value":"2006.05833v1","created_at":"2026-07-05T01:09:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2006.05833","created_at":"2026-07-05T01:09:17Z"},{"alias_kind":"pith_short_12","alias_value":"SXMTAKAJEBRD","created_at":"2026-07-05T01:09:17Z"},{"alias_kind":"pith_short_16","alias_value":"SXMTAKAJEBRDXIAU","created_at":"2026-07-05T01:09:17Z"},{"alias_kind":"pith_short_8","alias_value":"SXMTAKAJ","created_at":"2026-07-05T01:09:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:SXMTAKAJEBRDXIAUMNZVRRCNYO","target":"record","payload":{"canonical_record":{"source":{"id":"2006.05833","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2020-06-10T13:42:16Z","cross_cats_sorted":[],"title_canon_sha256":"0fd5aff0a2d63f3f50dd9f3cb2eb742dc0cd208e2dec0b21b943904f551f1574","abstract_canon_sha256":"d3bf3b85f39f27e9caf71ca724a556267614d3588491ec490f08e61475ad0c1a"},"schema_version":"1.0"},"canonical_sha256":"95d930280920623ba014637358c44dc3a8b2ccd469eb7feba0d51bbe2f485817","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:09:17.452115Z","signature_b64":"/EU/8QH+0bcv19NQ0KEtJ7ymSjKX8T7uEhi0/MtTb7ZpQV4uoSqbuT9ZTGAf3fT65f+ZSVoF8+UodUNlNI95Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"95d930280920623ba014637358c44dc3a8b2ccd469eb7feba0d51bbe2f485817","last_reissued_at":"2026-07-05T01:09:17.451737Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:09:17.451737Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2006.05833","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-07-05T01:09:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+CA1aXVMyn+jtXMl3PELzpbLM2VIT5xUjDPSfP/+egcJJzbTe05y6WR1qVcJvE7+OakzkmhaCXgJeoW5x+htAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-31T19:47:21.367994Z"},"content_sha256":"c27ecba106d13b7fedc79a1847d14b48ccbca829f39a0bedc94cf43301d63be7","schema_version":"1.0","event_id":"sha256:c27ecba106d13b7fedc79a1847d14b48ccbca829f39a0bedc94cf43301d63be7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:SXMTAKAJEBRDXIAUMNZVRRCNYO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Minimizing Deduction System and its Application","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Chunping Cao, Xiutao Feng, Zhangyi Wang, Zhe Cen","submitted_at":"2020-06-10T13:42:16Z","abstract_excerpt":"In a deduction system with some propositions and some known relations among these propositions, people usually care about the minimum of propositions by which all other propositions can be deduced according to these known relations. Here we call it a minimizing deduction system. Its common solution is the guess and determine method. In this paper we propose a method of solving the minimizing deduction system based on MILP. Firstly, we introduce the conceptions of state variable, path variable and state copy, which enable us to characterize all rules by inequalities. Then we reduce the deductio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2006.05833","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2006.05833/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T01:09:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7hkYINfImZwE8Up/NyI83J3x8yOa86aIHNkQY2w6g2G8cQiENir8mrBvc/fk1KwKCRaec0o458PN2tnv2h6BBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-31T19:47:21.368844Z"},"content_sha256":"ab61d4d0ff25512eb6b35c244a83387641dcf83f7e7e664b84c577bb631aa4f9","schema_version":"1.0","event_id":"sha256:ab61d4d0ff25512eb6b35c244a83387641dcf83f7e7e664b84c577bb631aa4f9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SXMTAKAJEBRDXIAUMNZVRRCNYO/bundle.json","state_url":"https://pith.science/pith/SXMTAKAJEBRDXIAUMNZVRRCNYO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SXMTAKAJEBRDXIAUMNZVRRCNYO/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-31T19:47:21Z","links":{"resolver":"https://pith.science/pith/SXMTAKAJEBRDXIAUMNZVRRCNYO","bundle":"https://pith.science/pith/SXMTAKAJEBRDXIAUMNZVRRCNYO/bundle.json","state":"https://pith.science/pith/SXMTAKAJEBRDXIAUMNZVRRCNYO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SXMTAKAJEBRDXIAUMNZVRRCNYO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:SXMTAKAJEBRDXIAUMNZVRRCNYO","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":"d3bf3b85f39f27e9caf71ca724a556267614d3588491ec490f08e61475ad0c1a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2020-06-10T13:42:16Z","title_canon_sha256":"0fd5aff0a2d63f3f50dd9f3cb2eb742dc0cd208e2dec0b21b943904f551f1574"},"schema_version":"1.0","source":{"id":"2006.05833","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2006.05833","created_at":"2026-07-05T01:09:17Z"},{"alias_kind":"arxiv_version","alias_value":"2006.05833v1","created_at":"2026-07-05T01:09:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2006.05833","created_at":"2026-07-05T01:09:17Z"},{"alias_kind":"pith_short_12","alias_value":"SXMTAKAJEBRD","created_at":"2026-07-05T01:09:17Z"},{"alias_kind":"pith_short_16","alias_value":"SXMTAKAJEBRDXIAU","created_at":"2026-07-05T01:09:17Z"},{"alias_kind":"pith_short_8","alias_value":"SXMTAKAJ","created_at":"2026-07-05T01:09:17Z"}],"graph_snapshots":[{"event_id":"sha256:ab61d4d0ff25512eb6b35c244a83387641dcf83f7e7e664b84c577bb631aa4f9","target":"graph","created_at":"2026-07-05T01:09:17Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2006.05833/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In a deduction system with some propositions and some known relations among these propositions, people usually care about the minimum of propositions by which all other propositions can be deduced according to these known relations. Here we call it a minimizing deduction system. Its common solution is the guess and determine method. In this paper we propose a method of solving the minimizing deduction system based on MILP. Firstly, we introduce the conceptions of state variable, path variable and state copy, which enable us to characterize all rules by inequalities. Then we reduce the deductio","authors_text":"Chunping Cao, Xiutao Feng, Zhangyi Wang, Zhe Cen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2020-06-10T13:42:16Z","title":"Minimizing Deduction System and its Application"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2006.05833","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:c27ecba106d13b7fedc79a1847d14b48ccbca829f39a0bedc94cf43301d63be7","target":"record","created_at":"2026-07-05T01:09:17Z","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":"d3bf3b85f39f27e9caf71ca724a556267614d3588491ec490f08e61475ad0c1a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2020-06-10T13:42:16Z","title_canon_sha256":"0fd5aff0a2d63f3f50dd9f3cb2eb742dc0cd208e2dec0b21b943904f551f1574"},"schema_version":"1.0","source":{"id":"2006.05833","kind":"arxiv","version":1}},"canonical_sha256":"95d930280920623ba014637358c44dc3a8b2ccd469eb7feba0d51bbe2f485817","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"95d930280920623ba014637358c44dc3a8b2ccd469eb7feba0d51bbe2f485817","first_computed_at":"2026-07-05T01:09:17.451737Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:09:17.451737Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/EU/8QH+0bcv19NQ0KEtJ7ymSjKX8T7uEhi0/MtTb7ZpQV4uoSqbuT9ZTGAf3fT65f+ZSVoF8+UodUNlNI95Bw==","signature_status":"signed_v1","signed_at":"2026-07-05T01:09:17.452115Z","signed_message":"canonical_sha256_bytes"},"source_id":"2006.05833","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c27ecba106d13b7fedc79a1847d14b48ccbca829f39a0bedc94cf43301d63be7","sha256:ab61d4d0ff25512eb6b35c244a83387641dcf83f7e7e664b84c577bb631aa4f9"],"state_sha256":"87eb8721725e4f579f638c2137e1142f69ad8680404219f626756592fe3aca19"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gdMWywJAFV417tHRveLFECi4lNDJl1Fd27Wn+cd08+E+O8m/5o/ZZCklEj14eBhtfmC7+Mr7KzpjXRO3piUGDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-31T19:47:21.373118Z","bundle_sha256":"cfde206b842b27da02a7e6da3365d2b481a65fb03f7dc09fed556faae83fd732"}}