{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2010:7ZC7DZD3F7KK4JPZZXFL2MUHL4","short_pith_number":"pith:7ZC7DZD3","schema_version":"1.0","canonical_sha256":"fe45f1e47b2fd4ae25f9cdcabd32875f3049207075ad9b9c4a3a2a241a569019","source":{"kind":"arxiv","id":"1004.2426","version":1},"attestation_state":"computed","paper":{"title":"Simulation vs. Equivalence","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Andreas Maletti, Zoltan Esik","submitted_at":"2010-04-14T15:50:47Z","abstract_excerpt":"For several semirings S, two weighted finite automata with multiplicities in S are equivalent if and only if they can be connected by a chain of simulations.  Such a semiring S is called \"proper\".  It is known that the Boolean semiring, the semiring of natural numbers, the ring of integers, all finite commutative positively ordered semirings and all fields are proper.  The semiring S is Noetherian if every subsemimodule of a finitely generated S-semimodule is finitely generated.  First, it is shown that all Noetherian semirings and thus all commutative rings and all finite semirings are proper"},"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":"1004.2426","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2010-04-14T15:50:47Z","cross_cats_sorted":[],"title_canon_sha256":"a9e1634ffd7e336ba822187f8616da0fbdf95cef00f1b5916a18296f82b090cb","abstract_canon_sha256":"c1ff831094ac1ea9ada354685c284a44727255168c943bef89cc00306848a3bc"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:24:16.630871Z","signature_b64":"XyWx1eyLWJx2COqHXpYM10oAK1cGJf0Olw2ocux2xD6H4ISEoTWUMb2YoUE0YILARIJo+DZgbJ+caOZKnpSUAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fe45f1e47b2fd4ae25f9cdcabd32875f3049207075ad9b9c4a3a2a241a569019","last_reissued_at":"2026-05-18T02:24:16.630146Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:24:16.630146Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Simulation vs. Equivalence","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Andreas Maletti, Zoltan Esik","submitted_at":"2010-04-14T15:50:47Z","abstract_excerpt":"For several semirings S, two weighted finite automata with multiplicities in S are equivalent if and only if they can be connected by a chain of simulations.  Such a semiring S is called \"proper\".  It is known that the Boolean semiring, the semiring of natural numbers, the ring of integers, all finite commutative positively ordered semirings and all fields are proper.  The semiring S is Noetherian if every subsemimodule of a finitely generated S-semimodule is finitely generated.  First, it is shown that all Noetherian semirings and thus all commutative rings and all finite semirings are proper"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1004.2426","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":"1004.2426","created_at":"2026-05-18T02:24:16.630262+00:00"},{"alias_kind":"arxiv_version","alias_value":"1004.2426v1","created_at":"2026-05-18T02:24:16.630262+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1004.2426","created_at":"2026-05-18T02:24:16.630262+00:00"},{"alias_kind":"pith_short_12","alias_value":"7ZC7DZD3F7KK","created_at":"2026-05-18T12:26:05.355336+00:00"},{"alias_kind":"pith_short_16","alias_value":"7ZC7DZD3F7KK4JPZ","created_at":"2026-05-18T12:26:05.355336+00:00"},{"alias_kind":"pith_short_8","alias_value":"7ZC7DZD3","created_at":"2026-05-18T12:26:05.355336+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/7ZC7DZD3F7KK4JPZZXFL2MUHL4","json":"https://pith.science/pith/7ZC7DZD3F7KK4JPZZXFL2MUHL4.json","graph_json":"https://pith.science/api/pith-number/7ZC7DZD3F7KK4JPZZXFL2MUHL4/graph.json","events_json":"https://pith.science/api/pith-number/7ZC7DZD3F7KK4JPZZXFL2MUHL4/events.json","paper":"https://pith.science/paper/7ZC7DZD3"},"agent_actions":{"view_html":"https://pith.science/pith/7ZC7DZD3F7KK4JPZZXFL2MUHL4","download_json":"https://pith.science/pith/7ZC7DZD3F7KK4JPZZXFL2MUHL4.json","view_paper":"https://pith.science/paper/7ZC7DZD3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1004.2426&json=true","fetch_graph":"https://pith.science/api/pith-number/7ZC7DZD3F7KK4JPZZXFL2MUHL4/graph.json","fetch_events":"https://pith.science/api/pith-number/7ZC7DZD3F7KK4JPZZXFL2MUHL4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7ZC7DZD3F7KK4JPZZXFL2MUHL4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7ZC7DZD3F7KK4JPZZXFL2MUHL4/action/storage_attestation","attest_author":"https://pith.science/pith/7ZC7DZD3F7KK4JPZZXFL2MUHL4/action/author_attestation","sign_citation":"https://pith.science/pith/7ZC7DZD3F7KK4JPZZXFL2MUHL4/action/citation_signature","submit_replication":"https://pith.science/pith/7ZC7DZD3F7KK4JPZZXFL2MUHL4/action/replication_record"}},"created_at":"2026-05-18T02:24:16.630262+00:00","updated_at":"2026-05-18T02:24:16.630262+00:00"}