{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:OO47C4BOGQAI27S6W2BRU4J6GQ","short_pith_number":"pith:OO47C4BO","canonical_record":{"source":{"id":"1107.3212","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DL","submitted_at":"2011-07-16T09:06:49Z","cross_cats_sorted":["cs.MS"],"title_canon_sha256":"08b3aa5b85db49d6bb3f26daf2f78cb9dfbdf3ac3ee21966fff5c71f0b501b41","abstract_canon_sha256":"35abe395772f3b68dd55a9227cd8c4623edba55e027352580f00ac07b4ff09f8"},"schema_version":"1.0"},"canonical_sha256":"73b9f1702e34008d7e5eb6831a713e340dcac3631103d81143360c6fb1471268","source":{"kind":"arxiv","id":"1107.3212","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.3212","created_at":"2026-05-18T04:16:53Z"},{"alias_kind":"arxiv_version","alias_value":"1107.3212v1","created_at":"2026-05-18T04:16:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.3212","created_at":"2026-05-18T04:16:53Z"},{"alias_kind":"pith_short_12","alias_value":"OO47C4BOGQAI","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_16","alias_value":"OO47C4BOGQAI27S6","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_8","alias_value":"OO47C4BO","created_at":"2026-05-18T12:26:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:OO47C4BOGQAI27S6W2BRU4J6GQ","target":"record","payload":{"canonical_record":{"source":{"id":"1107.3212","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DL","submitted_at":"2011-07-16T09:06:49Z","cross_cats_sorted":["cs.MS"],"title_canon_sha256":"08b3aa5b85db49d6bb3f26daf2f78cb9dfbdf3ac3ee21966fff5c71f0b501b41","abstract_canon_sha256":"35abe395772f3b68dd55a9227cd8c4623edba55e027352580f00ac07b4ff09f8"},"schema_version":"1.0"},"canonical_sha256":"73b9f1702e34008d7e5eb6831a713e340dcac3631103d81143360c6fb1471268","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:16:53.189062Z","signature_b64":"MR/zuGHBfyfpyq9PnE5FO8aQHZ37akTAoxNOvE7Cw8vYX2lGcEGRUJs1CmFh16S4u8EtjW+YySrQs7YktHUDAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"73b9f1702e34008d7e5eb6831a713e340dcac3631103d81143360c6fb1471268","last_reissued_at":"2026-05-18T04:16:53.188546Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:16:53.188546Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1107.3212","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-18T04:16:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"L62NFqQQXmVHngT8oLN1+PQRF/r6N3TgPYP4plWFkxQuwhuSV91QuB4e/a8SvoY1M4JzbV9Yt1Ju1w4WOlvUDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T16:31:15.123814Z"},"content_sha256":"13dc023c807397671d0709a95155f72f8c6a469d29d355d78f58da1fb918cc29","schema_version":"1.0","event_id":"sha256:13dc023c807397671d0709a95155f72f8c6a469d29d355d78f58da1fb918cc29"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:OO47C4BOGQAI27S6W2BRU4J6GQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Licensing the Mizar Mathematical Library","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.MS"],"primary_cat":"cs.DL","authors_text":"Adam Naumowicz, Jesse Alama, Josef Urban, Lionel Mamane, Michael Kohlhase, Piotr Rudnicki","submitted_at":"2011-07-16T09:06:49Z","abstract_excerpt":"The Mizar Mathematical Library (MML) is a large corpus of formalised mathematical knowledge. It has been constructed over the course of many years by a large number of authors and maintainers. Yet the legal status of these efforts of the Mizar community has never been clarified. In 2010, after many years of loose deliberations, the community decided to investigate the issue of licensing the content of the MML, thereby clarifying and crystallizing the status of the texts, the text's authors, and the library's long-term maintainers. The community has settled on a copyright and license policy tha"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.3212","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-18T04:16:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o57bNkuvYfOLAJWHa7wln6Zct8rsVM6TKxdBL+Hd9G5CBDqscjwUXSpcBbVwTAlNiGlbqtjOu41OepFrmGyfAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T16:31:15.124166Z"},"content_sha256":"24d1d633ae5b384faa5debd15ba835b659547daf449b7c8346aa5c20b63ae53d","schema_version":"1.0","event_id":"sha256:24d1d633ae5b384faa5debd15ba835b659547daf449b7c8346aa5c20b63ae53d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OO47C4BOGQAI27S6W2BRU4J6GQ/bundle.json","state_url":"https://pith.science/pith/OO47C4BOGQAI27S6W2BRU4J6GQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OO47C4BOGQAI27S6W2BRU4J6GQ/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-30T16:31:15Z","links":{"resolver":"https://pith.science/pith/OO47C4BOGQAI27S6W2BRU4J6GQ","bundle":"https://pith.science/pith/OO47C4BOGQAI27S6W2BRU4J6GQ/bundle.json","state":"https://pith.science/pith/OO47C4BOGQAI27S6W2BRU4J6GQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OO47C4BOGQAI27S6W2BRU4J6GQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:OO47C4BOGQAI27S6W2BRU4J6GQ","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":"35abe395772f3b68dd55a9227cd8c4623edba55e027352580f00ac07b4ff09f8","cross_cats_sorted":["cs.MS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DL","submitted_at":"2011-07-16T09:06:49Z","title_canon_sha256":"08b3aa5b85db49d6bb3f26daf2f78cb9dfbdf3ac3ee21966fff5c71f0b501b41"},"schema_version":"1.0","source":{"id":"1107.3212","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.3212","created_at":"2026-05-18T04:16:53Z"},{"alias_kind":"arxiv_version","alias_value":"1107.3212v1","created_at":"2026-05-18T04:16:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.3212","created_at":"2026-05-18T04:16:53Z"},{"alias_kind":"pith_short_12","alias_value":"OO47C4BOGQAI","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_16","alias_value":"OO47C4BOGQAI27S6","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_8","alias_value":"OO47C4BO","created_at":"2026-05-18T12:26:37Z"}],"graph_snapshots":[{"event_id":"sha256:24d1d633ae5b384faa5debd15ba835b659547daf449b7c8346aa5c20b63ae53d","target":"graph","created_at":"2026-05-18T04:16:53Z","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 Mizar Mathematical Library (MML) is a large corpus of formalised mathematical knowledge. It has been constructed over the course of many years by a large number of authors and maintainers. Yet the legal status of these efforts of the Mizar community has never been clarified. In 2010, after many years of loose deliberations, the community decided to investigate the issue of licensing the content of the MML, thereby clarifying and crystallizing the status of the texts, the text's authors, and the library's long-term maintainers. The community has settled on a copyright and license policy tha","authors_text":"Adam Naumowicz, Jesse Alama, Josef Urban, Lionel Mamane, Michael Kohlhase, Piotr Rudnicki","cross_cats":["cs.MS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DL","submitted_at":"2011-07-16T09:06:49Z","title":"Licensing the Mizar Mathematical Library"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.3212","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:13dc023c807397671d0709a95155f72f8c6a469d29d355d78f58da1fb918cc29","target":"record","created_at":"2026-05-18T04:16:53Z","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":"35abe395772f3b68dd55a9227cd8c4623edba55e027352580f00ac07b4ff09f8","cross_cats_sorted":["cs.MS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DL","submitted_at":"2011-07-16T09:06:49Z","title_canon_sha256":"08b3aa5b85db49d6bb3f26daf2f78cb9dfbdf3ac3ee21966fff5c71f0b501b41"},"schema_version":"1.0","source":{"id":"1107.3212","kind":"arxiv","version":1}},"canonical_sha256":"73b9f1702e34008d7e5eb6831a713e340dcac3631103d81143360c6fb1471268","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"73b9f1702e34008d7e5eb6831a713e340dcac3631103d81143360c6fb1471268","first_computed_at":"2026-05-18T04:16:53.188546Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:16:53.188546Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MR/zuGHBfyfpyq9PnE5FO8aQHZ37akTAoxNOvE7Cw8vYX2lGcEGRUJs1CmFh16S4u8EtjW+YySrQs7YktHUDAA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:16:53.189062Z","signed_message":"canonical_sha256_bytes"},"source_id":"1107.3212","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:13dc023c807397671d0709a95155f72f8c6a469d29d355d78f58da1fb918cc29","sha256:24d1d633ae5b384faa5debd15ba835b659547daf449b7c8346aa5c20b63ae53d"],"state_sha256":"e9adfeeff864d215e69a25c7adfdccd7c2cd588825fb19962d4316e8bf5042ed"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dm//6LUVwz/aGQOb+2p2YApKO2YuLUkNeiMco0hQZ6oPy3sUF3xY/J459M5EQ4+rKN3mPc9WwO/YJ9Y+1b7xBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T16:31:15.126483Z","bundle_sha256":"76046ac171da3391a0530acbfd61d62e465e527a18faa55c4ddb380f96492c56"}}