{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:FSG24CMCOVK6DOGBLUOVAWOLKX","short_pith_number":"pith:FSG24CMC","canonical_record":{"source":{"id":"1409.6466","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-09-23T10:00:04Z","cross_cats_sorted":[],"title_canon_sha256":"ccafb67175543a7710cd873073702d69dfaca6fbed4c93f62d790a393c889b3a","abstract_canon_sha256":"1675d45b7071809e7675156036bd9a6a07bc443f94fbad856fe7a5ba89a05012"},"schema_version":"1.0"},"canonical_sha256":"2c8dae09827555e1b8c15d1d5059cb55e18d71f354ee09001e01aada576b4ff8","source":{"kind":"arxiv","id":"1409.6466","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.6466","created_at":"2026-05-18T02:42:07Z"},{"alias_kind":"arxiv_version","alias_value":"1409.6466v1","created_at":"2026-05-18T02:42:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.6466","created_at":"2026-05-18T02:42:07Z"},{"alias_kind":"pith_short_12","alias_value":"FSG24CMCOVK6","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_16","alias_value":"FSG24CMCOVK6DOGB","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_8","alias_value":"FSG24CMC","created_at":"2026-05-18T12:28:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:FSG24CMCOVK6DOGBLUOVAWOLKX","target":"record","payload":{"canonical_record":{"source":{"id":"1409.6466","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-09-23T10:00:04Z","cross_cats_sorted":[],"title_canon_sha256":"ccafb67175543a7710cd873073702d69dfaca6fbed4c93f62d790a393c889b3a","abstract_canon_sha256":"1675d45b7071809e7675156036bd9a6a07bc443f94fbad856fe7a5ba89a05012"},"schema_version":"1.0"},"canonical_sha256":"2c8dae09827555e1b8c15d1d5059cb55e18d71f354ee09001e01aada576b4ff8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:42:07.083305Z","signature_b64":"GMbgYSeNajpGUfbyIZ8L7Uc4Uce1e1SZl8z4jVtWVVPMJp+8mmlijsLEBcwx8tE+hoqhv/wL/yd6Z5R4u2ZrAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2c8dae09827555e1b8c15d1d5059cb55e18d71f354ee09001e01aada576b4ff8","last_reissued_at":"2026-05-18T02:42:07.082786Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:42:07.082786Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1409.6466","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-18T02:42:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lOEuitemO6B6Pxxhp7KBLWQL0Gxomaug1I8KUSucB71W+mbh/L/bQKO0CSnbG6sSxi9tA7vvTF5/u+dQ+Z8/CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T22:56:54.325203Z"},"content_sha256":"53d92a6a3e7ff624c67d3e5579efc0561b1ebc81c2d69244bc6942dbb226b6ee","schema_version":"1.0","event_id":"sha256:53d92a6a3e7ff624c67d3e5579efc0561b1ebc81c2d69244bc6942dbb226b6ee"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:FSG24CMCOVK6DOGBLUOVAWOLKX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Yongming Li, Zhanyou Ma","submitted_at":"2014-09-23T10:00:04Z","abstract_excerpt":"We study generalized possibilistic computation tree logic model checking in this paper, which is an extension of possibilistic computation logic model checking introduced by Y.Li, Y.Li and Z.Ma (2014). The system is modeled by generalized possibilistic Kripke structures (GPKS, in short), and the verifying property is specified by a generalized possibilistic computation tree logic (GPoCTL, in short) formula. Based on generalized possibility measures and generalized necessity measures, the method of generalized possibilistic computation tree logic model checking is discussed, and the correspondi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.6466","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-18T02:42:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XDJjfq65WNxeKvrLHbJtFyYqIotT2kefVT9vceI2kW9kE9AzOV+teUwAV+ZIp6vBdvNoRuCuWI4rPPJeVpcfBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T22:56:54.325941Z"},"content_sha256":"b8c686da6d06e637203e74964c13914de89aed735a641c7463a9cd05c8cb1862","schema_version":"1.0","event_id":"sha256:b8c686da6d06e637203e74964c13914de89aed735a641c7463a9cd05c8cb1862"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FSG24CMCOVK6DOGBLUOVAWOLKX/bundle.json","state_url":"https://pith.science/pith/FSG24CMCOVK6DOGBLUOVAWOLKX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FSG24CMCOVK6DOGBLUOVAWOLKX/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-10T22:56:54Z","links":{"resolver":"https://pith.science/pith/FSG24CMCOVK6DOGBLUOVAWOLKX","bundle":"https://pith.science/pith/FSG24CMCOVK6DOGBLUOVAWOLKX/bundle.json","state":"https://pith.science/pith/FSG24CMCOVK6DOGBLUOVAWOLKX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FSG24CMCOVK6DOGBLUOVAWOLKX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:FSG24CMCOVK6DOGBLUOVAWOLKX","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":"1675d45b7071809e7675156036bd9a6a07bc443f94fbad856fe7a5ba89a05012","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-09-23T10:00:04Z","title_canon_sha256":"ccafb67175543a7710cd873073702d69dfaca6fbed4c93f62d790a393c889b3a"},"schema_version":"1.0","source":{"id":"1409.6466","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.6466","created_at":"2026-05-18T02:42:07Z"},{"alias_kind":"arxiv_version","alias_value":"1409.6466v1","created_at":"2026-05-18T02:42:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.6466","created_at":"2026-05-18T02:42:07Z"},{"alias_kind":"pith_short_12","alias_value":"FSG24CMCOVK6","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_16","alias_value":"FSG24CMCOVK6DOGB","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_8","alias_value":"FSG24CMC","created_at":"2026-05-18T12:28:28Z"}],"graph_snapshots":[{"event_id":"sha256:b8c686da6d06e637203e74964c13914de89aed735a641c7463a9cd05c8cb1862","target":"graph","created_at":"2026-05-18T02:42:07Z","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":"We study generalized possibilistic computation tree logic model checking in this paper, which is an extension of possibilistic computation logic model checking introduced by Y.Li, Y.Li and Z.Ma (2014). The system is modeled by generalized possibilistic Kripke structures (GPKS, in short), and the verifying property is specified by a generalized possibilistic computation tree logic (GPoCTL, in short) formula. Based on generalized possibility measures and generalized necessity measures, the method of generalized possibilistic computation tree logic model checking is discussed, and the correspondi","authors_text":"Yongming Li, Zhanyou Ma","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-09-23T10:00:04Z","title":"Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.6466","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:53d92a6a3e7ff624c67d3e5579efc0561b1ebc81c2d69244bc6942dbb226b6ee","target":"record","created_at":"2026-05-18T02:42:07Z","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":"1675d45b7071809e7675156036bd9a6a07bc443f94fbad856fe7a5ba89a05012","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-09-23T10:00:04Z","title_canon_sha256":"ccafb67175543a7710cd873073702d69dfaca6fbed4c93f62d790a393c889b3a"},"schema_version":"1.0","source":{"id":"1409.6466","kind":"arxiv","version":1}},"canonical_sha256":"2c8dae09827555e1b8c15d1d5059cb55e18d71f354ee09001e01aada576b4ff8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2c8dae09827555e1b8c15d1d5059cb55e18d71f354ee09001e01aada576b4ff8","first_computed_at":"2026-05-18T02:42:07.082786Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:42:07.082786Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GMbgYSeNajpGUfbyIZ8L7Uc4Uce1e1SZl8z4jVtWVVPMJp+8mmlijsLEBcwx8tE+hoqhv/wL/yd6Z5R4u2ZrAA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:42:07.083305Z","signed_message":"canonical_sha256_bytes"},"source_id":"1409.6466","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:53d92a6a3e7ff624c67d3e5579efc0561b1ebc81c2d69244bc6942dbb226b6ee","sha256:b8c686da6d06e637203e74964c13914de89aed735a641c7463a9cd05c8cb1862"],"state_sha256":"75d12af5a3ba211bae7a6de549b40defce87547da04b8227a768c3af35bb69f3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eDvahSsAXi+M79gM+gGHcJhcbf7pLi84GGW8Ue26CyItNRJEmwGH9sfozHwYJqDqimHAknO9x+wBv/OQZvbdDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T22:56:54.330050Z","bundle_sha256":"e091336a6510bccc9b712e5d4d4efabb4db7df9ea75d9675122bd7af369e2c04"}}