{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:57UYH3DULOMR3OI67VVC3P3IXY","short_pith_number":"pith:57UYH3DU","canonical_record":{"source":{"id":"1904.01605","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-04-02T18:16:10Z","cross_cats_sorted":[],"title_canon_sha256":"21b0735bd1789610c317e1e3516ca40656dd7198c5fe791f4dd050c528bace4a","abstract_canon_sha256":"2427eea0b7bf83f0b0707d78b2b5f2c7f0f8c5a873f6f542a2d4feae78cd3c78"},"schema_version":"1.0"},"canonical_sha256":"efe983ec745b991db91efd6a2dbf68be365b4ede007584b80c7568b2ecba2aed","source":{"kind":"arxiv","id":"1904.01605","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.01605","created_at":"2026-05-17T23:49:32Z"},{"alias_kind":"arxiv_version","alias_value":"1904.01605v1","created_at":"2026-05-17T23:49:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.01605","created_at":"2026-05-17T23:49:32Z"},{"alias_kind":"pith_short_12","alias_value":"57UYH3DULOMR","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"57UYH3DULOMR3OI6","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"57UYH3DU","created_at":"2026-05-18T12:33:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:57UYH3DULOMR3OI67VVC3P3IXY","target":"record","payload":{"canonical_record":{"source":{"id":"1904.01605","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-04-02T18:16:10Z","cross_cats_sorted":[],"title_canon_sha256":"21b0735bd1789610c317e1e3516ca40656dd7198c5fe791f4dd050c528bace4a","abstract_canon_sha256":"2427eea0b7bf83f0b0707d78b2b5f2c7f0f8c5a873f6f542a2d4feae78cd3c78"},"schema_version":"1.0"},"canonical_sha256":"efe983ec745b991db91efd6a2dbf68be365b4ede007584b80c7568b2ecba2aed","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:49:32.484226Z","signature_b64":"dj1CjuROqbLBmSnxMHP7lLMgoAJWKNw9cxGQMrcAszsdZRUFqu81IRJMnXk1lujfz+h5Ts9kYzzkYRQlPxX/Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"efe983ec745b991db91efd6a2dbf68be365b4ede007584b80c7568b2ecba2aed","last_reissued_at":"2026-05-17T23:49:32.483601Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:49:32.483601Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1904.01605","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-17T23:49:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tFvuwhZoQ4LEY9Ryvd8wZIk7S0Pklm+x8oguB5GCbcvwvIcUIpHbcv82S9CG/G54CXTeiqPSTBavvOdSkIciCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T13:09:18.538289Z"},"content_sha256":"97f5091b423a7d996129471519e245493bb9b5c67aea6ae8bc4ed769c1b866cb","schema_version":"1.0","event_id":"sha256:97f5091b423a7d996129471519e245493bb9b5c67aea6ae8bc4ed769c1b866cb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:57UYH3DULOMR3OI67VVC3P3IXY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Formalization of Importance Measures using HOL Theorem Proving","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Osman Hasan, Shahid Ali Murtza, Sofiene Tahar, Waqar Ahmed","submitted_at":"2019-04-02T18:16:10Z","abstract_excerpt":"Importance measures provide a systematic approach to scrutinize critical system components, which are extremely beneficial in making important decisions, such as prioritizing reliability improvement activities, identifying weak-links and effective usage of given resources. The importance measures are then in turn used to obtain a criticality value for each system component and to rank the components in descending manner. Simulations tools are generally used to perform importance measure based analysis, but they require expensive computations and thus they are not suitable for large systems. A "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.01605","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-17T23:49:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Np8brg6xEJiQ4ciRXgvlJqWssoUYLOQmBHfg7LYn6Feoaj4TjWQv2GqmLFgm8FQhMsB+l5pxqihfFlm6i55ODw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T13:09:18.538675Z"},"content_sha256":"ae6a91a75efc89a6ecb0b22d56f7169711479f9447b2bb665a0f76c0b1e6d8a3","schema_version":"1.0","event_id":"sha256:ae6a91a75efc89a6ecb0b22d56f7169711479f9447b2bb665a0f76c0b1e6d8a3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/57UYH3DULOMR3OI67VVC3P3IXY/bundle.json","state_url":"https://pith.science/pith/57UYH3DULOMR3OI67VVC3P3IXY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/57UYH3DULOMR3OI67VVC3P3IXY/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-02T13:09:18Z","links":{"resolver":"https://pith.science/pith/57UYH3DULOMR3OI67VVC3P3IXY","bundle":"https://pith.science/pith/57UYH3DULOMR3OI67VVC3P3IXY/bundle.json","state":"https://pith.science/pith/57UYH3DULOMR3OI67VVC3P3IXY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/57UYH3DULOMR3OI67VVC3P3IXY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:57UYH3DULOMR3OI67VVC3P3IXY","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":"2427eea0b7bf83f0b0707d78b2b5f2c7f0f8c5a873f6f542a2d4feae78cd3c78","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-04-02T18:16:10Z","title_canon_sha256":"21b0735bd1789610c317e1e3516ca40656dd7198c5fe791f4dd050c528bace4a"},"schema_version":"1.0","source":{"id":"1904.01605","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.01605","created_at":"2026-05-17T23:49:32Z"},{"alias_kind":"arxiv_version","alias_value":"1904.01605v1","created_at":"2026-05-17T23:49:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.01605","created_at":"2026-05-17T23:49:32Z"},{"alias_kind":"pith_short_12","alias_value":"57UYH3DULOMR","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"57UYH3DULOMR3OI6","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"57UYH3DU","created_at":"2026-05-18T12:33:10Z"}],"graph_snapshots":[{"event_id":"sha256:ae6a91a75efc89a6ecb0b22d56f7169711479f9447b2bb665a0f76c0b1e6d8a3","target":"graph","created_at":"2026-05-17T23:49:32Z","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":"Importance measures provide a systematic approach to scrutinize critical system components, which are extremely beneficial in making important decisions, such as prioritizing reliability improvement activities, identifying weak-links and effective usage of given resources. The importance measures are then in turn used to obtain a criticality value for each system component and to rank the components in descending manner. Simulations tools are generally used to perform importance measure based analysis, but they require expensive computations and thus they are not suitable for large systems. A ","authors_text":"Osman Hasan, Shahid Ali Murtza, Sofiene Tahar, Waqar Ahmed","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-04-02T18:16:10Z","title":"On the Formalization of Importance Measures using HOL Theorem Proving"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.01605","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:97f5091b423a7d996129471519e245493bb9b5c67aea6ae8bc4ed769c1b866cb","target":"record","created_at":"2026-05-17T23:49:32Z","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":"2427eea0b7bf83f0b0707d78b2b5f2c7f0f8c5a873f6f542a2d4feae78cd3c78","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-04-02T18:16:10Z","title_canon_sha256":"21b0735bd1789610c317e1e3516ca40656dd7198c5fe791f4dd050c528bace4a"},"schema_version":"1.0","source":{"id":"1904.01605","kind":"arxiv","version":1}},"canonical_sha256":"efe983ec745b991db91efd6a2dbf68be365b4ede007584b80c7568b2ecba2aed","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"efe983ec745b991db91efd6a2dbf68be365b4ede007584b80c7568b2ecba2aed","first_computed_at":"2026-05-17T23:49:32.483601Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:49:32.483601Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dj1CjuROqbLBmSnxMHP7lLMgoAJWKNw9cxGQMrcAszsdZRUFqu81IRJMnXk1lujfz+h5Ts9kYzzkYRQlPxX/Ag==","signature_status":"signed_v1","signed_at":"2026-05-17T23:49:32.484226Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.01605","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:97f5091b423a7d996129471519e245493bb9b5c67aea6ae8bc4ed769c1b866cb","sha256:ae6a91a75efc89a6ecb0b22d56f7169711479f9447b2bb665a0f76c0b1e6d8a3"],"state_sha256":"461d8233863bccc9912e9c1a4d0f284f1dc572082d0e230d7ab5d68bc47f0408"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yoboG2p2Vn1CeJOcete9agk30cFcoTCvoiwvRRjmYBWK6Gdiiw65duhKoCz3h9ZX/J5HOi87m2afo4L6HxZSDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T13:09:18.540612Z","bundle_sha256":"316a619acaca093b4824d18b0534e67b95d9c89795aaed098809ba8caa2571d8"}}