{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:STTAAF7BRUKHHREVBZ7U5PR4LI","short_pith_number":"pith:STTAAF7B","canonical_record":{"source":{"id":"1507.03666","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CY","submitted_at":"2015-07-14T00:48:51Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"77198339bb05c4e21407a46f1857186d8d5c066985fff944497d04d7e6ebb86e","abstract_canon_sha256":"7226a9db9d6c863e8c762574e16ec24543f5e87c7b37ba896462b6469ddc69e3"},"schema_version":"1.0"},"canonical_sha256":"94e60017e18d1473c4950e7f4ebe3c5a30874941c0a371d8929eecc05848ecda","source":{"kind":"arxiv","id":"1507.03666","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.03666","created_at":"2026-05-18T01:36:57Z"},{"alias_kind":"arxiv_version","alias_value":"1507.03666v1","created_at":"2026-05-18T01:36:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.03666","created_at":"2026-05-18T01:36:57Z"},{"alias_kind":"pith_short_12","alias_value":"STTAAF7BRUKH","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"STTAAF7BRUKHHREV","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"STTAAF7B","created_at":"2026-05-18T12:29:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:STTAAF7BRUKHHREVBZ7U5PR4LI","target":"record","payload":{"canonical_record":{"source":{"id":"1507.03666","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CY","submitted_at":"2015-07-14T00:48:51Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"77198339bb05c4e21407a46f1857186d8d5c066985fff944497d04d7e6ebb86e","abstract_canon_sha256":"7226a9db9d6c863e8c762574e16ec24543f5e87c7b37ba896462b6469ddc69e3"},"schema_version":"1.0"},"canonical_sha256":"94e60017e18d1473c4950e7f4ebe3c5a30874941c0a371d8929eecc05848ecda","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:36:57.683531Z","signature_b64":"LVWSNQsCjBz8PGiJM33ajoMz5tacrACh91xr62yoJfonxMhdiogQEayZFw8gmTMbY4SPD+cuK1revFtDkiWoDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"94e60017e18d1473c4950e7f4ebe3c5a30874941c0a371d8929eecc05848ecda","last_reissued_at":"2026-05-18T01:36:57.682978Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:36:57.682978Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1507.03666","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:36:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1XKxklaH0eHQs+hFsBjVtxox9GnqblxhTg8gSo/l9gLUh9hjKbNslbTFzO1+kUK52D3wFjQ1GOi5uHpCIo8/Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T22:56:33.274710Z"},"content_sha256":"9cc854344c248924ab5df23571b373a5e1a3ae07e5583e75d1dc0dc3b7b5bef3","schema_version":"1.0","event_id":"sha256:9cc854344c248924ab5df23571b373a5e1a3ae07e5583e75d1dc0dc3b7b5bef3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:STTAAF7BRUKHHREVBZ7U5PR4LI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Sequent Calculus Trainer - Helping Students to Correctly Construct Proofs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.CY","authors_text":"Arno Ehle, Martin Lange, Norbert Hundeshagen","submitted_at":"2015-07-14T00:48:51Z","abstract_excerpt":"We present the Sequent Calculus Trainer, a tool that supports students in learning how to correctly construct proofs in the sequent calculus for first-order logic with equality. It is a proof assistant fostering the understanding of all the syntactic principles that need to be obeyed in constructing correct proofs. It does not provide any help in finding good proof strategies. Instead it aims at understanding the sequent calculus on a lower syntactic level that needs to be mastered before one can consider proof strategies. Its main feature is a proper feedback system embedded in a graphical us"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.03666","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:36:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Zul89jMqiNN6XAZLEqRbxJarpEyt7dM1eipXscT0X5jRk/AaEdfSN+tKUopqyCxtMVp8XOmUdFFPslxMjOwtBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T22:56:33.275310Z"},"content_sha256":"18f141f28b7b5c68911bf7aaba3c2243d9b6e56abdf4a0bb7d35aea7ee733b5b","schema_version":"1.0","event_id":"sha256:18f141f28b7b5c68911bf7aaba3c2243d9b6e56abdf4a0bb7d35aea7ee733b5b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/STTAAF7BRUKHHREVBZ7U5PR4LI/bundle.json","state_url":"https://pith.science/pith/STTAAF7BRUKHHREVBZ7U5PR4LI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/STTAAF7BRUKHHREVBZ7U5PR4LI/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-04T22:56:33Z","links":{"resolver":"https://pith.science/pith/STTAAF7BRUKHHREVBZ7U5PR4LI","bundle":"https://pith.science/pith/STTAAF7BRUKHHREVBZ7U5PR4LI/bundle.json","state":"https://pith.science/pith/STTAAF7BRUKHHREVBZ7U5PR4LI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/STTAAF7BRUKHHREVBZ7U5PR4LI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:STTAAF7BRUKHHREVBZ7U5PR4LI","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":"7226a9db9d6c863e8c762574e16ec24543f5e87c7b37ba896462b6469ddc69e3","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CY","submitted_at":"2015-07-14T00:48:51Z","title_canon_sha256":"77198339bb05c4e21407a46f1857186d8d5c066985fff944497d04d7e6ebb86e"},"schema_version":"1.0","source":{"id":"1507.03666","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.03666","created_at":"2026-05-18T01:36:57Z"},{"alias_kind":"arxiv_version","alias_value":"1507.03666v1","created_at":"2026-05-18T01:36:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.03666","created_at":"2026-05-18T01:36:57Z"},{"alias_kind":"pith_short_12","alias_value":"STTAAF7BRUKH","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"STTAAF7BRUKHHREV","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"STTAAF7B","created_at":"2026-05-18T12:29:42Z"}],"graph_snapshots":[{"event_id":"sha256:18f141f28b7b5c68911bf7aaba3c2243d9b6e56abdf4a0bb7d35aea7ee733b5b","target":"graph","created_at":"2026-05-18T01:36:57Z","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 present the Sequent Calculus Trainer, a tool that supports students in learning how to correctly construct proofs in the sequent calculus for first-order logic with equality. It is a proof assistant fostering the understanding of all the syntactic principles that need to be obeyed in constructing correct proofs. It does not provide any help in finding good proof strategies. Instead it aims at understanding the sequent calculus on a lower syntactic level that needs to be mastered before one can consider proof strategies. Its main feature is a proper feedback system embedded in a graphical us","authors_text":"Arno Ehle, Martin Lange, Norbert Hundeshagen","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CY","submitted_at":"2015-07-14T00:48:51Z","title":"The Sequent Calculus Trainer - Helping Students to Correctly Construct Proofs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.03666","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:9cc854344c248924ab5df23571b373a5e1a3ae07e5583e75d1dc0dc3b7b5bef3","target":"record","created_at":"2026-05-18T01:36:57Z","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":"7226a9db9d6c863e8c762574e16ec24543f5e87c7b37ba896462b6469ddc69e3","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CY","submitted_at":"2015-07-14T00:48:51Z","title_canon_sha256":"77198339bb05c4e21407a46f1857186d8d5c066985fff944497d04d7e6ebb86e"},"schema_version":"1.0","source":{"id":"1507.03666","kind":"arxiv","version":1}},"canonical_sha256":"94e60017e18d1473c4950e7f4ebe3c5a30874941c0a371d8929eecc05848ecda","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"94e60017e18d1473c4950e7f4ebe3c5a30874941c0a371d8929eecc05848ecda","first_computed_at":"2026-05-18T01:36:57.682978Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:36:57.682978Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LVWSNQsCjBz8PGiJM33ajoMz5tacrACh91xr62yoJfonxMhdiogQEayZFw8gmTMbY4SPD+cuK1revFtDkiWoDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:36:57.683531Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.03666","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9cc854344c248924ab5df23571b373a5e1a3ae07e5583e75d1dc0dc3b7b5bef3","sha256:18f141f28b7b5c68911bf7aaba3c2243d9b6e56abdf4a0bb7d35aea7ee733b5b"],"state_sha256":"a6add8878f89c6af3e618ca3e4a4a026dcabca1b53b09114c279e5dd4212ffeb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wioEfhnUXROyXt41j3e2lBJafwK2zYNYARNXxmG9HcJxez/NJ4wcTlpGkH2SLnyaBrUYZBlmNFDfO9t+/EleBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T22:56:33.278791Z","bundle_sha256":"156c173b7dfb12fa2846f5752db283af7a1401d8ae3c45f52bb4f8ae21952463"}}