{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:AOKR4C7FVZJEPZ7W7EZEF7W7MV","short_pith_number":"pith:AOKR4C7F","canonical_record":{"source":{"id":"1106.1239","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-06-07T01:06:54Z","cross_cats_sorted":[],"title_canon_sha256":"2c3feb0932d779cb72d9ae1eb7d91f3c2a11775e44a231d68b1f4fb15c99e104","abstract_canon_sha256":"7bbb6f54b0616c78f4db2d86157a61110d5597f38e7cb30f1990478b38cdf512"},"schema_version":"1.0"},"canonical_sha256":"03951e0be5ae5247e7f6f93242fedf657729c7d9eee8ecc3f4b15a89fcf01972","source":{"kind":"arxiv","id":"1106.1239","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1106.1239","created_at":"2026-05-18T04:20:24Z"},{"alias_kind":"arxiv_version","alias_value":"1106.1239v1","created_at":"2026-05-18T04:20:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1106.1239","created_at":"2026-05-18T04:20:24Z"},{"alias_kind":"pith_short_12","alias_value":"AOKR4C7FVZJE","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_16","alias_value":"AOKR4C7FVZJEPZ7W","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_8","alias_value":"AOKR4C7F","created_at":"2026-05-18T12:26:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:AOKR4C7FVZJEPZ7W7EZEF7W7MV","target":"record","payload":{"canonical_record":{"source":{"id":"1106.1239","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-06-07T01:06:54Z","cross_cats_sorted":[],"title_canon_sha256":"2c3feb0932d779cb72d9ae1eb7d91f3c2a11775e44a231d68b1f4fb15c99e104","abstract_canon_sha256":"7bbb6f54b0616c78f4db2d86157a61110d5597f38e7cb30f1990478b38cdf512"},"schema_version":"1.0"},"canonical_sha256":"03951e0be5ae5247e7f6f93242fedf657729c7d9eee8ecc3f4b15a89fcf01972","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:20:24.200906Z","signature_b64":"Hi/oq3z/+KuO3V9MAyJUtDLQO98e/wi7+3utAbujHfFgQotsh4o/uv4hIIrl6xUYylbs0iR9W8ChwFjt3HbyDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"03951e0be5ae5247e7f6f93242fedf657729c7d9eee8ecc3f4b15a89fcf01972","last_reissued_at":"2026-05-18T04:20:24.200205Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:20:24.200205Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1106.1239","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:20:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yu0dyaxsUv3pu+n8sJfzSb8fafqQT30d4F+EnmGIZS67GsgnXHEXzn2Cd8dppQzd/2IdAKyH8ttwdJQ1Q8x1Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T01:49:08.579550Z"},"content_sha256":"7fe8072de14a5eaeb9ec96be008e78db3b2ac7c0bb6735f7232b8e4f9d8f69c1","schema_version":"1.0","event_id":"sha256:7fe8072de14a5eaeb9ec96be008e78db3b2ac7c0bb6735f7232b8e4f9d8f69c1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:AOKR4C7FVZJEPZ7W7EZEF7W7MV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"New results on pushdown module checking with imperfect information","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Laura Bozzelli (UPM, Madrid, Spain)","submitted_at":"2011-06-07T01:06:54Z","abstract_excerpt":"Model checking of open pushdown systems (OPD) w.r.t. standard branching temporal logics (pushdown module checking or PMC) has been recently investigated in the literature, both in the context of environments with perfect and imperfect information about the system (in the last case, the environment has only a partial view of the system's control states and stack content). For standard CTL, PMC with imperfect information is known to be undecidable. If the stack content is assumed to be visible, then the problem is decidable and 2EXPTIME-complete (matching the complexity of PMC with perfect infor"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1106.1239","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:20:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Mk83V6Gl7N521/bEEnS4BP+lFNtIAPMuiU61rKWgSlqct+LcVvUx27k6PF6CK9jtsedQY05EpwvIcmucJ6KtAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T01:49:08.579902Z"},"content_sha256":"a028d6c05d26ce0cee4900a787bbd7988304e1e7d27742c2ca82df4596d46da1","schema_version":"1.0","event_id":"sha256:a028d6c05d26ce0cee4900a787bbd7988304e1e7d27742c2ca82df4596d46da1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AOKR4C7FVZJEPZ7W7EZEF7W7MV/bundle.json","state_url":"https://pith.science/pith/AOKR4C7FVZJEPZ7W7EZEF7W7MV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AOKR4C7FVZJEPZ7W7EZEF7W7MV/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-02T01:49:08Z","links":{"resolver":"https://pith.science/pith/AOKR4C7FVZJEPZ7W7EZEF7W7MV","bundle":"https://pith.science/pith/AOKR4C7FVZJEPZ7W7EZEF7W7MV/bundle.json","state":"https://pith.science/pith/AOKR4C7FVZJEPZ7W7EZEF7W7MV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AOKR4C7FVZJEPZ7W7EZEF7W7MV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:AOKR4C7FVZJEPZ7W7EZEF7W7MV","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":"7bbb6f54b0616c78f4db2d86157a61110d5597f38e7cb30f1990478b38cdf512","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-06-07T01:06:54Z","title_canon_sha256":"2c3feb0932d779cb72d9ae1eb7d91f3c2a11775e44a231d68b1f4fb15c99e104"},"schema_version":"1.0","source":{"id":"1106.1239","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1106.1239","created_at":"2026-05-18T04:20:24Z"},{"alias_kind":"arxiv_version","alias_value":"1106.1239v1","created_at":"2026-05-18T04:20:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1106.1239","created_at":"2026-05-18T04:20:24Z"},{"alias_kind":"pith_short_12","alias_value":"AOKR4C7FVZJE","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_16","alias_value":"AOKR4C7FVZJEPZ7W","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_8","alias_value":"AOKR4C7F","created_at":"2026-05-18T12:26:24Z"}],"graph_snapshots":[{"event_id":"sha256:a028d6c05d26ce0cee4900a787bbd7988304e1e7d27742c2ca82df4596d46da1","target":"graph","created_at":"2026-05-18T04:20:24Z","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":"Model checking of open pushdown systems (OPD) w.r.t. standard branching temporal logics (pushdown module checking or PMC) has been recently investigated in the literature, both in the context of environments with perfect and imperfect information about the system (in the last case, the environment has only a partial view of the system's control states and stack content). For standard CTL, PMC with imperfect information is known to be undecidable. If the stack content is assumed to be visible, then the problem is decidable and 2EXPTIME-complete (matching the complexity of PMC with perfect infor","authors_text":"Laura Bozzelli (UPM, Madrid, Spain)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-06-07T01:06:54Z","title":"New results on pushdown module checking with imperfect information"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1106.1239","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:7fe8072de14a5eaeb9ec96be008e78db3b2ac7c0bb6735f7232b8e4f9d8f69c1","target":"record","created_at":"2026-05-18T04:20:24Z","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":"7bbb6f54b0616c78f4db2d86157a61110d5597f38e7cb30f1990478b38cdf512","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-06-07T01:06:54Z","title_canon_sha256":"2c3feb0932d779cb72d9ae1eb7d91f3c2a11775e44a231d68b1f4fb15c99e104"},"schema_version":"1.0","source":{"id":"1106.1239","kind":"arxiv","version":1}},"canonical_sha256":"03951e0be5ae5247e7f6f93242fedf657729c7d9eee8ecc3f4b15a89fcf01972","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"03951e0be5ae5247e7f6f93242fedf657729c7d9eee8ecc3f4b15a89fcf01972","first_computed_at":"2026-05-18T04:20:24.200205Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:20:24.200205Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Hi/oq3z/+KuO3V9MAyJUtDLQO98e/wi7+3utAbujHfFgQotsh4o/uv4hIIrl6xUYylbs0iR9W8ChwFjt3HbyDg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:20:24.200906Z","signed_message":"canonical_sha256_bytes"},"source_id":"1106.1239","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7fe8072de14a5eaeb9ec96be008e78db3b2ac7c0bb6735f7232b8e4f9d8f69c1","sha256:a028d6c05d26ce0cee4900a787bbd7988304e1e7d27742c2ca82df4596d46da1"],"state_sha256":"7b357e888d25359eb45359e8a480b9bf18972cc0e25b8c4ec9ab34faee223921"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"E5xfpWlqEfZHS8L081EpYEZebwnUpg548nNu0jjFMG4jMSlp3p6JxjUBK/p+Z5g7qfVbEc8q8po/dIW6n67tBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T01:49:08.581919Z","bundle_sha256":"cab875f7e773ea9b5a09d9dde8c12064c20e3edd99b5ba39401d28f5b2bd6350"}}