{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:DUDJQP773B364ZGD4HL4K27DWL","short_pith_number":"pith:DUDJQP77","canonical_record":{"source":{"id":"1408.2030","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-08-09T05:22:43Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"58e12ddb0fd5dd9c815127182632d6eba5405d496cb7c299e1ddf1047b61b09f","abstract_canon_sha256":"dcef140e793799cdc7ea8e6bd75379f45ac996e549730eb099ecebe5a568b8cf"},"schema_version":"1.0"},"canonical_sha256":"1d06983fffd877ee64c3e1d7c56be3b2d3dddffa8bb15b4ef551a7c20ca13b7f","source":{"kind":"arxiv","id":"1408.2030","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.2030","created_at":"2026-05-18T02:45:30Z"},{"alias_kind":"arxiv_version","alias_value":"1408.2030v1","created_at":"2026-05-18T02:45:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.2030","created_at":"2026-05-18T02:45:30Z"},{"alias_kind":"pith_short_12","alias_value":"DUDJQP773B36","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_16","alias_value":"DUDJQP773B364ZGD","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_8","alias_value":"DUDJQP77","created_at":"2026-05-18T12:28:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:DUDJQP773B364ZGD4HL4K27DWL","target":"record","payload":{"canonical_record":{"source":{"id":"1408.2030","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-08-09T05:22:43Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"58e12ddb0fd5dd9c815127182632d6eba5405d496cb7c299e1ddf1047b61b09f","abstract_canon_sha256":"dcef140e793799cdc7ea8e6bd75379f45ac996e549730eb099ecebe5a568b8cf"},"schema_version":"1.0"},"canonical_sha256":"1d06983fffd877ee64c3e1d7c56be3b2d3dddffa8bb15b4ef551a7c20ca13b7f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:45:30.685571Z","signature_b64":"vsjz525N8XIYCFsu4wrccQS8RFL8wC4LrT+HCxz0nSWxFHzQb3SZtii4c9JcllEjMRr4bJGI9IReE0x6alRGBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1d06983fffd877ee64c3e1d7c56be3b2d3dddffa8bb15b4ef551a7c20ca13b7f","last_reissued_at":"2026-05-18T02:45:30.684888Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:45:30.684888Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1408.2030","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-18T02:45:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HzDdlHKfEcun9/zMGD1EuTMQ0+WUV4wL+fegUTJ+YzTdcTCOIdCIfrCNve2X8zZmU67kh85TlONIWti361A6DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T11:46:14.658712Z"},"content_sha256":"2e02342a364682336e3232193e119b089c5e6291fac5bde734610e0c63f5f162","schema_version":"1.0","event_id":"sha256:2e02342a364682336e3232193e119b089c5e6291fac5bde734610e0c63f5f162"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:DUDJQP773B364ZGD4HL4K27DWL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Conditional Independence Implication Problem: A Lattice-Theoretic Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Dirk Van Gucht, Marc Gyssens, Mathias Niepert","submitted_at":"2014-08-09T05:22:43Z","abstract_excerpt":"A lattice-theoretic framework is introduced that permits the study of the conditional independence (CI) implication problem relative to the class of discrete probability measures. Semi-lattices are associated with CI statements and a finite, sound and complete inference system relative to semi-lattice inclusions is presented. This system is shown to be (1) sound and complete for saturated CI statements, (2) complete for general CI statements, and (3) sound and complete for stable CI statements. These results yield a criterion that can be used to falsify instances of the implication problem and"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.2030","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-18T02:45:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"twD37oyY1yWqUErj932Y0kxufspVbe816FIWSj5+2LyVoNzDaR7O7mX2E0HkebFp8yn/+OIBLqVX7Uy64yuEAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T11:46:14.659389Z"},"content_sha256":"8408c5b5ade3ab6e5e681f8f9d1231569b78f0886c29ec411a2076ba8773f916","schema_version":"1.0","event_id":"sha256:8408c5b5ade3ab6e5e681f8f9d1231569b78f0886c29ec411a2076ba8773f916"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DUDJQP773B364ZGD4HL4K27DWL/bundle.json","state_url":"https://pith.science/pith/DUDJQP773B364ZGD4HL4K27DWL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DUDJQP773B364ZGD4HL4K27DWL/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-07T11:46:14Z","links":{"resolver":"https://pith.science/pith/DUDJQP773B364ZGD4HL4K27DWL","bundle":"https://pith.science/pith/DUDJQP773B364ZGD4HL4K27DWL/bundle.json","state":"https://pith.science/pith/DUDJQP773B364ZGD4HL4K27DWL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DUDJQP773B364ZGD4HL4K27DWL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:DUDJQP773B364ZGD4HL4K27DWL","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":"dcef140e793799cdc7ea8e6bd75379f45ac996e549730eb099ecebe5a568b8cf","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-08-09T05:22:43Z","title_canon_sha256":"58e12ddb0fd5dd9c815127182632d6eba5405d496cb7c299e1ddf1047b61b09f"},"schema_version":"1.0","source":{"id":"1408.2030","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.2030","created_at":"2026-05-18T02:45:30Z"},{"alias_kind":"arxiv_version","alias_value":"1408.2030v1","created_at":"2026-05-18T02:45:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.2030","created_at":"2026-05-18T02:45:30Z"},{"alias_kind":"pith_short_12","alias_value":"DUDJQP773B36","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_16","alias_value":"DUDJQP773B364ZGD","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_8","alias_value":"DUDJQP77","created_at":"2026-05-18T12:28:25Z"}],"graph_snapshots":[{"event_id":"sha256:8408c5b5ade3ab6e5e681f8f9d1231569b78f0886c29ec411a2076ba8773f916","target":"graph","created_at":"2026-05-18T02:45:30Z","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":"A lattice-theoretic framework is introduced that permits the study of the conditional independence (CI) implication problem relative to the class of discrete probability measures. Semi-lattices are associated with CI statements and a finite, sound and complete inference system relative to semi-lattice inclusions is presented. This system is shown to be (1) sound and complete for saturated CI statements, (2) complete for general CI statements, and (3) sound and complete for stable CI statements. These results yield a criterion that can be used to falsify instances of the implication problem and","authors_text":"Dirk Van Gucht, Marc Gyssens, Mathias Niepert","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-08-09T05:22:43Z","title":"On the Conditional Independence Implication Problem: A Lattice-Theoretic Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.2030","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:2e02342a364682336e3232193e119b089c5e6291fac5bde734610e0c63f5f162","target":"record","created_at":"2026-05-18T02:45:30Z","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":"dcef140e793799cdc7ea8e6bd75379f45ac996e549730eb099ecebe5a568b8cf","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-08-09T05:22:43Z","title_canon_sha256":"58e12ddb0fd5dd9c815127182632d6eba5405d496cb7c299e1ddf1047b61b09f"},"schema_version":"1.0","source":{"id":"1408.2030","kind":"arxiv","version":1}},"canonical_sha256":"1d06983fffd877ee64c3e1d7c56be3b2d3dddffa8bb15b4ef551a7c20ca13b7f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1d06983fffd877ee64c3e1d7c56be3b2d3dddffa8bb15b4ef551a7c20ca13b7f","first_computed_at":"2026-05-18T02:45:30.684888Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:45:30.684888Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vsjz525N8XIYCFsu4wrccQS8RFL8wC4LrT+HCxz0nSWxFHzQb3SZtii4c9JcllEjMRr4bJGI9IReE0x6alRGBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:45:30.685571Z","signed_message":"canonical_sha256_bytes"},"source_id":"1408.2030","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2e02342a364682336e3232193e119b089c5e6291fac5bde734610e0c63f5f162","sha256:8408c5b5ade3ab6e5e681f8f9d1231569b78f0886c29ec411a2076ba8773f916"],"state_sha256":"5e35cbcfb327424e264755fc10c233f93ac322cdea9e12d9812408b2dc4c2749"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WCcLbTP/dFwMCMtwV/kkj9ky7wRvLUOzWVul7cicDcxiXz66tyMHwMXzZvr4ykaKviRi1BSvQgXP51JwwoaMCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T11:46:14.662827Z","bundle_sha256":"bb3ff5362ea4fd458d9ee6442108511a53223e3d76a4a60e841da717844a9220"}}