{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:T63BX5APLA7GNMPUSRFRKTHPMI","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":"a4a7a3bbfee1308aa82502f6bbacb80c89e3bac31f00d4f2aa8e5c4174544e78","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-12-19T00:40:56Z","title_canon_sha256":"cf4cf83fa1c1c6027952883c2af43c4f6057fb7edbfc5b3aeee5f9dc2602306b"},"schema_version":"1.0","source":{"id":"1312.5378","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1312.5378","created_at":"2026-05-18T02:57:06Z"},{"alias_kind":"arxiv_version","alias_value":"1312.5378v2","created_at":"2026-05-18T02:57:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1312.5378","created_at":"2026-05-18T02:57:06Z"},{"alias_kind":"pith_short_12","alias_value":"T63BX5APLA7G","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_16","alias_value":"T63BX5APLA7GNMPU","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_8","alias_value":"T63BX5AP","created_at":"2026-05-18T12:27:59Z"}],"graph_snapshots":[{"event_id":"sha256:01b9a89a7e5d98f58886d2a95cd42d2f662b7ca9a0a8df1baea0fa8b8773a278","target":"graph","created_at":"2026-05-18T02:57:06Z","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":"First-order model counting emerged recently as a novel reasoning task, at the core of efficient algorithms for probabilistic logics. We present a Skolemization algorithm for model counting problems that eliminates existential quantifiers from a first-order logic theory without changing its weighted model count. For certain subsets of first-order logic, lifted model counters were shown to run in time polynomial in the number of objects in the domain of discourse, where propositional model counters require exponential time. However, these guarantees apply only to Skolem normal form theories (i.e","authors_text":"Adnan Darwiche, Guy Van den Broeck, Wannes Meert","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-12-19T00:40:56Z","title":"Skolemization for Weighted First-Order Model Counting"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1312.5378","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:2ab63aed51104a785f112bf393d07ce6bf334a486cb6f739569d88428e3c17ef","target":"record","created_at":"2026-05-18T02:57:06Z","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":"a4a7a3bbfee1308aa82502f6bbacb80c89e3bac31f00d4f2aa8e5c4174544e78","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-12-19T00:40:56Z","title_canon_sha256":"cf4cf83fa1c1c6027952883c2af43c4f6057fb7edbfc5b3aeee5f9dc2602306b"},"schema_version":"1.0","source":{"id":"1312.5378","kind":"arxiv","version":2}},"canonical_sha256":"9fb61bf40f583e66b1f4944b154cef62264419d5937a70baa8dd2328096016df","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9fb61bf40f583e66b1f4944b154cef62264419d5937a70baa8dd2328096016df","first_computed_at":"2026-05-18T02:57:06.310651Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:57:06.310651Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"goCGMiEzZvFfYKrKHircjhHdCidcFrKf6PZwXpXiXTg5ebm+c6Kog95aoYznLIr55NiMijwIYy6n2eR9NyfYDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:57:06.311370Z","signed_message":"canonical_sha256_bytes"},"source_id":"1312.5378","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2ab63aed51104a785f112bf393d07ce6bf334a486cb6f739569d88428e3c17ef","sha256:01b9a89a7e5d98f58886d2a95cd42d2f662b7ca9a0a8df1baea0fa8b8773a278"],"state_sha256":"f41057b2bce58883780290a361efe92142c193d1b8cca95130eb180aee85f278"}