{"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"}