{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:WNKHHFTV2SARVS6DMZG7WY3Q3W","short_pith_number":"pith:WNKHHFTV","canonical_record":{"source":{"id":"1408.0809","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-08-04T20:29:08Z","cross_cats_sorted":[],"title_canon_sha256":"6e4cdd1e774f0c2c8609d5d5bba5f946b3023ca5e185067c133237bb0ebecb0c","abstract_canon_sha256":"3294fbc6b3527b4e56a1f671013325e3447849ca82d7d1716a152e2dee9514ab"},"schema_version":"1.0"},"canonical_sha256":"b354739675d4811acbc3664dfb6370dd84ec65418cdf24123c3dc0b9fb4be613","source":{"kind":"arxiv","id":"1408.0809","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.0809","created_at":"2026-05-18T02:45:50Z"},{"alias_kind":"arxiv_version","alias_value":"1408.0809v1","created_at":"2026-05-18T02:45:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.0809","created_at":"2026-05-18T02:45:50Z"},{"alias_kind":"pith_short_12","alias_value":"WNKHHFTV2SAR","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"WNKHHFTV2SARVS6D","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"WNKHHFTV","created_at":"2026-05-18T12:28:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:WNKHHFTV2SARVS6DMZG7WY3Q3W","target":"record","payload":{"canonical_record":{"source":{"id":"1408.0809","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-08-04T20:29:08Z","cross_cats_sorted":[],"title_canon_sha256":"6e4cdd1e774f0c2c8609d5d5bba5f946b3023ca5e185067c133237bb0ebecb0c","abstract_canon_sha256":"3294fbc6b3527b4e56a1f671013325e3447849ca82d7d1716a152e2dee9514ab"},"schema_version":"1.0"},"canonical_sha256":"b354739675d4811acbc3664dfb6370dd84ec65418cdf24123c3dc0b9fb4be613","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:45:50.360689Z","signature_b64":"LLhRS+S5v51IxsCtCxLAzU9HxZnyNCbT/3TvXYSsvonaqJWM0Fu315pfLz+IwpZIwS/z8oIH3FquTjAM2jOXCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b354739675d4811acbc3664dfb6370dd84ec65418cdf24123c3dc0b9fb4be613","last_reissued_at":"2026-05-18T02:45:50.360246Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:45:50.360246Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1408.0809","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:45:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V6XkHvDp9RBHTQLTuIEHKZFDzY6njShOqD4N0kYvJYLVX57KVgf7qu0nYD3CVew1EEO1decnWtqGa2HEzCLpCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T12:52:34.145281Z"},"content_sha256":"0d0addc8ca0abf3cbf37b3058dff141303ae415d375099f654e039b6ddb85fc9","schema_version":"1.0","event_id":"sha256:0d0addc8ca0abf3cbf37b3058dff141303ae415d375099f654e039b6ddb85fc9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:WNKHHFTV2SARVS6DMZG7WY3Q3W","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"EF+EX Forest Algebras","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Andreas Krebs, Howard Straubing","submitted_at":"2014-08-04T20:29:08Z","abstract_excerpt":"We examine languages of unranked forests definable using the temporal operators EF and EX. We characterize the languages definable in this logic, and various fragments thereof, using the syntactic forest algebras introduced by Bojanczyk and Walukiewicz. Our algebraic characterizations yield efficient algorithms for deciding when a given language of forests is definable in this logic. The proofs are based on understanding the wreath product closures of a few small algebras, for which we introduce a general ideal theory for forest algebras. This combines ideas from the work of Bojanczyk and Walu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.0809","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:45:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qY8tugOExkJpiszWtgP3bkTK+qT3FmlQ4RW9U3biwFRIk8lnbXVTJ1bmfrnDUG82qZLw4e6G8rDyWIlHQfuUCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T12:52:34.145782Z"},"content_sha256":"745dd3f93ad0cd36aedd8c041df4dd0cb3078f3bdc07f101f2f8c2c1969f82b9","schema_version":"1.0","event_id":"sha256:745dd3f93ad0cd36aedd8c041df4dd0cb3078f3bdc07f101f2f8c2c1969f82b9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WNKHHFTV2SARVS6DMZG7WY3Q3W/bundle.json","state_url":"https://pith.science/pith/WNKHHFTV2SARVS6DMZG7WY3Q3W/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WNKHHFTV2SARVS6DMZG7WY3Q3W/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-27T12:52:34Z","links":{"resolver":"https://pith.science/pith/WNKHHFTV2SARVS6DMZG7WY3Q3W","bundle":"https://pith.science/pith/WNKHHFTV2SARVS6DMZG7WY3Q3W/bundle.json","state":"https://pith.science/pith/WNKHHFTV2SARVS6DMZG7WY3Q3W/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WNKHHFTV2SARVS6DMZG7WY3Q3W/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:WNKHHFTV2SARVS6DMZG7WY3Q3W","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":"3294fbc6b3527b4e56a1f671013325e3447849ca82d7d1716a152e2dee9514ab","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-08-04T20:29:08Z","title_canon_sha256":"6e4cdd1e774f0c2c8609d5d5bba5f946b3023ca5e185067c133237bb0ebecb0c"},"schema_version":"1.0","source":{"id":"1408.0809","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.0809","created_at":"2026-05-18T02:45:50Z"},{"alias_kind":"arxiv_version","alias_value":"1408.0809v1","created_at":"2026-05-18T02:45:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.0809","created_at":"2026-05-18T02:45:50Z"},{"alias_kind":"pith_short_12","alias_value":"WNKHHFTV2SAR","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"WNKHHFTV2SARVS6D","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"WNKHHFTV","created_at":"2026-05-18T12:28:54Z"}],"graph_snapshots":[{"event_id":"sha256:745dd3f93ad0cd36aedd8c041df4dd0cb3078f3bdc07f101f2f8c2c1969f82b9","target":"graph","created_at":"2026-05-18T02:45:50Z","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 examine languages of unranked forests definable using the temporal operators EF and EX. We characterize the languages definable in this logic, and various fragments thereof, using the syntactic forest algebras introduced by Bojanczyk and Walukiewicz. Our algebraic characterizations yield efficient algorithms for deciding when a given language of forests is definable in this logic. The proofs are based on understanding the wreath product closures of a few small algebras, for which we introduce a general ideal theory for forest algebras. This combines ideas from the work of Bojanczyk and Walu","authors_text":"Andreas Krebs, Howard Straubing","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-08-04T20:29:08Z","title":"EF+EX Forest Algebras"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.0809","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:0d0addc8ca0abf3cbf37b3058dff141303ae415d375099f654e039b6ddb85fc9","target":"record","created_at":"2026-05-18T02:45:50Z","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":"3294fbc6b3527b4e56a1f671013325e3447849ca82d7d1716a152e2dee9514ab","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-08-04T20:29:08Z","title_canon_sha256":"6e4cdd1e774f0c2c8609d5d5bba5f946b3023ca5e185067c133237bb0ebecb0c"},"schema_version":"1.0","source":{"id":"1408.0809","kind":"arxiv","version":1}},"canonical_sha256":"b354739675d4811acbc3664dfb6370dd84ec65418cdf24123c3dc0b9fb4be613","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b354739675d4811acbc3664dfb6370dd84ec65418cdf24123c3dc0b9fb4be613","first_computed_at":"2026-05-18T02:45:50.360246Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:45:50.360246Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LLhRS+S5v51IxsCtCxLAzU9HxZnyNCbT/3TvXYSsvonaqJWM0Fu315pfLz+IwpZIwS/z8oIH3FquTjAM2jOXCg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:45:50.360689Z","signed_message":"canonical_sha256_bytes"},"source_id":"1408.0809","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0d0addc8ca0abf3cbf37b3058dff141303ae415d375099f654e039b6ddb85fc9","sha256:745dd3f93ad0cd36aedd8c041df4dd0cb3078f3bdc07f101f2f8c2c1969f82b9"],"state_sha256":"2d8b2063ae71bbc11daba7dd568dea7c2f5b187e2e59525dc5ba86b718f913d9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZmM3l30WGsInXcgG2gJGx2lGgMsFTcvC1CIOd6kiykTC1kcBM4gsCsWoOUwiaXo9OVGgEVXWPEBySU8rQ7voCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T12:52:34.147726Z","bundle_sha256":"c96b2ab82bf529ef9c6953a1d8996c12efe750a749e28e546e46a472ebef0ddf"}}