{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:67Q2JKG732NF4YFKPQ5F5N6ZEN","short_pith_number":"pith:67Q2JKG7","schema_version":"1.0","canonical_sha256":"f7e1a4a8dfde9a5e60aa7c3a5eb7d9237c562c75e21dfae88559709fd7ea1ece","source":{"kind":"arxiv","id":"1102.5013","version":3},"attestation_state":"computed","paper":{"title":"Regular Ideal Languages and Their Boolean Combinations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Alexander Lauser, Franz Jahn, Manfred Kufleitner","submitted_at":"2011-02-24T15:16:21Z","abstract_excerpt":"We consider ideals and Boolean combinations of ideals. For the regular languages within these classes we give expressively complete automaton models. In addition, we consider general properties of regular ideals and their Boolean combinations. These properties include effective algebraic characterizations and lattice identities.\n  In the main part of this paper we consider the following deterministic one-way automaton models: unions of flip automata, weak automata, and Staiger-Wagner automata. We show that each of these models is expressively complete for regular Boolean combination of right i"},"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":"1102.5013","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-02-24T15:16:21Z","cross_cats_sorted":[],"title_canon_sha256":"16d5962bc5cee2026e3643a3c46dbe3e6939e60cc612c72766a9bb9368cd3d3e","abstract_canon_sha256":"462cb27a4e9512b72c475227d9a3d1f71d9138a2f09acbc2342213d519112931"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:22:31.194661Z","signature_b64":"7TVKXMAc/ItWMa8dOACDIthJwB1bHzsv71Dks7a8Lbc1dP+YkkFulQ0bLqH4pkoifStF4lKRjWlSSPVzapGABw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f7e1a4a8dfde9a5e60aa7c3a5eb7d9237c562c75e21dfae88559709fd7ea1ece","last_reissued_at":"2026-05-18T02:22:31.194158Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:22:31.194158Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Regular Ideal Languages and Their Boolean Combinations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Alexander Lauser, Franz Jahn, Manfred Kufleitner","submitted_at":"2011-02-24T15:16:21Z","abstract_excerpt":"We consider ideals and Boolean combinations of ideals. For the regular languages within these classes we give expressively complete automaton models. In addition, we consider general properties of regular ideals and their Boolean combinations. These properties include effective algebraic characterizations and lattice identities.\n  In the main part of this paper we consider the following deterministic one-way automaton models: unions of flip automata, weak automata, and Staiger-Wagner automata. We show that each of these models is expressively complete for regular Boolean combination of right i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1102.5013","kind":"arxiv","version":3},"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":"1102.5013","created_at":"2026-05-18T02:22:31.194225+00:00"},{"alias_kind":"arxiv_version","alias_value":"1102.5013v3","created_at":"2026-05-18T02:22:31.194225+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1102.5013","created_at":"2026-05-18T02:22:31.194225+00:00"},{"alias_kind":"pith_short_12","alias_value":"67Q2JKG732NF","created_at":"2026-05-18T12:26:22.705136+00:00"},{"alias_kind":"pith_short_16","alias_value":"67Q2JKG732NF4YFK","created_at":"2026-05-18T12:26:22.705136+00:00"},{"alias_kind":"pith_short_8","alias_value":"67Q2JKG7","created_at":"2026-05-18T12:26:22.705136+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/67Q2JKG732NF4YFKPQ5F5N6ZEN","json":"https://pith.science/pith/67Q2JKG732NF4YFKPQ5F5N6ZEN.json","graph_json":"https://pith.science/api/pith-number/67Q2JKG732NF4YFKPQ5F5N6ZEN/graph.json","events_json":"https://pith.science/api/pith-number/67Q2JKG732NF4YFKPQ5F5N6ZEN/events.json","paper":"https://pith.science/paper/67Q2JKG7"},"agent_actions":{"view_html":"https://pith.science/pith/67Q2JKG732NF4YFKPQ5F5N6ZEN","download_json":"https://pith.science/pith/67Q2JKG732NF4YFKPQ5F5N6ZEN.json","view_paper":"https://pith.science/paper/67Q2JKG7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1102.5013&json=true","fetch_graph":"https://pith.science/api/pith-number/67Q2JKG732NF4YFKPQ5F5N6ZEN/graph.json","fetch_events":"https://pith.science/api/pith-number/67Q2JKG732NF4YFKPQ5F5N6ZEN/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/67Q2JKG732NF4YFKPQ5F5N6ZEN/action/timestamp_anchor","attest_storage":"https://pith.science/pith/67Q2JKG732NF4YFKPQ5F5N6ZEN/action/storage_attestation","attest_author":"https://pith.science/pith/67Q2JKG732NF4YFKPQ5F5N6ZEN/action/author_attestation","sign_citation":"https://pith.science/pith/67Q2JKG732NF4YFKPQ5F5N6ZEN/action/citation_signature","submit_replication":"https://pith.science/pith/67Q2JKG732NF4YFKPQ5F5N6ZEN/action/replication_record"}},"created_at":"2026-05-18T02:22:31.194225+00:00","updated_at":"2026-05-18T02:22:31.194225+00:00"}