{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:EX6ONRMWAFULCXPZTFCDTJDS3U","short_pith_number":"pith:EX6ONRMW","canonical_record":{"source":{"id":"1511.00916","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-11-03T14:21:23Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"a9126c885a267cd90ee83c5e679a5aa1c1fb5526d1efca148de451dc31cac5f5","abstract_canon_sha256":"d096fd6091a59f87f5b2725bddbc6c50f21d6b3bbfc6b0645a241f9ab0b0475d"},"schema_version":"1.0"},"canonical_sha256":"25fce6c5960168b15df9994439a472dd118b53bbb22b4c5c5adb5c2389e5e984","source":{"kind":"arxiv","id":"1511.00916","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.00916","created_at":"2026-05-18T01:27:55Z"},{"alias_kind":"arxiv_version","alias_value":"1511.00916v1","created_at":"2026-05-18T01:27:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.00916","created_at":"2026-05-18T01:27:55Z"},{"alias_kind":"pith_short_12","alias_value":"EX6ONRMWAFUL","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"EX6ONRMWAFULCXPZ","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"EX6ONRMW","created_at":"2026-05-18T12:29:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:EX6ONRMWAFULCXPZTFCDTJDS3U","target":"record","payload":{"canonical_record":{"source":{"id":"1511.00916","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-11-03T14:21:23Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"a9126c885a267cd90ee83c5e679a5aa1c1fb5526d1efca148de451dc31cac5f5","abstract_canon_sha256":"d096fd6091a59f87f5b2725bddbc6c50f21d6b3bbfc6b0645a241f9ab0b0475d"},"schema_version":"1.0"},"canonical_sha256":"25fce6c5960168b15df9994439a472dd118b53bbb22b4c5c5adb5c2389e5e984","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:27:55.884278Z","signature_b64":"cjFW7eB5vCgI1tiyulLzIpQNuP0AbUDY2sXRsVrypdVW58UTEhN3wH+STUcePZmzK1+WTIyDQoobPOINu11wDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"25fce6c5960168b15df9994439a472dd118b53bbb22b4c5c5adb5c2389e5e984","last_reissued_at":"2026-05-18T01:27:55.883617Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:27:55.883617Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1511.00916","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-18T01:27:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+x8LUlRO2FplhpbypBsql5igzL+iIqNDFLWjbCwpJKEqJuGJ95LXUoRw0h52lUl+z9TnqwDYzE3DlwOSTQZzBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T23:46:30.218784Z"},"content_sha256":"52518906d7ffd04210d2e3bc3211e7b9f3b193c91aab9ba68898f99b7c9125b2","schema_version":"1.0","event_id":"sha256:52518906d7ffd04210d2e3bc3211e7b9f3b193c91aab9ba68898f99b7c9125b2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:EX6ONRMWAFULCXPZTFCDTJDS3U","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Lowering the learning curve for declarative programming: a Python API for the IDP system","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.PL","authors_text":"Joost Vennekens","submitted_at":"2015-11-03T14:21:23Z","abstract_excerpt":"Programmers may be hesitant to use declarative systems, because of the associated learning curve. In this paper, we present an API that integrates the IDP Knowledge Base system into the Python programming language. IDP is a state-of-the-art logical system, which uses SAT, SMT, Logic Programming and Answer Set Programming technology. Python is currently one of the most widely used (teaching) languages for programming. The first goal of our API is to allow a Python programmer to use the declarative power of IDP, without needing to learn any new syntax or semantics. The second goal is allow IDP t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.00916","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-18T01:27:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HPV1BxoGCAg4DFfNFWxs5W9CMW6bExzFdYmMId+B6uhimOv3ZxtQ3UBf/u5j75vLQTVZ2alqegJspj9nJZ/xAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T23:46:30.219128Z"},"content_sha256":"b99264f28c42c7960f3eff548c7ed675261a53697aaf2248f3f206f8fb7fe1f7","schema_version":"1.0","event_id":"sha256:b99264f28c42c7960f3eff548c7ed675261a53697aaf2248f3f206f8fb7fe1f7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EX6ONRMWAFULCXPZTFCDTJDS3U/bundle.json","state_url":"https://pith.science/pith/EX6ONRMWAFULCXPZTFCDTJDS3U/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EX6ONRMWAFULCXPZTFCDTJDS3U/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-03T23:46:30Z","links":{"resolver":"https://pith.science/pith/EX6ONRMWAFULCXPZTFCDTJDS3U","bundle":"https://pith.science/pith/EX6ONRMWAFULCXPZTFCDTJDS3U/bundle.json","state":"https://pith.science/pith/EX6ONRMWAFULCXPZTFCDTJDS3U/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EX6ONRMWAFULCXPZTFCDTJDS3U/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:EX6ONRMWAFULCXPZTFCDTJDS3U","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":"d096fd6091a59f87f5b2725bddbc6c50f21d6b3bbfc6b0645a241f9ab0b0475d","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-11-03T14:21:23Z","title_canon_sha256":"a9126c885a267cd90ee83c5e679a5aa1c1fb5526d1efca148de451dc31cac5f5"},"schema_version":"1.0","source":{"id":"1511.00916","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.00916","created_at":"2026-05-18T01:27:55Z"},{"alias_kind":"arxiv_version","alias_value":"1511.00916v1","created_at":"2026-05-18T01:27:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.00916","created_at":"2026-05-18T01:27:55Z"},{"alias_kind":"pith_short_12","alias_value":"EX6ONRMWAFUL","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"EX6ONRMWAFULCXPZ","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"EX6ONRMW","created_at":"2026-05-18T12:29:19Z"}],"graph_snapshots":[{"event_id":"sha256:b99264f28c42c7960f3eff548c7ed675261a53697aaf2248f3f206f8fb7fe1f7","target":"graph","created_at":"2026-05-18T01:27:55Z","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":"Programmers may be hesitant to use declarative systems, because of the associated learning curve. In this paper, we present an API that integrates the IDP Knowledge Base system into the Python programming language. IDP is a state-of-the-art logical system, which uses SAT, SMT, Logic Programming and Answer Set Programming technology. Python is currently one of the most widely used (teaching) languages for programming. The first goal of our API is to allow a Python programmer to use the declarative power of IDP, without needing to learn any new syntax or semantics. The second goal is allow IDP t","authors_text":"Joost Vennekens","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-11-03T14:21:23Z","title":"Lowering the learning curve for declarative programming: a Python API for the IDP system"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.00916","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:52518906d7ffd04210d2e3bc3211e7b9f3b193c91aab9ba68898f99b7c9125b2","target":"record","created_at":"2026-05-18T01:27:55Z","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":"d096fd6091a59f87f5b2725bddbc6c50f21d6b3bbfc6b0645a241f9ab0b0475d","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-11-03T14:21:23Z","title_canon_sha256":"a9126c885a267cd90ee83c5e679a5aa1c1fb5526d1efca148de451dc31cac5f5"},"schema_version":"1.0","source":{"id":"1511.00916","kind":"arxiv","version":1}},"canonical_sha256":"25fce6c5960168b15df9994439a472dd118b53bbb22b4c5c5adb5c2389e5e984","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"25fce6c5960168b15df9994439a472dd118b53bbb22b4c5c5adb5c2389e5e984","first_computed_at":"2026-05-18T01:27:55.883617Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:27:55.883617Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cjFW7eB5vCgI1tiyulLzIpQNuP0AbUDY2sXRsVrypdVW58UTEhN3wH+STUcePZmzK1+WTIyDQoobPOINu11wDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:27:55.884278Z","signed_message":"canonical_sha256_bytes"},"source_id":"1511.00916","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:52518906d7ffd04210d2e3bc3211e7b9f3b193c91aab9ba68898f99b7c9125b2","sha256:b99264f28c42c7960f3eff548c7ed675261a53697aaf2248f3f206f8fb7fe1f7"],"state_sha256":"c62e3c89bf241db0adcb3515801487b7294e8cbfa90a7f846b0bc0bd6d76aab2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JEHwFJRqG2tGrFlX2fh2bu+/DH1o/npDYCWiLbuD/NFkd0xL59Q9CsmBBwT4qE7TrUmqC7Eaik9xStUCQkvjDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T23:46:30.221380Z","bundle_sha256":"d67c21dbcb003c14386743061addb89cb3ce63964aefa7856f87afe21e73d0c3"}}