{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:V5BK6ZIECHPLY6DUZ2XDVNPGTN","short_pith_number":"pith:V5BK6ZIE","schema_version":"1.0","canonical_sha256":"af42af650411debc7874ceae3ab5e69b56c6275062fa59d8a0664a313b32fd68","source":{"kind":"arxiv","id":"1107.0577","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1107.0577","created_at":"2026-05-18T02:21:43.518843+00:00"},{"alias_kind":"arxiv_version","alias_value":"1107.0577v1","created_at":"2026-05-18T02:21:43.518843+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.0577","created_at":"2026-05-18T02:21:43.518843+00:00"},{"alias_kind":"pith_short_12","alias_value":"V5BK6ZIECHPL","created_at":"2026-05-18T12:26:42.757692+00:00"},{"alias_kind":"pith_short_16","alias_value":"V5BK6ZIECHPLY6DU","created_at":"2026-05-18T12:26:42.757692+00:00"},{"alias_kind":"pith_short_8","alias_value":"V5BK6ZIE","created_at":"2026-05-18T12:26:42.757692+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/V5BK6ZIECHPLY6DUZ2XDVNPGTN","json":"https://pith.science/pith/V5BK6ZIECHPLY6DUZ2XDVNPGTN.json","graph_json":"https://pith.science/api/pith-number/V5BK6ZIECHPLY6DUZ2XDVNPGTN/graph.json","events_json":"https://pith.science/api/pith-number/V5BK6ZIECHPLY6DUZ2XDVNPGTN/events.json","paper":"https://pith.science/paper/V5BK6ZIE"},"agent_actions":{"view_html":"https://pith.science/pith/V5BK6ZIECHPLY6DUZ2XDVNPGTN","download_json":"https://pith.science/pith/V5BK6ZIECHPLY6DUZ2XDVNPGTN.json","view_paper":"https://pith.science/paper/V5BK6ZIE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1107.0577&json=true","fetch_graph":"https://pith.science/api/pith-number/V5BK6ZIECHPLY6DUZ2XDVNPGTN/graph.json","fetch_events":"https://pith.science/api/pith-number/V5BK6ZIECHPLY6DUZ2XDVNPGTN/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/V5BK6ZIECHPLY6DUZ2XDVNPGTN/action/timestamp_anchor","attest_storage":"https://pith.science/pith/V5BK6ZIECHPLY6DUZ2XDVNPGTN/action/storage_attestation","attest_author":"https://pith.science/pith/V5BK6ZIECHPLY6DUZ2XDVNPGTN/action/author_attestation","sign_citation":"https://pith.science/pith/V5BK6ZIECHPLY6DUZ2XDVNPGTN/action/citation_signature","submit_replication":"https://pith.science/pith/V5BK6ZIECHPLY6DUZ2XDVNPGTN/action/replication_record"}},"created_at":"2026-05-18T02:21:43.518843+00:00","updated_at":"2026-05-18T02:21:43.518843+00:00"}