{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:AAVPKPG6QFYVMREWKOIIQ2HGL5","short_pith_number":"pith:AAVPKPG6","canonical_record":{"source":{"id":"0902.4682","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-02-26T19:59:17Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"89d67065022c0f8932c3eb18c63858234fa7b2a30bbfcb7513d726ecdcc4c365","abstract_canon_sha256":"31d39851cef87f1d8e8da61fc32a37bb81d08c7afb064f54365ac19f6d7bcadc"},"schema_version":"1.0"},"canonical_sha256":"002af53cde817156449653908868e65f47a166f82bec3fe0cd1038b77096d88d","source":{"kind":"arxiv","id":"0902.4682","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0902.4682","created_at":"2026-05-18T02:51:06Z"},{"alias_kind":"arxiv_version","alias_value":"0902.4682v5","created_at":"2026-05-18T02:51:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0902.4682","created_at":"2026-05-18T02:51:06Z"},{"alias_kind":"pith_short_12","alias_value":"AAVPKPG6QFYV","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"AAVPKPG6QFYVMREW","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"AAVPKPG6","created_at":"2026-05-18T12:25:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:AAVPKPG6QFYVMREWKOIIQ2HGL5","target":"record","payload":{"canonical_record":{"source":{"id":"0902.4682","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-02-26T19:59:17Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"89d67065022c0f8932c3eb18c63858234fa7b2a30bbfcb7513d726ecdcc4c365","abstract_canon_sha256":"31d39851cef87f1d8e8da61fc32a37bb81d08c7afb064f54365ac19f6d7bcadc"},"schema_version":"1.0"},"canonical_sha256":"002af53cde817156449653908868e65f47a166f82bec3fe0cd1038b77096d88d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:51:06.837109Z","signature_b64":"BLgxTZzQ2ccnuhKzcw0THfHeoTRjGPbBGbcykQarDylmXTcCg+SJcPsbHWQEz0l7Irz09F9rttpx1BsZQugHCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"002af53cde817156449653908868e65f47a166f82bec3fe0cd1038b77096d88d","last_reissued_at":"2026-05-18T02:51:06.836616Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:51:06.836616Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0902.4682","source_version":5,"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-18T02:51:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zJClcWTFtoPbkN7bCIpcKEMIKZiqlkZeaKmvEWlNdjLfByREZAABWub8Pnx0Gg7cfk5THf7dMxAq4h24cSrVAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T05:00:59.608218Z"},"content_sha256":"d0e71cb539cccc9a5264ac37831f64383cb5fcb1acae74133a13125ead4481a6","schema_version":"1.0","event_id":"sha256:d0e71cb539cccc9a5264ac37831f64383cb5fcb1acae74133a13125ead4481a6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:AAVPKPG6QFYVMREWKOIIQ2HGL5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Lectures on Jacques Herbrand as a Logician","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Christoph Benzmueller, Claus-Peter Wirth, Joerg Siekmann, Serge Autexier","submitted_at":"2009-02-26T19:59:17Z","abstract_excerpt":"We give some lectures on the work on formal logic of Jacques Herbrand, and sketch his life and his influence on automated theorem proving. The intended audience ranges from students interested in logic over historians to logicians. Besides the well-known correction of Herbrand's False Lemma by Goedel and Dreben, we also present the hardly known unpublished correction of Heijenoort and its consequences on Herbrand's Modus Ponens Elimination. Besides Herbrand's Fundamental Theorem and its relation to the Loewenheim-Skolem-Theorem, we carefully investigate Herbrand's notion of intuitionism in con"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0902.4682","kind":"arxiv","version":5},"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-18T02:51:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rSKG3PMDnKrldbHo+49EOXbSgulLPdBLaYU9+J01Pme19jQ+XKP7eJuNn54LJ7AQKac6VeYdnPM1VbPlaTc5Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T05:00:59.608958Z"},"content_sha256":"eaad30f28f84ad85d339c0b0ea13591d270dece6659246252ecd0159048d23a3","schema_version":"1.0","event_id":"sha256:eaad30f28f84ad85d339c0b0ea13591d270dece6659246252ecd0159048d23a3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AAVPKPG6QFYVMREWKOIIQ2HGL5/bundle.json","state_url":"https://pith.science/pith/AAVPKPG6QFYVMREWKOIIQ2HGL5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AAVPKPG6QFYVMREWKOIIQ2HGL5/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-09T05:00:59Z","links":{"resolver":"https://pith.science/pith/AAVPKPG6QFYVMREWKOIIQ2HGL5","bundle":"https://pith.science/pith/AAVPKPG6QFYVMREWKOIIQ2HGL5/bundle.json","state":"https://pith.science/pith/AAVPKPG6QFYVMREWKOIIQ2HGL5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AAVPKPG6QFYVMREWKOIIQ2HGL5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:AAVPKPG6QFYVMREWKOIIQ2HGL5","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":"31d39851cef87f1d8e8da61fc32a37bb81d08c7afb064f54365ac19f6d7bcadc","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-02-26T19:59:17Z","title_canon_sha256":"89d67065022c0f8932c3eb18c63858234fa7b2a30bbfcb7513d726ecdcc4c365"},"schema_version":"1.0","source":{"id":"0902.4682","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0902.4682","created_at":"2026-05-18T02:51:06Z"},{"alias_kind":"arxiv_version","alias_value":"0902.4682v5","created_at":"2026-05-18T02:51:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0902.4682","created_at":"2026-05-18T02:51:06Z"},{"alias_kind":"pith_short_12","alias_value":"AAVPKPG6QFYV","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"AAVPKPG6QFYVMREW","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"AAVPKPG6","created_at":"2026-05-18T12:25:58Z"}],"graph_snapshots":[{"event_id":"sha256:eaad30f28f84ad85d339c0b0ea13591d270dece6659246252ecd0159048d23a3","target":"graph","created_at":"2026-05-18T02:51:06Z","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":"We give some lectures on the work on formal logic of Jacques Herbrand, and sketch his life and his influence on automated theorem proving. The intended audience ranges from students interested in logic over historians to logicians. Besides the well-known correction of Herbrand's False Lemma by Goedel and Dreben, we also present the hardly known unpublished correction of Heijenoort and its consequences on Herbrand's Modus Ponens Elimination. Besides Herbrand's Fundamental Theorem and its relation to the Loewenheim-Skolem-Theorem, we carefully investigate Herbrand's notion of intuitionism in con","authors_text":"Christoph Benzmueller, Claus-Peter Wirth, Joerg Siekmann, Serge Autexier","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-02-26T19:59:17Z","title":"Lectures on Jacques Herbrand as a Logician"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0902.4682","kind":"arxiv","version":5},"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:d0e71cb539cccc9a5264ac37831f64383cb5fcb1acae74133a13125ead4481a6","target":"record","created_at":"2026-05-18T02:51:06Z","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":"31d39851cef87f1d8e8da61fc32a37bb81d08c7afb064f54365ac19f6d7bcadc","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-02-26T19:59:17Z","title_canon_sha256":"89d67065022c0f8932c3eb18c63858234fa7b2a30bbfcb7513d726ecdcc4c365"},"schema_version":"1.0","source":{"id":"0902.4682","kind":"arxiv","version":5}},"canonical_sha256":"002af53cde817156449653908868e65f47a166f82bec3fe0cd1038b77096d88d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"002af53cde817156449653908868e65f47a166f82bec3fe0cd1038b77096d88d","first_computed_at":"2026-05-18T02:51:06.836616Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:51:06.836616Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BLgxTZzQ2ccnuhKzcw0THfHeoTRjGPbBGbcykQarDylmXTcCg+SJcPsbHWQEz0l7Irz09F9rttpx1BsZQugHCg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:51:06.837109Z","signed_message":"canonical_sha256_bytes"},"source_id":"0902.4682","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d0e71cb539cccc9a5264ac37831f64383cb5fcb1acae74133a13125ead4481a6","sha256:eaad30f28f84ad85d339c0b0ea13591d270dece6659246252ecd0159048d23a3"],"state_sha256":"3eaa65adc1731c77b8fe28e9170a5e049ee80b79e1f4c38ec08696a4d6eafb5e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"80nQvOJnufebeiBXy7KOaXn7formZd4EGwL2yeY95Njd9Surp3kyk9Lec0mMycPGVEqabq8ptW0rQ82qulcXAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T05:00:59.612827Z","bundle_sha256":"50bec5796aa93183e7bf787a92c5a0db0f7c851674fc5b59fc2884500ad1b72a"}}