{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:OENQ75MF5NWNFSSNSNC37GVS53","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":"6c4faba23136572dc391f6da049e42884e5f35b8e9c0182895d77658e876e7b8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-27T03:03:07Z","title_canon_sha256":"b27ad09d335babbeac14b7a630df25b2c075c07dbe30a277fcd8de317b757398"},"schema_version":"1.0","source":{"id":"1101.5200","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1101.5200","created_at":"2026-05-18T04:30:35Z"},{"alias_kind":"arxiv_version","alias_value":"1101.5200v1","created_at":"2026-05-18T04:30:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1101.5200","created_at":"2026-05-18T04:30:35Z"},{"alias_kind":"pith_short_12","alias_value":"OENQ75MF5NWN","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_16","alias_value":"OENQ75MF5NWNFSSN","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_8","alias_value":"OENQ75MF","created_at":"2026-05-18T12:26:37Z"}],"graph_snapshots":[{"event_id":"sha256:f0c0d38dd706559a7b1791e28e2f66c7b421cdc88544622ced66d64c7b5b191e","target":"graph","created_at":"2026-05-18T04:30:35Z","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 fact that classical mathematical proofs of simply existential statements can be read as programs was established by Goedel and Kreisel half a century ago. But the possibility of extracting useful computational content from classical proofs was taken seriously only from the 1990s on when it was discovered that proof interpretations based on Goedel's and Kreisel's ideas can provide new nontrivial algorithms and numerical results, and the Curry-Howard correspondence can be extended to classical logic via programming concepts such as continuations and control operators.  \n  The workshop series","authors_text":"Stefano Berardi, Steffen van Bakel, Ulrich Berger","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-27T03:03:07Z","title":"Proceedings Third International Workshop on Classical Logic and Computation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1101.5200","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:02079b9fad34c598608cc61cb0b9ea1a9c0392adaaac51e4802142713392b13b","target":"record","created_at":"2026-05-18T04:30:35Z","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":"6c4faba23136572dc391f6da049e42884e5f35b8e9c0182895d77658e876e7b8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-27T03:03:07Z","title_canon_sha256":"b27ad09d335babbeac14b7a630df25b2c075c07dbe30a277fcd8de317b757398"},"schema_version":"1.0","source":{"id":"1101.5200","kind":"arxiv","version":1}},"canonical_sha256":"711b0ff585eb6cd2ca4d9345bf9ab2eec5fc768463c1563f85d31730e9f6179f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"711b0ff585eb6cd2ca4d9345bf9ab2eec5fc768463c1563f85d31730e9f6179f","first_computed_at":"2026-05-18T04:30:35.949737Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:30:35.949737Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"y/H1a/MIusoM6CagmyYqF1qBw+fTTsT473SpecKwuIpVw9lPTFzWpAvKTFYiIepnRPDwqI6HN92kgF5BkCa/AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:30:35.950355Z","signed_message":"canonical_sha256_bytes"},"source_id":"1101.5200","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:02079b9fad34c598608cc61cb0b9ea1a9c0392adaaac51e4802142713392b13b","sha256:f0c0d38dd706559a7b1791e28e2f66c7b421cdc88544622ced66d64c7b5b191e"],"state_sha256":"8abe7b595723fd0248a0e027eac1be52f84e3d5d7e00282fe4fa8fe6c3cc2d2b"}