{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:TRS6UAHSYTKPYQO4SR3LKMPGFW","short_pith_number":"pith:TRS6UAHS","canonical_record":{"source":{"id":"1202.3724","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-02-14T16:41:17Z","cross_cats_sorted":[],"title_canon_sha256":"6e595438fb760f2e424ef2372cf1a6c574393addee26cb1dc0abedf12f8c1072","abstract_canon_sha256":"8489f8eab21b8ba844510346b98817431271277901a50b56510c1ffda491df56"},"schema_version":"1.0"},"canonical_sha256":"9c65ea00f2c4d4fc41dc9476b531e62d8f7a810e3dd8fa25e5596daaa2b7be6f","source":{"kind":"arxiv","id":"1202.3724","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1202.3724","created_at":"2026-05-18T04:02:03Z"},{"alias_kind":"arxiv_version","alias_value":"1202.3724v1","created_at":"2026-05-18T04:02:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1202.3724","created_at":"2026-05-18T04:02:03Z"},{"alias_kind":"pith_short_12","alias_value":"TRS6UAHSYTKP","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"TRS6UAHSYTKPYQO4","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"TRS6UAHS","created_at":"2026-05-18T12:27:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:TRS6UAHSYTKPYQO4SR3LKMPGFW","target":"record","payload":{"canonical_record":{"source":{"id":"1202.3724","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-02-14T16:41:17Z","cross_cats_sorted":[],"title_canon_sha256":"6e595438fb760f2e424ef2372cf1a6c574393addee26cb1dc0abedf12f8c1072","abstract_canon_sha256":"8489f8eab21b8ba844510346b98817431271277901a50b56510c1ffda491df56"},"schema_version":"1.0"},"canonical_sha256":"9c65ea00f2c4d4fc41dc9476b531e62d8f7a810e3dd8fa25e5596daaa2b7be6f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:02:03.313788Z","signature_b64":"6vCyFPOXaAZiwFZiPyfRtPTAmVmrJtXg5WyUurinwfyXQqigrqcKiIAhG58UPf968rVzrNrPIAuXon3U1ADaDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9c65ea00f2c4d4fc41dc9476b531e62d8f7a810e3dd8fa25e5596daaa2b7be6f","last_reissued_at":"2026-05-18T04:02:03.313020Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:02:03.313020Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1202.3724","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-18T04:02:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hbd7cD59EwJV5urHEwuHUGnGfwfWf9t2vjGP37wwOCUJ2WmCshawoRtQr3HfdwtpjlyqXH5a16EWFKd4sLbsAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T10:53:49.502696Z"},"content_sha256":"db508dc12b73f6de49177bae90d391984d299e70c407494b86812f025f1b72d8","schema_version":"1.0","event_id":"sha256:db508dc12b73f6de49177bae90d391984d299e70c407494b86812f025f1b72d8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:TRS6UAHSYTKPYQO4SR3LKMPGFW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Probabilistic Theorem Proving","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Pedro Domingos, Vibhav Gogate","submitted_at":"2012-02-14T16:41:17Z","abstract_excerpt":"Many representation schemes combining first-order logic and probability have been proposed in recent years. Progress in unifying logical and probabilistic inference has been slower. Existing methods are mainly variants of lifted variable elimination and belief propagation, neither of which take logical structure into account. We propose the first method that has the full power of both graphical model inference and first-order theorem proving (in finite domains with Herbrand interpretations). We first define probabilistic theorem proving, their generalization, as the problem of computing the pr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1202.3724","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-18T04:02:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1Q4sNU4yWUp5DIdKWqyD0wKGw1/eTBcNBJa3J4hQRwFUk3jYC2c2mcr1CxO+tLrcSv+mqk4vwq17TCCoj7lRBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T10:53:49.503036Z"},"content_sha256":"b0400dc761517b6862e93e18338548c92c67f55bf9207049633948e41c12ce5c","schema_version":"1.0","event_id":"sha256:b0400dc761517b6862e93e18338548c92c67f55bf9207049633948e41c12ce5c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TRS6UAHSYTKPYQO4SR3LKMPGFW/bundle.json","state_url":"https://pith.science/pith/TRS6UAHSYTKPYQO4SR3LKMPGFW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TRS6UAHSYTKPYQO4SR3LKMPGFW/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-20T10:53:49Z","links":{"resolver":"https://pith.science/pith/TRS6UAHSYTKPYQO4SR3LKMPGFW","bundle":"https://pith.science/pith/TRS6UAHSYTKPYQO4SR3LKMPGFW/bundle.json","state":"https://pith.science/pith/TRS6UAHSYTKPYQO4SR3LKMPGFW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TRS6UAHSYTKPYQO4SR3LKMPGFW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:TRS6UAHSYTKPYQO4SR3LKMPGFW","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":"8489f8eab21b8ba844510346b98817431271277901a50b56510c1ffda491df56","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-02-14T16:41:17Z","title_canon_sha256":"6e595438fb760f2e424ef2372cf1a6c574393addee26cb1dc0abedf12f8c1072"},"schema_version":"1.0","source":{"id":"1202.3724","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1202.3724","created_at":"2026-05-18T04:02:03Z"},{"alias_kind":"arxiv_version","alias_value":"1202.3724v1","created_at":"2026-05-18T04:02:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1202.3724","created_at":"2026-05-18T04:02:03Z"},{"alias_kind":"pith_short_12","alias_value":"TRS6UAHSYTKP","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"TRS6UAHSYTKPYQO4","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"TRS6UAHS","created_at":"2026-05-18T12:27:23Z"}],"graph_snapshots":[{"event_id":"sha256:b0400dc761517b6862e93e18338548c92c67f55bf9207049633948e41c12ce5c","target":"graph","created_at":"2026-05-18T04:02:03Z","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":"Many representation schemes combining first-order logic and probability have been proposed in recent years. Progress in unifying logical and probabilistic inference has been slower. Existing methods are mainly variants of lifted variable elimination and belief propagation, neither of which take logical structure into account. We propose the first method that has the full power of both graphical model inference and first-order theorem proving (in finite domains with Herbrand interpretations). We first define probabilistic theorem proving, their generalization, as the problem of computing the pr","authors_text":"Pedro Domingos, Vibhav Gogate","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-02-14T16:41:17Z","title":"Probabilistic Theorem Proving"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1202.3724","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:db508dc12b73f6de49177bae90d391984d299e70c407494b86812f025f1b72d8","target":"record","created_at":"2026-05-18T04:02:03Z","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":"8489f8eab21b8ba844510346b98817431271277901a50b56510c1ffda491df56","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-02-14T16:41:17Z","title_canon_sha256":"6e595438fb760f2e424ef2372cf1a6c574393addee26cb1dc0abedf12f8c1072"},"schema_version":"1.0","source":{"id":"1202.3724","kind":"arxiv","version":1}},"canonical_sha256":"9c65ea00f2c4d4fc41dc9476b531e62d8f7a810e3dd8fa25e5596daaa2b7be6f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9c65ea00f2c4d4fc41dc9476b531e62d8f7a810e3dd8fa25e5596daaa2b7be6f","first_computed_at":"2026-05-18T04:02:03.313020Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:02:03.313020Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6vCyFPOXaAZiwFZiPyfRtPTAmVmrJtXg5WyUurinwfyXQqigrqcKiIAhG58UPf968rVzrNrPIAuXon3U1ADaDA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:02:03.313788Z","signed_message":"canonical_sha256_bytes"},"source_id":"1202.3724","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:db508dc12b73f6de49177bae90d391984d299e70c407494b86812f025f1b72d8","sha256:b0400dc761517b6862e93e18338548c92c67f55bf9207049633948e41c12ce5c"],"state_sha256":"ef0138f3fa1af0ab3ff1b5e113c7f538159fd9ec55fce3053c5879252b46ce16"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DAtWPtP8/kjSUvxF8jwzVxHdudwfZ576iKqHbPEmz73DqhW+10WeePN+BUFTB5xdOWJM2w5KUJfkVHCLi+dvDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T10:53:49.507245Z","bundle_sha256":"2c3c57c08001da5ffed7b92fe077c3015505a7e39c67bf3c1fa550aa374796b7"}}