{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:JR7TARCKCQ6BFCTCWQSC7WRXL6","short_pith_number":"pith:JR7TARCK","canonical_record":{"source":{"id":"1608.05440","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-08-18T21:58:34Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"eacd45020ba7844d052b3995db542b3989e8b51d6e783c5b690511b4cf5c86b4","abstract_canon_sha256":"65cc23b82349bbfb58c170dd362f1f2edb5fb6c4d68b06b43d67d53324f847bd"},"schema_version":"1.0"},"canonical_sha256":"4c7f30444a143c128a62b4242fda375f92de186d6f15239ead3eaa03a33b86a3","source":{"kind":"arxiv","id":"1608.05440","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.05440","created_at":"2026-05-18T01:08:30Z"},{"alias_kind":"arxiv_version","alias_value":"1608.05440v1","created_at":"2026-05-18T01:08:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.05440","created_at":"2026-05-18T01:08:30Z"},{"alias_kind":"pith_short_12","alias_value":"JR7TARCKCQ6B","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"JR7TARCKCQ6BFCTC","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"JR7TARCK","created_at":"2026-05-18T12:30:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:JR7TARCKCQ6BFCTCWQSC7WRXL6","target":"record","payload":{"canonical_record":{"source":{"id":"1608.05440","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-08-18T21:58:34Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"eacd45020ba7844d052b3995db542b3989e8b51d6e783c5b690511b4cf5c86b4","abstract_canon_sha256":"65cc23b82349bbfb58c170dd362f1f2edb5fb6c4d68b06b43d67d53324f847bd"},"schema_version":"1.0"},"canonical_sha256":"4c7f30444a143c128a62b4242fda375f92de186d6f15239ead3eaa03a33b86a3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:08:30.866041Z","signature_b64":"CDC4q3jNtHRCPnJBMCs1gDR1C9FQ9Dq2coMEVJxetGOJ/dhrz9PA+EItUBtSXAAupm3FMU6RtSty/KEKjkGjAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4c7f30444a143c128a62b4242fda375f92de186d6f15239ead3eaa03a33b86a3","last_reissued_at":"2026-05-18T01:08:30.865630Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:08:30.865630Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1608.05440","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:08:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Opp3lNwqQvu8nC84PWE6XGVb7P7m06XQULsRViy8uMDCoNb8Wrlodrbye0xpHFZe1dusuANv2O97VNejqsUYBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T22:47:27.370252Z"},"content_sha256":"d286785ef880ff29018482d667b3305bc41570484439859f6be974dd26237f04","schema_version":"1.0","event_id":"sha256:d286785ef880ff29018482d667b3305bc41570484439859f6be974dd26237f04"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:JR7TARCKCQ6BFCTCWQSC7WRXL6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Papers presented at the 32nd International Conference on Logic Programming (ICLP 2016)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Andy King (Eds.), Manuel Carro","submitted_at":"2016-08-18T21:58:34Z","abstract_excerpt":"This is the list of the full papers accepted for presentation at the 32nd International Conference on Logic Programming, New York City, USA, October 18-21, 2016.\n  In addition to the main conference itself, ICLP hosted four pre-conference workshops, the Autumn School on Logic Programing, and a Doctoral Consortium.\n  The final versions of the full papers will be published in a special issue of the journal Theory and Practice of Logic Programming (TPLP). We received eighty eight abstract submissions, of which twenty seven papers were accepted for publication as TPLP rapid communications.\n  Paper"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.05440","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:08:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2Y2qfuRtvaMNd1aaq0GmykygtcLpVXA12Fqz8bvZ24h3skj2HNwo1voot6N7d7EfFZXjN3rhmJXS3p3tj72YBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T22:47:27.371003Z"},"content_sha256":"4d70d4d19ce288d82c392317a934a8c81457e35ecc3a632800fb64287488e936","schema_version":"1.0","event_id":"sha256:4d70d4d19ce288d82c392317a934a8c81457e35ecc3a632800fb64287488e936"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JR7TARCKCQ6BFCTCWQSC7WRXL6/bundle.json","state_url":"https://pith.science/pith/JR7TARCKCQ6BFCTCWQSC7WRXL6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JR7TARCKCQ6BFCTCWQSC7WRXL6/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-09T22:47:27Z","links":{"resolver":"https://pith.science/pith/JR7TARCKCQ6BFCTCWQSC7WRXL6","bundle":"https://pith.science/pith/JR7TARCKCQ6BFCTCWQSC7WRXL6/bundle.json","state":"https://pith.science/pith/JR7TARCKCQ6BFCTCWQSC7WRXL6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JR7TARCKCQ6BFCTCWQSC7WRXL6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:JR7TARCKCQ6BFCTCWQSC7WRXL6","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":"65cc23b82349bbfb58c170dd362f1f2edb5fb6c4d68b06b43d67d53324f847bd","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-08-18T21:58:34Z","title_canon_sha256":"eacd45020ba7844d052b3995db542b3989e8b51d6e783c5b690511b4cf5c86b4"},"schema_version":"1.0","source":{"id":"1608.05440","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.05440","created_at":"2026-05-18T01:08:30Z"},{"alias_kind":"arxiv_version","alias_value":"1608.05440v1","created_at":"2026-05-18T01:08:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.05440","created_at":"2026-05-18T01:08:30Z"},{"alias_kind":"pith_short_12","alias_value":"JR7TARCKCQ6B","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"JR7TARCKCQ6BFCTC","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"JR7TARCK","created_at":"2026-05-18T12:30:25Z"}],"graph_snapshots":[{"event_id":"sha256:4d70d4d19ce288d82c392317a934a8c81457e35ecc3a632800fb64287488e936","target":"graph","created_at":"2026-05-18T01:08:30Z","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":"This is the list of the full papers accepted for presentation at the 32nd International Conference on Logic Programming, New York City, USA, October 18-21, 2016.\n  In addition to the main conference itself, ICLP hosted four pre-conference workshops, the Autumn School on Logic Programing, and a Doctoral Consortium.\n  The final versions of the full papers will be published in a special issue of the journal Theory and Practice of Logic Programming (TPLP). We received eighty eight abstract submissions, of which twenty seven papers were accepted for publication as TPLP rapid communications.\n  Paper","authors_text":"Andy King (Eds.), Manuel Carro","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-08-18T21:58:34Z","title":"Papers presented at the 32nd International Conference on Logic Programming (ICLP 2016)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.05440","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:d286785ef880ff29018482d667b3305bc41570484439859f6be974dd26237f04","target":"record","created_at":"2026-05-18T01:08:30Z","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":"65cc23b82349bbfb58c170dd362f1f2edb5fb6c4d68b06b43d67d53324f847bd","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-08-18T21:58:34Z","title_canon_sha256":"eacd45020ba7844d052b3995db542b3989e8b51d6e783c5b690511b4cf5c86b4"},"schema_version":"1.0","source":{"id":"1608.05440","kind":"arxiv","version":1}},"canonical_sha256":"4c7f30444a143c128a62b4242fda375f92de186d6f15239ead3eaa03a33b86a3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4c7f30444a143c128a62b4242fda375f92de186d6f15239ead3eaa03a33b86a3","first_computed_at":"2026-05-18T01:08:30.865630Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:08:30.865630Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CDC4q3jNtHRCPnJBMCs1gDR1C9FQ9Dq2coMEVJxetGOJ/dhrz9PA+EItUBtSXAAupm3FMU6RtSty/KEKjkGjAg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:08:30.866041Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.05440","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d286785ef880ff29018482d667b3305bc41570484439859f6be974dd26237f04","sha256:4d70d4d19ce288d82c392317a934a8c81457e35ecc3a632800fb64287488e936"],"state_sha256":"8536ad5be91d3ad4b7ce0fc9ebdf8842ab2ee93554ade8a8a2996a1133d64e48"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"P82XbGcK/M0bs2/50vTBhRj0ydWFvKDnwocRLwlJ/XPZUOLKuc/1cV+1I7s71xl3CVNNJ8lSC3RIf7ix/89JAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T22:47:27.375287Z","bundle_sha256":"472454f2b0493f6a17d3d2dd105e423f2a54484a5d20a98d5c3e8758e172fe49"}}