{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:435CFAADXVHJWVFED6ZDG6KHKC","short_pith_number":"pith:435CFAAD","canonical_record":{"source":{"id":"1406.7132","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-06-27T09:52:02Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"5dcff11932899a28f817d0f25a42aa8c99e1e9681f0cee5a0e55713dda80faf2","abstract_canon_sha256":"9d0957951bead875d49d4ae5b9ed4499ff93eea890ec0def2f7f119054a01709"},"schema_version":"1.0"},"canonical_sha256":"e6fa228003bd4e9b54a41fb2337947509018146cf0e0ba14d62146e2360521ce","source":{"kind":"arxiv","id":"1406.7132","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.7132","created_at":"2026-05-18T02:48:54Z"},{"alias_kind":"arxiv_version","alias_value":"1406.7132v1","created_at":"2026-05-18T02:48:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.7132","created_at":"2026-05-18T02:48:54Z"},{"alias_kind":"pith_short_12","alias_value":"435CFAADXVHJ","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"435CFAADXVHJWVFE","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"435CFAAD","created_at":"2026-05-18T12:28:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:435CFAADXVHJWVFED6ZDG6KHKC","target":"record","payload":{"canonical_record":{"source":{"id":"1406.7132","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-06-27T09:52:02Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"5dcff11932899a28f817d0f25a42aa8c99e1e9681f0cee5a0e55713dda80faf2","abstract_canon_sha256":"9d0957951bead875d49d4ae5b9ed4499ff93eea890ec0def2f7f119054a01709"},"schema_version":"1.0"},"canonical_sha256":"e6fa228003bd4e9b54a41fb2337947509018146cf0e0ba14d62146e2360521ce","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:48:54.020140Z","signature_b64":"D2UJ6yijOtGzVgUWUewMBRsOsV3K2hg3zOb+WqTzgX6/S7XlCFNp0LIInM29orIFqbj07kBvz7H2pbIYcj7aAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e6fa228003bd4e9b54a41fb2337947509018146cf0e0ba14d62146e2360521ce","last_reissued_at":"2026-05-18T02:48:54.019583Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:48:54.019583Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1406.7132","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:48:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HjdXTyxboHO7RGYSrxND3FZTyFZP3Ra03m8q1U+ZsJdrL2xGsy7ndg4RH9vwJZrSvfNMI7tUuwZc+8Jsv3ZZDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T10:28:40.617434Z"},"content_sha256":"e5c44cefc0c16bbde4621b6b6ebe42062210b6f0743ddfc6f5d691d7d46efaef","schema_version":"1.0","event_id":"sha256:e5c44cefc0c16bbde4621b6b6ebe42062210b6f0743ddfc6f5d691d7d46efaef"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:435CFAADXVHJWVFED6ZDG6KHKC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Boolean Dependence Logic and Partially-Ordered Connectives","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Johannes Ebbing, Jonni Virtema, Lauri Hella, Peter Lohmann","submitted_at":"2014-06-27T09:52:02Z","abstract_excerpt":"We introduce a new variant of dependence logic called Boolean dependence logic. In Boolean dependence logic dependence atoms are of the type =(x_1,...,x_n,\\alpha), where \\alpha is a Boolean variable. Intuitively, with Boolean dependence atoms one can express quantification of relations, while standard dependence atoms express quantification over functions.\n  We compare the expressive power of Boolean dependence logic to dependence logic and first-order logic enriched by partially-ordered connectives. We show that the expressive power of Boolean dependence logic and dependence logic coincide. W"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.7132","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:48:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zj4ra7aYZefbdx4iTNaV7cZNnOUHZ4xxqii0G5l3SfmBTGxLDNcWC3mZMbHWDmge8kpoft/OD+Tb+cqfjU5PAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T10:28:40.618118Z"},"content_sha256":"901357015e577087ad387a405a063e6251c9388537207a0f20e0527c0086f5a4","schema_version":"1.0","event_id":"sha256:901357015e577087ad387a405a063e6251c9388537207a0f20e0527c0086f5a4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/435CFAADXVHJWVFED6ZDG6KHKC/bundle.json","state_url":"https://pith.science/pith/435CFAADXVHJWVFED6ZDG6KHKC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/435CFAADXVHJWVFED6ZDG6KHKC/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-27T10:28:40Z","links":{"resolver":"https://pith.science/pith/435CFAADXVHJWVFED6ZDG6KHKC","bundle":"https://pith.science/pith/435CFAADXVHJWVFED6ZDG6KHKC/bundle.json","state":"https://pith.science/pith/435CFAADXVHJWVFED6ZDG6KHKC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/435CFAADXVHJWVFED6ZDG6KHKC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:435CFAADXVHJWVFED6ZDG6KHKC","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":"9d0957951bead875d49d4ae5b9ed4499ff93eea890ec0def2f7f119054a01709","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-06-27T09:52:02Z","title_canon_sha256":"5dcff11932899a28f817d0f25a42aa8c99e1e9681f0cee5a0e55713dda80faf2"},"schema_version":"1.0","source":{"id":"1406.7132","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.7132","created_at":"2026-05-18T02:48:54Z"},{"alias_kind":"arxiv_version","alias_value":"1406.7132v1","created_at":"2026-05-18T02:48:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.7132","created_at":"2026-05-18T02:48:54Z"},{"alias_kind":"pith_short_12","alias_value":"435CFAADXVHJ","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"435CFAADXVHJWVFE","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"435CFAAD","created_at":"2026-05-18T12:28:11Z"}],"graph_snapshots":[{"event_id":"sha256:901357015e577087ad387a405a063e6251c9388537207a0f20e0527c0086f5a4","target":"graph","created_at":"2026-05-18T02:48:54Z","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 introduce a new variant of dependence logic called Boolean dependence logic. In Boolean dependence logic dependence atoms are of the type =(x_1,...,x_n,\\alpha), where \\alpha is a Boolean variable. Intuitively, with Boolean dependence atoms one can express quantification of relations, while standard dependence atoms express quantification over functions.\n  We compare the expressive power of Boolean dependence logic to dependence logic and first-order logic enriched by partially-ordered connectives. We show that the expressive power of Boolean dependence logic and dependence logic coincide. W","authors_text":"Johannes Ebbing, Jonni Virtema, Lauri Hella, Peter Lohmann","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-06-27T09:52:02Z","title":"Boolean Dependence Logic and Partially-Ordered Connectives"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.7132","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:e5c44cefc0c16bbde4621b6b6ebe42062210b6f0743ddfc6f5d691d7d46efaef","target":"record","created_at":"2026-05-18T02:48:54Z","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":"9d0957951bead875d49d4ae5b9ed4499ff93eea890ec0def2f7f119054a01709","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-06-27T09:52:02Z","title_canon_sha256":"5dcff11932899a28f817d0f25a42aa8c99e1e9681f0cee5a0e55713dda80faf2"},"schema_version":"1.0","source":{"id":"1406.7132","kind":"arxiv","version":1}},"canonical_sha256":"e6fa228003bd4e9b54a41fb2337947509018146cf0e0ba14d62146e2360521ce","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e6fa228003bd4e9b54a41fb2337947509018146cf0e0ba14d62146e2360521ce","first_computed_at":"2026-05-18T02:48:54.019583Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:48:54.019583Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"D2UJ6yijOtGzVgUWUewMBRsOsV3K2hg3zOb+WqTzgX6/S7XlCFNp0LIInM29orIFqbj07kBvz7H2pbIYcj7aAA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:48:54.020140Z","signed_message":"canonical_sha256_bytes"},"source_id":"1406.7132","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e5c44cefc0c16bbde4621b6b6ebe42062210b6f0743ddfc6f5d691d7d46efaef","sha256:901357015e577087ad387a405a063e6251c9388537207a0f20e0527c0086f5a4"],"state_sha256":"d324c37de5b625d8e6028c655333500d8348dd6142dc396b588faf7da42241f6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TIp6yRm4rS1pA17qITgIbk3gF8BGroSpK0jROQx9O02GSvFKCTVi4YoNjIk7VSbT/yw5iPpol+7zt3VjFZz9CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T10:28:40.621886Z","bundle_sha256":"fd7b4fe34a27f47afb514b59378790facce13559976918fb2df7ee263fc65319"}}