{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:JVB5FQWQX3AD22WBQQI77E6YMC","short_pith_number":"pith:JVB5FQWQ","canonical_record":{"source":{"id":"1606.05820","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-06-19T01:39:58Z","cross_cats_sorted":[],"title_canon_sha256":"8c54de10f80654ac308e1178b809110060fd97000f709c3ac66c72935a616851","abstract_canon_sha256":"755cffaa038a7f41d7b6dc8edff7062668cf58725ee6b0b171c4d0c343f844a7"},"schema_version":"1.0"},"canonical_sha256":"4d43d2c2d0bec03d6ac18411ff93d860a7a3ccf1ffd261b911c6bf9124aaf090","source":{"kind":"arxiv","id":"1606.05820","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.05820","created_at":"2026-05-18T01:12:15Z"},{"alias_kind":"arxiv_version","alias_value":"1606.05820v1","created_at":"2026-05-18T01:12:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.05820","created_at":"2026-05-18T01:12:15Z"},{"alias_kind":"pith_short_12","alias_value":"JVB5FQWQX3AD","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"JVB5FQWQX3AD22WB","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"JVB5FQWQ","created_at":"2026-05-18T12:30:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:JVB5FQWQX3AD22WBQQI77E6YMC","target":"record","payload":{"canonical_record":{"source":{"id":"1606.05820","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-06-19T01:39:58Z","cross_cats_sorted":[],"title_canon_sha256":"8c54de10f80654ac308e1178b809110060fd97000f709c3ac66c72935a616851","abstract_canon_sha256":"755cffaa038a7f41d7b6dc8edff7062668cf58725ee6b0b171c4d0c343f844a7"},"schema_version":"1.0"},"canonical_sha256":"4d43d2c2d0bec03d6ac18411ff93d860a7a3ccf1ffd261b911c6bf9124aaf090","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:12:15.972930Z","signature_b64":"e5w/ciT+4PqzujJm14D2ptTGgvvilLUD9Ue1zylnORDYrTsyBzEtdFQHgI+SUa3Uh1lr+TGVAn3wUUKxTiuvAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4d43d2c2d0bec03d6ac18411ff93d860a7a3ccf1ffd261b911c6bf9124aaf090","last_reissued_at":"2026-05-18T01:12:15.972588Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:12:15.972588Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1606.05820","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:12:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FmFlF6jyXnWas2abJ1OSwoKnjPggeyeyMNWzVh3LCjMMILYAkuIeQww6wzYx9kDF09OkL1IJmYWABNW1/rjQCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T03:19:02.038981Z"},"content_sha256":"824bcd2e274bd03ebdffac1ff59a1f094973e3387312d478bbd14eb975fb1e50","schema_version":"1.0","event_id":"sha256:824bcd2e274bd03ebdffac1ff59a1f094973e3387312d478bbd14eb975fb1e50"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:JVB5FQWQX3AD22WBQQI77E6YMC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proceedings Sixth International Workshop on Classical Logic and Computation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Stefano Berardi, Steffen van Bakel, Ulrich Kohlenbach","submitted_at":"2016-06-19T01:39:58Z","abstract_excerpt":"The workshop series intends to cover research that investigates the computational aspects of classical logic and mathematics. Its focus is on unwinding the computational content of logical principles and proof in mathematics based on these principles, aiming to bring together researchers from both fields and exchange ideas. \n  Classical Logic and Computation (CL&C) 2016 was the sixth edition of this workshop series held as a satellite to FSCD 2016 on June 23, 2016 in Porto, Portugal. \n  In this sixth edition we received 11 submissions of both short and full papers. Eight (8) of these were sele"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.05820","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:12:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h3CS6JtmTrunxuu/xsEFDlXoAfnr7JRzO+VQi1PC2p4C4YhZKjN5CV/KYmQvIcx1wcvYJJ0AXcPMu76eBMMfDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T03:19:02.039335Z"},"content_sha256":"e0a3f4eb21fe191097e357b2827829e416c9b1b9f2ca6698e2cc5928b945bf44","schema_version":"1.0","event_id":"sha256:e0a3f4eb21fe191097e357b2827829e416c9b1b9f2ca6698e2cc5928b945bf44"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JVB5FQWQX3AD22WBQQI77E6YMC/bundle.json","state_url":"https://pith.science/pith/JVB5FQWQX3AD22WBQQI77E6YMC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JVB5FQWQX3AD22WBQQI77E6YMC/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-31T03:19:02Z","links":{"resolver":"https://pith.science/pith/JVB5FQWQX3AD22WBQQI77E6YMC","bundle":"https://pith.science/pith/JVB5FQWQX3AD22WBQQI77E6YMC/bundle.json","state":"https://pith.science/pith/JVB5FQWQX3AD22WBQQI77E6YMC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JVB5FQWQX3AD22WBQQI77E6YMC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:JVB5FQWQX3AD22WBQQI77E6YMC","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":"755cffaa038a7f41d7b6dc8edff7062668cf58725ee6b0b171c4d0c343f844a7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-06-19T01:39:58Z","title_canon_sha256":"8c54de10f80654ac308e1178b809110060fd97000f709c3ac66c72935a616851"},"schema_version":"1.0","source":{"id":"1606.05820","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.05820","created_at":"2026-05-18T01:12:15Z"},{"alias_kind":"arxiv_version","alias_value":"1606.05820v1","created_at":"2026-05-18T01:12:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.05820","created_at":"2026-05-18T01:12:15Z"},{"alias_kind":"pith_short_12","alias_value":"JVB5FQWQX3AD","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"JVB5FQWQX3AD22WB","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"JVB5FQWQ","created_at":"2026-05-18T12:30:25Z"}],"graph_snapshots":[{"event_id":"sha256:e0a3f4eb21fe191097e357b2827829e416c9b1b9f2ca6698e2cc5928b945bf44","target":"graph","created_at":"2026-05-18T01:12:15Z","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 workshop series intends to cover research that investigates the computational aspects of classical logic and mathematics. Its focus is on unwinding the computational content of logical principles and proof in mathematics based on these principles, aiming to bring together researchers from both fields and exchange ideas. \n  Classical Logic and Computation (CL&C) 2016 was the sixth edition of this workshop series held as a satellite to FSCD 2016 on June 23, 2016 in Porto, Portugal. \n  In this sixth edition we received 11 submissions of both short and full papers. Eight (8) of these were sele","authors_text":"Stefano Berardi, Steffen van Bakel, Ulrich Kohlenbach","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-06-19T01:39:58Z","title":"Proceedings Sixth International Workshop on Classical Logic and Computation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.05820","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:824bcd2e274bd03ebdffac1ff59a1f094973e3387312d478bbd14eb975fb1e50","target":"record","created_at":"2026-05-18T01:12:15Z","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":"755cffaa038a7f41d7b6dc8edff7062668cf58725ee6b0b171c4d0c343f844a7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-06-19T01:39:58Z","title_canon_sha256":"8c54de10f80654ac308e1178b809110060fd97000f709c3ac66c72935a616851"},"schema_version":"1.0","source":{"id":"1606.05820","kind":"arxiv","version":1}},"canonical_sha256":"4d43d2c2d0bec03d6ac18411ff93d860a7a3ccf1ffd261b911c6bf9124aaf090","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4d43d2c2d0bec03d6ac18411ff93d860a7a3ccf1ffd261b911c6bf9124aaf090","first_computed_at":"2026-05-18T01:12:15.972588Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:12:15.972588Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"e5w/ciT+4PqzujJm14D2ptTGgvvilLUD9Ue1zylnORDYrTsyBzEtdFQHgI+SUa3Uh1lr+TGVAn3wUUKxTiuvAA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:12:15.972930Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.05820","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:824bcd2e274bd03ebdffac1ff59a1f094973e3387312d478bbd14eb975fb1e50","sha256:e0a3f4eb21fe191097e357b2827829e416c9b1b9f2ca6698e2cc5928b945bf44"],"state_sha256":"5663eb95ea798c3ad77df90b6699a3873241a3da1c17c97c03399192ba0fb423"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oxmiSpqlCd3uQaGUS3HDC+ZH62Rj2APtoxBDQixlOcatPW5FrKkd9P4m5ubBKGft6ylE4MBiE5BaMyuPoKK1Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T03:19:02.041310Z","bundle_sha256":"b6b27208c1b1a73ead89bf8f5c62bdb743582d64bfa2b425c0534a6f9cba83c9"}}