{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:AAWGNF5E6F5Z4VFPRVVWTUZ3VI","short_pith_number":"pith:AAWGNF5E","schema_version":"1.0","canonical_sha256":"002c6697a4f17b9e54af8d6b69d33baa344a29ce8db1b64056e8a414ebc89473","source":{"kind":"arxiv","id":"1410.3227","version":1},"attestation_state":"computed","paper":{"title":"Symbolic Solving of Extended Regular Expression Inequalities","license":"http://creativecommons.org/licenses/by/3.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Matthias Keil, Peter Thiemann","submitted_at":"2014-10-13T08:52:11Z","abstract_excerpt":"This paper presents a new solution to the containment problem for extended regular expressions that extends basic regular expressions with intersection and complement operators and consider regular expressions on infinite alphabets based on potentially infinite character sets. Standard approaches deciding the containment do not take extended operators or character sets into account. The algorithm avoids the translation to an expression-equivalent automaton and provides a purely symbolic term rewriting systems for solving regular expressions inequalities.\n  We give a new symbolic decision proce"},"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":"1410.3227","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.FL","submitted_at":"2014-10-13T08:52:11Z","cross_cats_sorted":[],"title_canon_sha256":"170344ca3eeee96925e8f9ec0a99a96720c3744fb652ec9b009adf42ccf5f248","abstract_canon_sha256":"3a322839e0694d880588e12052da39567fee283f2b8b9bbbf9e058b5760febf9"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:40:11.785117Z","signature_b64":"pZwPxRsgl1csidlG9Hgi7RVk0pOqO7UneESI8s9IC+oo+LuonA6aMnb6HZl42KzTbLiDEyU8SmAtzav5KUSIAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"002c6697a4f17b9e54af8d6b69d33baa344a29ce8db1b64056e8a414ebc89473","last_reissued_at":"2026-05-18T02:40:11.784527Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:40:11.784527Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Symbolic Solving of Extended Regular Expression Inequalities","license":"http://creativecommons.org/licenses/by/3.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Matthias Keil, Peter Thiemann","submitted_at":"2014-10-13T08:52:11Z","abstract_excerpt":"This paper presents a new solution to the containment problem for extended regular expressions that extends basic regular expressions with intersection and complement operators and consider regular expressions on infinite alphabets based on potentially infinite character sets. Standard approaches deciding the containment do not take extended operators or character sets into account. The algorithm avoids the translation to an expression-equivalent automaton and provides a purely symbolic term rewriting systems for solving regular expressions inequalities.\n  We give a new symbolic decision proce"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.3227","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":"1410.3227","created_at":"2026-05-18T02:40:11.784616+00:00"},{"alias_kind":"arxiv_version","alias_value":"1410.3227v1","created_at":"2026-05-18T02:40:11.784616+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.3227","created_at":"2026-05-18T02:40:11.784616+00:00"},{"alias_kind":"pith_short_12","alias_value":"AAWGNF5E6F5Z","created_at":"2026-05-18T12:28:19.803747+00:00"},{"alias_kind":"pith_short_16","alias_value":"AAWGNF5E6F5Z4VFP","created_at":"2026-05-18T12:28:19.803747+00:00"},{"alias_kind":"pith_short_8","alias_value":"AAWGNF5E","created_at":"2026-05-18T12:28:19.803747+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/AAWGNF5E6F5Z4VFPRVVWTUZ3VI","json":"https://pith.science/pith/AAWGNF5E6F5Z4VFPRVVWTUZ3VI.json","graph_json":"https://pith.science/api/pith-number/AAWGNF5E6F5Z4VFPRVVWTUZ3VI/graph.json","events_json":"https://pith.science/api/pith-number/AAWGNF5E6F5Z4VFPRVVWTUZ3VI/events.json","paper":"https://pith.science/paper/AAWGNF5E"},"agent_actions":{"view_html":"https://pith.science/pith/AAWGNF5E6F5Z4VFPRVVWTUZ3VI","download_json":"https://pith.science/pith/AAWGNF5E6F5Z4VFPRVVWTUZ3VI.json","view_paper":"https://pith.science/paper/AAWGNF5E","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1410.3227&json=true","fetch_graph":"https://pith.science/api/pith-number/AAWGNF5E6F5Z4VFPRVVWTUZ3VI/graph.json","fetch_events":"https://pith.science/api/pith-number/AAWGNF5E6F5Z4VFPRVVWTUZ3VI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AAWGNF5E6F5Z4VFPRVVWTUZ3VI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AAWGNF5E6F5Z4VFPRVVWTUZ3VI/action/storage_attestation","attest_author":"https://pith.science/pith/AAWGNF5E6F5Z4VFPRVVWTUZ3VI/action/author_attestation","sign_citation":"https://pith.science/pith/AAWGNF5E6F5Z4VFPRVVWTUZ3VI/action/citation_signature","submit_replication":"https://pith.science/pith/AAWGNF5E6F5Z4VFPRVVWTUZ3VI/action/replication_record"}},"created_at":"2026-05-18T02:40:11.784616+00:00","updated_at":"2026-05-18T02:40:11.784616+00:00"}