{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:SHH33HNYEPUZBHM2Q6BCXJP3S6","short_pith_number":"pith:SHH33HNY","canonical_record":{"source":{"id":"1503.06087","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-03-20T14:33:48Z","cross_cats_sorted":[],"title_canon_sha256":"104e2fd35876acb080bc6137d1c934608a07825fcbb856daa75b4b0dbd40c90c","abstract_canon_sha256":"0a39869a0a5673a948f6007ec9039a320d6aa04e946207e76f2edca0470aabfb"},"schema_version":"1.0"},"canonical_sha256":"91cfbd9db823e9909d9a87822ba5fb97baf2fa009078c78749468f444a026673","source":{"kind":"arxiv","id":"1503.06087","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.06087","created_at":"2026-05-18T01:36:06Z"},{"alias_kind":"arxiv_version","alias_value":"1503.06087v2","created_at":"2026-05-18T01:36:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.06087","created_at":"2026-05-18T01:36:06Z"},{"alias_kind":"pith_short_12","alias_value":"SHH33HNYEPUZ","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"SHH33HNYEPUZBHM2","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"SHH33HNY","created_at":"2026-05-18T12:29:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:SHH33HNYEPUZBHM2Q6BCXJP3S6","target":"record","payload":{"canonical_record":{"source":{"id":"1503.06087","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-03-20T14:33:48Z","cross_cats_sorted":[],"title_canon_sha256":"104e2fd35876acb080bc6137d1c934608a07825fcbb856daa75b4b0dbd40c90c","abstract_canon_sha256":"0a39869a0a5673a948f6007ec9039a320d6aa04e946207e76f2edca0470aabfb"},"schema_version":"1.0"},"canonical_sha256":"91cfbd9db823e9909d9a87822ba5fb97baf2fa009078c78749468f444a026673","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:36:06.925410Z","signature_b64":"XUtm+bVsEzpKIfxhEQsDUEsO3m/RNxLnSvM3imJAyEoAZYCNFTav8p3jQaFmtAKp3CM61F3tqfbz+sxlYHioDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"91cfbd9db823e9909d9a87822ba5fb97baf2fa009078c78749468f444a026673","last_reissued_at":"2026-05-18T01:36:06.924795Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:36:06.924795Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1503.06087","source_version":2,"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:36:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CGBdWbrkw/JJaLiJ8Of8PYBpicPA7C0WAmKq9bTu99eJ6vXscYXardmvzW2F/EXLLB/aB+inVXnszOMKFCnvBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T11:14:46.391205Z"},"content_sha256":"7c96f2234421d7d88f272cdf69422bf48643549e8a785d946f7ee33ddba3389d","schema_version":"1.0","event_id":"sha256:7c96f2234421d7d88f272cdf69422bf48643549e8a785d946f7ee33ddba3389d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:SHH33HNYEPUZBHM2Q6BCXJP3S6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The RatioLog Project: Rational Extensions of Logical Reasoning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Claudia Schon, Claus-Peter Wirth, Frieder Stolzenburg, Karl-Heinz Weis, Ulrich Furbach","submitted_at":"2015-03-20T14:33:48Z","abstract_excerpt":"Higher-level cognition includes logical reasoning and the ability of question answering with common sense. The RatioLog project addresses the problem of rational reasoning in deep question answering by methods from automated deduction and cognitive computing. In a first phase, we combine techniques from information retrieval and machine learning to find appropriate answer candidates from the huge amount of text in the German version of the free encyclopedia \"Wikipedia\". In a second phase, an automated theorem prover tries to verify the answer candidates on the basis of their logical representa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.06087","kind":"arxiv","version":2},"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:36:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MtdMnLJFC9T8nl71w0h0xIPSkM0QwukD/TC+H2ndSHLLYW016uHCURV4bMYYEWauk3xvSajzVgqbsb5tpA0DAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T11:14:46.391915Z"},"content_sha256":"2107c15c3bf4bbbe4952035071febaf28175bec5657a46d2704daa8161b6ada0","schema_version":"1.0","event_id":"sha256:2107c15c3bf4bbbe4952035071febaf28175bec5657a46d2704daa8161b6ada0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SHH33HNYEPUZBHM2Q6BCXJP3S6/bundle.json","state_url":"https://pith.science/pith/SHH33HNYEPUZBHM2Q6BCXJP3S6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SHH33HNYEPUZBHM2Q6BCXJP3S6/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-10T11:14:46Z","links":{"resolver":"https://pith.science/pith/SHH33HNYEPUZBHM2Q6BCXJP3S6","bundle":"https://pith.science/pith/SHH33HNYEPUZBHM2Q6BCXJP3S6/bundle.json","state":"https://pith.science/pith/SHH33HNYEPUZBHM2Q6BCXJP3S6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SHH33HNYEPUZBHM2Q6BCXJP3S6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:SHH33HNYEPUZBHM2Q6BCXJP3S6","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":"0a39869a0a5673a948f6007ec9039a320d6aa04e946207e76f2edca0470aabfb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-03-20T14:33:48Z","title_canon_sha256":"104e2fd35876acb080bc6137d1c934608a07825fcbb856daa75b4b0dbd40c90c"},"schema_version":"1.0","source":{"id":"1503.06087","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.06087","created_at":"2026-05-18T01:36:06Z"},{"alias_kind":"arxiv_version","alias_value":"1503.06087v2","created_at":"2026-05-18T01:36:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.06087","created_at":"2026-05-18T01:36:06Z"},{"alias_kind":"pith_short_12","alias_value":"SHH33HNYEPUZ","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"SHH33HNYEPUZBHM2","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"SHH33HNY","created_at":"2026-05-18T12:29:42Z"}],"graph_snapshots":[{"event_id":"sha256:2107c15c3bf4bbbe4952035071febaf28175bec5657a46d2704daa8161b6ada0","target":"graph","created_at":"2026-05-18T01:36: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":"Higher-level cognition includes logical reasoning and the ability of question answering with common sense. The RatioLog project addresses the problem of rational reasoning in deep question answering by methods from automated deduction and cognitive computing. In a first phase, we combine techniques from information retrieval and machine learning to find appropriate answer candidates from the huge amount of text in the German version of the free encyclopedia \"Wikipedia\". In a second phase, an automated theorem prover tries to verify the answer candidates on the basis of their logical representa","authors_text":"Claudia Schon, Claus-Peter Wirth, Frieder Stolzenburg, Karl-Heinz Weis, Ulrich Furbach","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-03-20T14:33:48Z","title":"The RatioLog Project: Rational Extensions of Logical Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.06087","kind":"arxiv","version":2},"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:7c96f2234421d7d88f272cdf69422bf48643549e8a785d946f7ee33ddba3389d","target":"record","created_at":"2026-05-18T01:36: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":"0a39869a0a5673a948f6007ec9039a320d6aa04e946207e76f2edca0470aabfb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-03-20T14:33:48Z","title_canon_sha256":"104e2fd35876acb080bc6137d1c934608a07825fcbb856daa75b4b0dbd40c90c"},"schema_version":"1.0","source":{"id":"1503.06087","kind":"arxiv","version":2}},"canonical_sha256":"91cfbd9db823e9909d9a87822ba5fb97baf2fa009078c78749468f444a026673","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"91cfbd9db823e9909d9a87822ba5fb97baf2fa009078c78749468f444a026673","first_computed_at":"2026-05-18T01:36:06.924795Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:36:06.924795Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XUtm+bVsEzpKIfxhEQsDUEsO3m/RNxLnSvM3imJAyEoAZYCNFTav8p3jQaFmtAKp3CM61F3tqfbz+sxlYHioDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:36:06.925410Z","signed_message":"canonical_sha256_bytes"},"source_id":"1503.06087","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7c96f2234421d7d88f272cdf69422bf48643549e8a785d946f7ee33ddba3389d","sha256:2107c15c3bf4bbbe4952035071febaf28175bec5657a46d2704daa8161b6ada0"],"state_sha256":"b8500d8055eb34c154224ce95e2b5c3e34867eb5a787cf9e7448cc9558ee8335"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DA3LeO2GRcVNsj6o3I35UE2gnVy8ERn9oHTLD9OA1bEftrqxP1NDDiDo5EsKWw66LVBvs69SF3/qACeBWN0PDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T11:14:46.396191Z","bundle_sha256":"0e047eda0284ec0d5abe86e2931544408bc4e14ffef771698998f544160baa33"}}