{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:V5BK6ZIECHPLY6DUZ2XDVNPGTN","short_pith_number":"pith:V5BK6ZIE","canonical_record":{"source":{"id":"1107.0577","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-07-04T09:50:01Z","cross_cats_sorted":[],"title_canon_sha256":"c03df8f68c787f8e7907ee50e2ab4047ddfeda81051a91d12a5d01ba4e90db31","abstract_canon_sha256":"0f4d567a21e3cb37bf4bb50835924a7a4a2af1805daf982c5e7887337aad274a"},"schema_version":"1.0"},"canonical_sha256":"af42af650411debc7874ceae3ab5e69b56c6275062fa59d8a0664a313b32fd68","source":{"kind":"arxiv","id":"1107.0577","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.0577","created_at":"2026-05-18T02:21:43Z"},{"alias_kind":"arxiv_version","alias_value":"1107.0577v1","created_at":"2026-05-18T02:21:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.0577","created_at":"2026-05-18T02:21:43Z"},{"alias_kind":"pith_short_12","alias_value":"V5BK6ZIECHPL","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_16","alias_value":"V5BK6ZIECHPLY6DU","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_8","alias_value":"V5BK6ZIE","created_at":"2026-05-18T12:26:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:V5BK6ZIECHPLY6DUZ2XDVNPGTN","target":"record","payload":{"canonical_record":{"source":{"id":"1107.0577","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-07-04T09:50:01Z","cross_cats_sorted":[],"title_canon_sha256":"c03df8f68c787f8e7907ee50e2ab4047ddfeda81051a91d12a5d01ba4e90db31","abstract_canon_sha256":"0f4d567a21e3cb37bf4bb50835924a7a4a2af1805daf982c5e7887337aad274a"},"schema_version":"1.0"},"canonical_sha256":"af42af650411debc7874ceae3ab5e69b56c6275062fa59d8a0664a313b32fd68","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:21:43.519355Z","signature_b64":"/Ul7rIfPAxRDZjRmI2syXPR2Jru6hnZoVWGCA8oEtLRPnPzwj87zx/yrtrFx0CmKbahOMD5xUuZzSXjRL01jBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"af42af650411debc7874ceae3ab5e69b56c6275062fa59d8a0664a313b32fd68","last_reissued_at":"2026-05-18T02:21:43.518763Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:21:43.518763Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1107.0577","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:21:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hOGA5baij6nRQKuY3GpmWXsMxkqVxG09+4iFAVFenNVHsN0fWAZYCukHb7mhwM5kdB+hzMZ6gGxZ0ZKSTOCOBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T11:43:42.334874Z"},"content_sha256":"e4c5004b86f36546479dd1d42460a8573645023796e1e30c1a4ff2224087d735","schema_version":"1.0","event_id":"sha256:e4c5004b86f36546479dd1d42460a8573645023796e1e30c1a4ff2224087d735"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:V5BK6ZIECHPLY6DUZ2XDVNPGTN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Parameterized Regular Expressions and their Languages","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Juan Reutter, Leonid Libkin, Pablo Barcel\\'o","submitted_at":"2011-07-04T09:50:01Z","abstract_excerpt":"We study regular expressions that use variables, or parameters, which are interpreted as alphabet letters. We consider two classes of languages denoted by such expressions: under the possibility semantics, a word belongs to the language if it is denoted by some regular expression obtained by replacing variables with letters; under the certainly semantics, the word must be denoted by every such expression. Such languages are regular, and we show that they naturally arise in several applications such as querying graph databases and program analysis. As the main contribution of the paper, we prov"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.0577","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:21:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XrgcY4nT1BkpAnpwELDbC/qJo7/VtR1dJWZxouAv6rcrOuqxS7IUtHIeZWKc8WfyVclW9Ch6/sne+aPuodn2BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T11:43:42.335214Z"},"content_sha256":"1b4d4fa7b628bfb6d7761e7a7de61a91fe67bcce0b2da544c156cb88f3a9e984","schema_version":"1.0","event_id":"sha256:1b4d4fa7b628bfb6d7761e7a7de61a91fe67bcce0b2da544c156cb88f3a9e984"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/V5BK6ZIECHPLY6DUZ2XDVNPGTN/bundle.json","state_url":"https://pith.science/pith/V5BK6ZIECHPLY6DUZ2XDVNPGTN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/V5BK6ZIECHPLY6DUZ2XDVNPGTN/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-07-04T11:43:42Z","links":{"resolver":"https://pith.science/pith/V5BK6ZIECHPLY6DUZ2XDVNPGTN","bundle":"https://pith.science/pith/V5BK6ZIECHPLY6DUZ2XDVNPGTN/bundle.json","state":"https://pith.science/pith/V5BK6ZIECHPLY6DUZ2XDVNPGTN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/V5BK6ZIECHPLY6DUZ2XDVNPGTN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:V5BK6ZIECHPLY6DUZ2XDVNPGTN","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":"0f4d567a21e3cb37bf4bb50835924a7a4a2af1805daf982c5e7887337aad274a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-07-04T09:50:01Z","title_canon_sha256":"c03df8f68c787f8e7907ee50e2ab4047ddfeda81051a91d12a5d01ba4e90db31"},"schema_version":"1.0","source":{"id":"1107.0577","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.0577","created_at":"2026-05-18T02:21:43Z"},{"alias_kind":"arxiv_version","alias_value":"1107.0577v1","created_at":"2026-05-18T02:21:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.0577","created_at":"2026-05-18T02:21:43Z"},{"alias_kind":"pith_short_12","alias_value":"V5BK6ZIECHPL","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_16","alias_value":"V5BK6ZIECHPLY6DU","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_8","alias_value":"V5BK6ZIE","created_at":"2026-05-18T12:26:42Z"}],"graph_snapshots":[{"event_id":"sha256:1b4d4fa7b628bfb6d7761e7a7de61a91fe67bcce0b2da544c156cb88f3a9e984","target":"graph","created_at":"2026-05-18T02:21:43Z","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 regular expressions that use variables, or parameters, which are interpreted as alphabet letters. We consider two classes of languages denoted by such expressions: under the possibility semantics, a word belongs to the language if it is denoted by some regular expression obtained by replacing variables with letters; under the certainly semantics, the word must be denoted by every such expression. Such languages are regular, and we show that they naturally arise in several applications such as querying graph databases and program analysis. As the main contribution of the paper, we prov","authors_text":"Juan Reutter, Leonid Libkin, Pablo Barcel\\'o","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-07-04T09:50:01Z","title":"Parameterized Regular Expressions and their Languages"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.0577","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:e4c5004b86f36546479dd1d42460a8573645023796e1e30c1a4ff2224087d735","target":"record","created_at":"2026-05-18T02:21:43Z","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":"0f4d567a21e3cb37bf4bb50835924a7a4a2af1805daf982c5e7887337aad274a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-07-04T09:50:01Z","title_canon_sha256":"c03df8f68c787f8e7907ee50e2ab4047ddfeda81051a91d12a5d01ba4e90db31"},"schema_version":"1.0","source":{"id":"1107.0577","kind":"arxiv","version":1}},"canonical_sha256":"af42af650411debc7874ceae3ab5e69b56c6275062fa59d8a0664a313b32fd68","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"af42af650411debc7874ceae3ab5e69b56c6275062fa59d8a0664a313b32fd68","first_computed_at":"2026-05-18T02:21:43.518763Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:21:43.518763Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/Ul7rIfPAxRDZjRmI2syXPR2Jru6hnZoVWGCA8oEtLRPnPzwj87zx/yrtrFx0CmKbahOMD5xUuZzSXjRL01jBw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:21:43.519355Z","signed_message":"canonical_sha256_bytes"},"source_id":"1107.0577","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e4c5004b86f36546479dd1d42460a8573645023796e1e30c1a4ff2224087d735","sha256:1b4d4fa7b628bfb6d7761e7a7de61a91fe67bcce0b2da544c156cb88f3a9e984"],"state_sha256":"0539e2dc0e926b08a672cb629d1bb3431334c8a5c1715c098e3cab4b2b2b435c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vqncrlUHGlq827Sj88kqK4hN9Vb3mTNJGHgT8IjgqauudMJP0z8D0Z1I7yQC1zvPPCcPKnsPA2FpezsPAgs1Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-04T11:43:42.337079Z","bundle_sha256":"583675b683d9d71627e8b4aefb7b2d7d0f4fee66e64b09018e3d78bd174f14ac"}}