{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:DTSZG2C6JTVD4MSV2GO6GV4LIJ","short_pith_number":"pith:DTSZG2C6","schema_version":"1.0","canonical_sha256":"1ce593685e4cea3e3255d19de3578b4266dabb27b6d6ef29953fbc953d781872","source":{"kind":"arxiv","id":"1712.08455","version":2},"attestation_state":"computed","paper":{"title":"On Varieties of Ordered Automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Libor Pol\\'ak, Ond\\v{r}ej Kl\\'ima","submitted_at":"2017-12-22T14:13:02Z","abstract_excerpt":"The Eilenberg correspondence relates varieties of regular languages to pseudovarieties of finite monoids. Various modifications of this correspondence have been found with more general classes of regular languages on one hand and classes of more complex algebraic structures on the other hand. It is also possible to consider classes of automata instead of algebraic structures as a natural counterpart of classes of languages. Here we deal with the correspondence relating positive $\\mathcal C$-varieties of languages to positive $\\mathcal C$-varieties of ordered automata and we present various spe"},"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":"1712.08455","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-12-22T14:13:02Z","cross_cats_sorted":[],"title_canon_sha256":"292ad3b07175752e48b6503b309192d8f6ec4b26c53efa98b5ef8530717fe9a3","abstract_canon_sha256":"8bf61e250760be3e74dc41e9a482e3f4060b0c751708ac9b07171f9595dfd5d7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:51:00.017125Z","signature_b64":"+lA417TAgG+WUcIp4ZVY2otnjeX8LL+pVykL+6qE0spezn3u7vtwz6J44+Rc6H5USuEnLn9kQo001K9BzsKQBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1ce593685e4cea3e3255d19de3578b4266dabb27b6d6ef29953fbc953d781872","last_reissued_at":"2026-05-17T23:51:00.016636Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:51:00.016636Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On Varieties of Ordered Automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Libor Pol\\'ak, Ond\\v{r}ej Kl\\'ima","submitted_at":"2017-12-22T14:13:02Z","abstract_excerpt":"The Eilenberg correspondence relates varieties of regular languages to pseudovarieties of finite monoids. Various modifications of this correspondence have been found with more general classes of regular languages on one hand and classes of more complex algebraic structures on the other hand. It is also possible to consider classes of automata instead of algebraic structures as a natural counterpart of classes of languages. Here we deal with the correspondence relating positive $\\mathcal C$-varieties of languages to positive $\\mathcal C$-varieties of ordered automata and we present various spe"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.08455","kind":"arxiv","version":2},"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":"1712.08455","created_at":"2026-05-17T23:51:00.016710+00:00"},{"alias_kind":"arxiv_version","alias_value":"1712.08455v2","created_at":"2026-05-17T23:51:00.016710+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.08455","created_at":"2026-05-17T23:51:00.016710+00:00"},{"alias_kind":"pith_short_12","alias_value":"DTSZG2C6JTVD","created_at":"2026-05-18T12:31:12.930513+00:00"},{"alias_kind":"pith_short_16","alias_value":"DTSZG2C6JTVD4MSV","created_at":"2026-05-18T12:31:12.930513+00:00"},{"alias_kind":"pith_short_8","alias_value":"DTSZG2C6","created_at":"2026-05-18T12:31:12.930513+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/DTSZG2C6JTVD4MSV2GO6GV4LIJ","json":"https://pith.science/pith/DTSZG2C6JTVD4MSV2GO6GV4LIJ.json","graph_json":"https://pith.science/api/pith-number/DTSZG2C6JTVD4MSV2GO6GV4LIJ/graph.json","events_json":"https://pith.science/api/pith-number/DTSZG2C6JTVD4MSV2GO6GV4LIJ/events.json","paper":"https://pith.science/paper/DTSZG2C6"},"agent_actions":{"view_html":"https://pith.science/pith/DTSZG2C6JTVD4MSV2GO6GV4LIJ","download_json":"https://pith.science/pith/DTSZG2C6JTVD4MSV2GO6GV4LIJ.json","view_paper":"https://pith.science/paper/DTSZG2C6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1712.08455&json=true","fetch_graph":"https://pith.science/api/pith-number/DTSZG2C6JTVD4MSV2GO6GV4LIJ/graph.json","fetch_events":"https://pith.science/api/pith-number/DTSZG2C6JTVD4MSV2GO6GV4LIJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DTSZG2C6JTVD4MSV2GO6GV4LIJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DTSZG2C6JTVD4MSV2GO6GV4LIJ/action/storage_attestation","attest_author":"https://pith.science/pith/DTSZG2C6JTVD4MSV2GO6GV4LIJ/action/author_attestation","sign_citation":"https://pith.science/pith/DTSZG2C6JTVD4MSV2GO6GV4LIJ/action/citation_signature","submit_replication":"https://pith.science/pith/DTSZG2C6JTVD4MSV2GO6GV4LIJ/action/replication_record"}},"created_at":"2026-05-17T23:51:00.016710+00:00","updated_at":"2026-05-17T23:51:00.016710+00:00"}