{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:V2FC5NTGM56XK3QQVSOOQY2IJN","short_pith_number":"pith:V2FC5NTG","canonical_record":{"source":{"id":"1701.00148","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-12-31T17:36:07Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"b584037c309284cbdb07150618809baf36bfd6acd7e1b97b27c209d07c51cd88","abstract_canon_sha256":"944e684b73d73c86006ee25c3d2a556f46dee08f3af79e40e9bae1086dddda0a"},"schema_version":"1.0"},"canonical_sha256":"ae8a2eb666677d756e10ac9ce863484b5213b527799a097847e09730d3547dd4","source":{"kind":"arxiv","id":"1701.00148","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.00148","created_at":"2026-05-18T00:53:36Z"},{"alias_kind":"arxiv_version","alias_value":"1701.00148v1","created_at":"2026-05-18T00:53:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.00148","created_at":"2026-05-18T00:53:36Z"},{"alias_kind":"pith_short_12","alias_value":"V2FC5NTGM56X","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"V2FC5NTGM56XK3QQ","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"V2FC5NTG","created_at":"2026-05-18T12:30:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:V2FC5NTGM56XK3QQVSOOQY2IJN","target":"record","payload":{"canonical_record":{"source":{"id":"1701.00148","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-12-31T17:36:07Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"b584037c309284cbdb07150618809baf36bfd6acd7e1b97b27c209d07c51cd88","abstract_canon_sha256":"944e684b73d73c86006ee25c3d2a556f46dee08f3af79e40e9bae1086dddda0a"},"schema_version":"1.0"},"canonical_sha256":"ae8a2eb666677d756e10ac9ce863484b5213b527799a097847e09730d3547dd4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:53:36.242912Z","signature_b64":"G9Hma0mMMphadvgfIURqEXI57upf838FgFmOWqdh5wLKDyob4ilHSU74HIkRlcCLmvAF50rgJWOzH+VoYEv7AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ae8a2eb666677d756e10ac9ce863484b5213b527799a097847e09730d3547dd4","last_reissued_at":"2026-05-18T00:53:36.242490Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:53:36.242490Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1701.00148","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-18T00:53:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SwGV+VjquN6nK3wZKNcgMfnxbgpRJ4lUAlbQtvi9LnRPAp9LAfR/NKgFx1PBsaAU39Xa2uUSL/kS4xidQKQFAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T17:55:43.939773Z"},"content_sha256":"422784aab1729ba3b7321a8a5130fe4ea4044c98f2952a505d8ff4b07601954f","schema_version":"1.0","event_id":"sha256:422784aab1729ba3b7321a8a5130fe4ea4044c98f2952a505d8ff4b07601954f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:V2FC5NTGM56XK3QQVSOOQY2IJN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Janis Voigtl\\\"ander, Sibylle Schwarz","submitted_at":"2016-12-31T17:36:07Z","abstract_excerpt":"The Workshops on (Constraint) Logic Programming (WLP) are the annual meeting of the German Society of Logic Programming (Gesellschaft f\\\"ur Logische Programmierung e.V., GLP) and bring together researchers interested in logic programming, constraint programming, answer set programming, and related areas like databases and artificial intelligence (not only from Germany).\n  The International Workshops on Functional and (Constraint) Logic Programming (WFLP) aim at bringing together researchers, students, and practitioners interested in functional programming, logic programming, and their integrat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.00148","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-18T00:53:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LXqdzRglVPxfdtHSHAt2zIXkEA8BT6Yf0VEFqH7xlWZIcSHgIQdnV3ThEmICrsp7O+rleKpf62tym0c+IdmTCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T17:55:43.940283Z"},"content_sha256":"e7160a9d3f3b4c7aac2fd36bb2e24ff10d09c0ddd94a633fa17311d4be386cf3","schema_version":"1.0","event_id":"sha256:e7160a9d3f3b4c7aac2fd36bb2e24ff10d09c0ddd94a633fa17311d4be386cf3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/V2FC5NTGM56XK3QQVSOOQY2IJN/bundle.json","state_url":"https://pith.science/pith/V2FC5NTGM56XK3QQVSOOQY2IJN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/V2FC5NTGM56XK3QQVSOOQY2IJN/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-28T17:55:43Z","links":{"resolver":"https://pith.science/pith/V2FC5NTGM56XK3QQVSOOQY2IJN","bundle":"https://pith.science/pith/V2FC5NTGM56XK3QQVSOOQY2IJN/bundle.json","state":"https://pith.science/pith/V2FC5NTGM56XK3QQVSOOQY2IJN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/V2FC5NTGM56XK3QQVSOOQY2IJN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:V2FC5NTGM56XK3QQVSOOQY2IJN","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":"944e684b73d73c86006ee25c3d2a556f46dee08f3af79e40e9bae1086dddda0a","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-12-31T17:36:07Z","title_canon_sha256":"b584037c309284cbdb07150618809baf36bfd6acd7e1b97b27c209d07c51cd88"},"schema_version":"1.0","source":{"id":"1701.00148","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.00148","created_at":"2026-05-18T00:53:36Z"},{"alias_kind":"arxiv_version","alias_value":"1701.00148v1","created_at":"2026-05-18T00:53:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.00148","created_at":"2026-05-18T00:53:36Z"},{"alias_kind":"pith_short_12","alias_value":"V2FC5NTGM56X","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"V2FC5NTGM56XK3QQ","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"V2FC5NTG","created_at":"2026-05-18T12:30:46Z"}],"graph_snapshots":[{"event_id":"sha256:e7160a9d3f3b4c7aac2fd36bb2e24ff10d09c0ddd94a633fa17311d4be386cf3","target":"graph","created_at":"2026-05-18T00:53:36Z","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":"The Workshops on (Constraint) Logic Programming (WLP) are the annual meeting of the German Society of Logic Programming (Gesellschaft f\\\"ur Logische Programmierung e.V., GLP) and bring together researchers interested in logic programming, constraint programming, answer set programming, and related areas like databases and artificial intelligence (not only from Germany).\n  The International Workshops on Functional and (Constraint) Logic Programming (WFLP) aim at bringing together researchers, students, and practitioners interested in functional programming, logic programming, and their integrat","authors_text":"Janis Voigtl\\\"ander, Sibylle Schwarz","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-12-31T17:36:07Z","title":"Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.00148","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:422784aab1729ba3b7321a8a5130fe4ea4044c98f2952a505d8ff4b07601954f","target":"record","created_at":"2026-05-18T00:53:36Z","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":"944e684b73d73c86006ee25c3d2a556f46dee08f3af79e40e9bae1086dddda0a","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-12-31T17:36:07Z","title_canon_sha256":"b584037c309284cbdb07150618809baf36bfd6acd7e1b97b27c209d07c51cd88"},"schema_version":"1.0","source":{"id":"1701.00148","kind":"arxiv","version":1}},"canonical_sha256":"ae8a2eb666677d756e10ac9ce863484b5213b527799a097847e09730d3547dd4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ae8a2eb666677d756e10ac9ce863484b5213b527799a097847e09730d3547dd4","first_computed_at":"2026-05-18T00:53:36.242490Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:53:36.242490Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"G9Hma0mMMphadvgfIURqEXI57upf838FgFmOWqdh5wLKDyob4ilHSU74HIkRlcCLmvAF50rgJWOzH+VoYEv7AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:53:36.242912Z","signed_message":"canonical_sha256_bytes"},"source_id":"1701.00148","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:422784aab1729ba3b7321a8a5130fe4ea4044c98f2952a505d8ff4b07601954f","sha256:e7160a9d3f3b4c7aac2fd36bb2e24ff10d09c0ddd94a633fa17311d4be386cf3"],"state_sha256":"91de37374cc77baabd5456b0923d8a10894bb1fd068432c7548247bf567d0018"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fPcNKL9S7GSwHY8kGd4iWcqfr7QXGuMVb5PmNoJH06W5QBTwiGIJ5guI7ND7eGM5HxeYiwAL/9alAOsSkXPACg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T17:55:43.942481Z","bundle_sha256":"c96693f3afd633c920dce26a0e465fc075863db42c363234a17fe89e51111b5a"}}