{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:Z5VY45VLZIOTFODBDNCK6TCXU2","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":"60a81fabf9923afca32f2eec90eb4930538d3ac0d546e1839e26ea4bde0504cc","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-04-11T14:05:01Z","title_canon_sha256":"b44985ec8c81cefb908aa5a0953a2917225424c273e729bdf022a19b24d9e18c"},"schema_version":"1.0","source":{"id":"1704.03292","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.03292","created_at":"2026-05-18T00:21:35Z"},{"alias_kind":"arxiv_version","alias_value":"1704.03292v2","created_at":"2026-05-18T00:21:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.03292","created_at":"2026-05-18T00:21:35Z"},{"alias_kind":"pith_short_12","alias_value":"Z5VY45VLZIOT","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_16","alias_value":"Z5VY45VLZIOTFODB","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_8","alias_value":"Z5VY45VL","created_at":"2026-05-18T12:31:59Z"}],"graph_snapshots":[{"event_id":"sha256:2e6ea12f618bb4e92bfd6e4ad19b39eb9ac102646961bf9418c8c7dba6997c0f","target":"graph","created_at":"2026-05-18T00:21:35Z","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":"Dependence logics are a modern family of logics of independence and dependence which mimic notions of database theory. In this paper, we aim to initiate the study of enumeration complexity in the field of dependence logics and thereby get a new point of view on enumerating answers of database queries. Consequently, as a first step, we investigate the problem of enumerating all satisfying teams of formulas from a given fragment of propositional dependence logic. We distinguish between restricting the team size by arbitrary functions and the parametrised version where the parameter is the team s","authors_text":"Arne Meier, Christian Reinbold","cross_cats":["cs.CC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-04-11T14:05:01Z","title":"Enumeration Complexity of Poor Man's Propositional Dependence Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.03292","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:02e3bb67e7eca7d684ca8251fb915a33909aad0df6839884ddd38aef0efd3594","target":"record","created_at":"2026-05-18T00:21:35Z","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":"60a81fabf9923afca32f2eec90eb4930538d3ac0d546e1839e26ea4bde0504cc","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-04-11T14:05:01Z","title_canon_sha256":"b44985ec8c81cefb908aa5a0953a2917225424c273e729bdf022a19b24d9e18c"},"schema_version":"1.0","source":{"id":"1704.03292","kind":"arxiv","version":2}},"canonical_sha256":"cf6b8e76abca1d32b8611b44af4c57a685902cbf66d92c585fc9de06e6b7d0fc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cf6b8e76abca1d32b8611b44af4c57a685902cbf66d92c585fc9de06e6b7d0fc","first_computed_at":"2026-05-18T00:21:35.120862Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:21:35.120862Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RqSGql4hkVcpSUdxg/bC3cysoVdZ8zragkwIAnYFr6zh5DMrmO0UnEnBItUnY59A6DoWKAUZnernCG/9ciaeBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:21:35.121567Z","signed_message":"canonical_sha256_bytes"},"source_id":"1704.03292","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:02e3bb67e7eca7d684ca8251fb915a33909aad0df6839884ddd38aef0efd3594","sha256:2e6ea12f618bb4e92bfd6e4ad19b39eb9ac102646961bf9418c8c7dba6997c0f"],"state_sha256":"81867df8e9d58c064b284103805e03d542fd286e0aabe8a20e326a64c136e769"}