{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2002:24PIOBDE5PCHB7F2NAYI7NU5RI","short_pith_number":"pith:24PIOBDE","canonical_record":{"source":{"id":"math/0211090","kind":"arxiv","version":7},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2002-11-05T19:41:55Z","cross_cats_sorted":[],"title_canon_sha256":"6ea99405e2b8bbe7c718f48ad022ece3898a2a2be94cc692c73bf73a74c0a6ba","abstract_canon_sha256":"71978b534ee7b9a657d4c625722572dd9dbd9c03fc4269d04853b2d3c0cedaec"},"schema_version":"1.0"},"canonical_sha256":"d71e870464ebc470fcba68308fb69d8a143a3bbaf8e44d9ef97a6500bb9144de","source":{"kind":"arxiv","id":"math/0211090","version":7},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0211090","created_at":"2026-05-18T01:17:26Z"},{"alias_kind":"arxiv_version","alias_value":"math/0211090v7","created_at":"2026-05-18T01:17:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0211090","created_at":"2026-05-18T01:17:26Z"},{"alias_kind":"pith_short_12","alias_value":"24PIOBDE5PCH","created_at":"2026-05-18T12:25:50Z"},{"alias_kind":"pith_short_16","alias_value":"24PIOBDE5PCHB7F2","created_at":"2026-05-18T12:25:50Z"},{"alias_kind":"pith_short_8","alias_value":"24PIOBDE","created_at":"2026-05-18T12:25:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2002:24PIOBDE5PCHB7F2NAYI7NU5RI","target":"record","payload":{"canonical_record":{"source":{"id":"math/0211090","kind":"arxiv","version":7},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2002-11-05T19:41:55Z","cross_cats_sorted":[],"title_canon_sha256":"6ea99405e2b8bbe7c718f48ad022ece3898a2a2be94cc692c73bf73a74c0a6ba","abstract_canon_sha256":"71978b534ee7b9a657d4c625722572dd9dbd9c03fc4269d04853b2d3c0cedaec"},"schema_version":"1.0"},"canonical_sha256":"d71e870464ebc470fcba68308fb69d8a143a3bbaf8e44d9ef97a6500bb9144de","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:17:26.498997Z","signature_b64":"GcjMGFk/UoIfy3iEOz6oUkGaANYeSS/jzkLqngKNTRSsd/vWZVKTdlePm0y0JmWHoTmY3ir4E4/ORGi1XiGKBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d71e870464ebc470fcba68308fb69d8a143a3bbaf8e44d9ef97a6500bb9144de","last_reissued_at":"2026-05-18T01:17:26.498425Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:17:26.498425Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"math/0211090","source_version":7,"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:17:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NLzY/EHDbWX6m3x/o7qkJmnbzJx4Y5BxgX7+mSwMXsOdMN/4fVKCph/J6L1McR3WMdbQLjiCCGxY6b3/uKaSCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T12:30:38.067275Z"},"content_sha256":"f10e1ae55d9c4d60892289e89406acb71842caf1b261be7b365d1d7047afb21c","schema_version":"1.0","event_id":"sha256:f10e1ae55d9c4d60892289e89406acb71842caf1b261be7b365d1d7047afb21c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2002:24PIOBDE5PCHB7F2NAYI7NU5RI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Generality of Proofs and its Brauerian Representation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Belgrade), K. Dosen (Mathematical Institute, Z. Petric (Mathematical Institute","submitted_at":"2002-11-05T19:41:55Z","abstract_excerpt":"The generality of a derivation is an equivalence relation on the set of occurrences of variables in its premises and conclusion such that two occurrences of the same variable are in this relation iff they must remain occurrences of the same variable in every generalization of the derivation. The variables in question are propositional or of another type. This paper examines in the setting of categorial proof theory the conjecture that two derivations with the same premises and conclusions stand for the same proof iff they have the same generality. For that purpose generality is defined within "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0211090","kind":"arxiv","version":7},"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:17:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pQMLAL4NTT9Kzg+qMqY6kW070LqR2OYxNxOJ+rcFufrnxB6WHVG2CfL7LQrvh8k/zaSVpHAgKLeXkwYjQjugAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T12:30:38.067634Z"},"content_sha256":"fe1eef440c61a34a4cf4d1ecdea20eedc212c97b80fed2c9a2ec4abf68fe5220","schema_version":"1.0","event_id":"sha256:fe1eef440c61a34a4cf4d1ecdea20eedc212c97b80fed2c9a2ec4abf68fe5220"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/24PIOBDE5PCHB7F2NAYI7NU5RI/bundle.json","state_url":"https://pith.science/pith/24PIOBDE5PCHB7F2NAYI7NU5RI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/24PIOBDE5PCHB7F2NAYI7NU5RI/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-28T12:30:38Z","links":{"resolver":"https://pith.science/pith/24PIOBDE5PCHB7F2NAYI7NU5RI","bundle":"https://pith.science/pith/24PIOBDE5PCHB7F2NAYI7NU5RI/bundle.json","state":"https://pith.science/pith/24PIOBDE5PCHB7F2NAYI7NU5RI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/24PIOBDE5PCHB7F2NAYI7NU5RI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2002:24PIOBDE5PCHB7F2NAYI7NU5RI","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":"71978b534ee7b9a657d4c625722572dd9dbd9c03fc4269d04853b2d3c0cedaec","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2002-11-05T19:41:55Z","title_canon_sha256":"6ea99405e2b8bbe7c718f48ad022ece3898a2a2be94cc692c73bf73a74c0a6ba"},"schema_version":"1.0","source":{"id":"math/0211090","kind":"arxiv","version":7}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0211090","created_at":"2026-05-18T01:17:26Z"},{"alias_kind":"arxiv_version","alias_value":"math/0211090v7","created_at":"2026-05-18T01:17:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0211090","created_at":"2026-05-18T01:17:26Z"},{"alias_kind":"pith_short_12","alias_value":"24PIOBDE5PCH","created_at":"2026-05-18T12:25:50Z"},{"alias_kind":"pith_short_16","alias_value":"24PIOBDE5PCHB7F2","created_at":"2026-05-18T12:25:50Z"},{"alias_kind":"pith_short_8","alias_value":"24PIOBDE","created_at":"2026-05-18T12:25:50Z"}],"graph_snapshots":[{"event_id":"sha256:fe1eef440c61a34a4cf4d1ecdea20eedc212c97b80fed2c9a2ec4abf68fe5220","target":"graph","created_at":"2026-05-18T01:17:26Z","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 generality of a derivation is an equivalence relation on the set of occurrences of variables in its premises and conclusion such that two occurrences of the same variable are in this relation iff they must remain occurrences of the same variable in every generalization of the derivation. The variables in question are propositional or of another type. This paper examines in the setting of categorial proof theory the conjecture that two derivations with the same premises and conclusions stand for the same proof iff they have the same generality. For that purpose generality is defined within ","authors_text":"Belgrade), K. Dosen (Mathematical Institute, Z. Petric (Mathematical Institute","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2002-11-05T19:41:55Z","title":"Generality of Proofs and its Brauerian Representation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0211090","kind":"arxiv","version":7},"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:f10e1ae55d9c4d60892289e89406acb71842caf1b261be7b365d1d7047afb21c","target":"record","created_at":"2026-05-18T01:17:26Z","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":"71978b534ee7b9a657d4c625722572dd9dbd9c03fc4269d04853b2d3c0cedaec","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2002-11-05T19:41:55Z","title_canon_sha256":"6ea99405e2b8bbe7c718f48ad022ece3898a2a2be94cc692c73bf73a74c0a6ba"},"schema_version":"1.0","source":{"id":"math/0211090","kind":"arxiv","version":7}},"canonical_sha256":"d71e870464ebc470fcba68308fb69d8a143a3bbaf8e44d9ef97a6500bb9144de","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d71e870464ebc470fcba68308fb69d8a143a3bbaf8e44d9ef97a6500bb9144de","first_computed_at":"2026-05-18T01:17:26.498425Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:17:26.498425Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GcjMGFk/UoIfy3iEOz6oUkGaANYeSS/jzkLqngKNTRSsd/vWZVKTdlePm0y0JmWHoTmY3ir4E4/ORGi1XiGKBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:17:26.498997Z","signed_message":"canonical_sha256_bytes"},"source_id":"math/0211090","source_kind":"arxiv","source_version":7}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f10e1ae55d9c4d60892289e89406acb71842caf1b261be7b365d1d7047afb21c","sha256:fe1eef440c61a34a4cf4d1ecdea20eedc212c97b80fed2c9a2ec4abf68fe5220"],"state_sha256":"9a4c610f80cf1a2a9afe0220deeb43c2ec11e84b5b389503d847e49e5bcef0e7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EgafDiJzDquViWdlhiL3Dr8A9YreDAZbk/zLTzvnYoxu7oBadneojdDik5d4Ao3haPcCldk+zkDfADxxtNqOCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T12:30:38.069481Z","bundle_sha256":"1f1f8f2e70efd148a5c158f33bac2a5e07c897fbc1d45ad56655f141ad472b94"}}