{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2002:24PIOBDE5PCHB7F2NAYI7NU5RI","short_pith_number":"pith:24PIOBDE","schema_version":"1.0","canonical_sha256":"d71e870464ebc470fcba68308fb69d8a143a3bbaf8e44d9ef97a6500bb9144de","source":{"kind":"arxiv","id":"math/0211090","version":7},"attestation_state":"computed","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 "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"math/0211090","created_at":"2026-05-18T01:17:26.498516+00:00"},{"alias_kind":"arxiv_version","alias_value":"math/0211090v7","created_at":"2026-05-18T01:17:26.498516+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0211090","created_at":"2026-05-18T01:17:26.498516+00:00"},{"alias_kind":"pith_short_12","alias_value":"24PIOBDE5PCH","created_at":"2026-05-18T12:25:50.845339+00:00"},{"alias_kind":"pith_short_16","alias_value":"24PIOBDE5PCHB7F2","created_at":"2026-05-18T12:25:50.845339+00:00"},{"alias_kind":"pith_short_8","alias_value":"24PIOBDE","created_at":"2026-05-18T12:25:50.845339+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/24PIOBDE5PCHB7F2NAYI7NU5RI","json":"https://pith.science/pith/24PIOBDE5PCHB7F2NAYI7NU5RI.json","graph_json":"https://pith.science/api/pith-number/24PIOBDE5PCHB7F2NAYI7NU5RI/graph.json","events_json":"https://pith.science/api/pith-number/24PIOBDE5PCHB7F2NAYI7NU5RI/events.json","paper":"https://pith.science/paper/24PIOBDE"},"agent_actions":{"view_html":"https://pith.science/pith/24PIOBDE5PCHB7F2NAYI7NU5RI","download_json":"https://pith.science/pith/24PIOBDE5PCHB7F2NAYI7NU5RI.json","view_paper":"https://pith.science/paper/24PIOBDE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=math/0211090&json=true","fetch_graph":"https://pith.science/api/pith-number/24PIOBDE5PCHB7F2NAYI7NU5RI/graph.json","fetch_events":"https://pith.science/api/pith-number/24PIOBDE5PCHB7F2NAYI7NU5RI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/24PIOBDE5PCHB7F2NAYI7NU5RI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/24PIOBDE5PCHB7F2NAYI7NU5RI/action/storage_attestation","attest_author":"https://pith.science/pith/24PIOBDE5PCHB7F2NAYI7NU5RI/action/author_attestation","sign_citation":"https://pith.science/pith/24PIOBDE5PCHB7F2NAYI7NU5RI/action/citation_signature","submit_replication":"https://pith.science/pith/24PIOBDE5PCHB7F2NAYI7NU5RI/action/replication_record"}},"created_at":"2026-05-18T01:17:26.498516+00:00","updated_at":"2026-05-18T01:17:26.498516+00:00"}