{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:UNP34LXKGWTLJB7KWJW3YUI7WJ","short_pith_number":"pith:UNP34LXK","canonical_record":{"source":{"id":"1102.5452","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-02-26T21:37:51Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"1cd509b354465bbf695775040728a766586d57dc95deb47108a14f3c7f1df215","abstract_canon_sha256":"3724694267977a2832a0acbde0e83c6964d55ce417544339718ccad8c61aea22"},"schema_version":"1.0"},"canonical_sha256":"a35fbe2eea35a6b487eab26dbc511fb26d9b78030cabae01ec349f9ceb99953d","source":{"kind":"arxiv","id":"1102.5452","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1102.5452","created_at":"2026-05-18T04:22:41Z"},{"alias_kind":"arxiv_version","alias_value":"1102.5452v2","created_at":"2026-05-18T04:22:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1102.5452","created_at":"2026-05-18T04:22:41Z"},{"alias_kind":"pith_short_12","alias_value":"UNP34LXKGWTL","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_16","alias_value":"UNP34LXKGWTLJB7K","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_8","alias_value":"UNP34LXK","created_at":"2026-05-18T12:26:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:UNP34LXKGWTLJB7KWJW3YUI7WJ","target":"record","payload":{"canonical_record":{"source":{"id":"1102.5452","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-02-26T21:37:51Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"1cd509b354465bbf695775040728a766586d57dc95deb47108a14f3c7f1df215","abstract_canon_sha256":"3724694267977a2832a0acbde0e83c6964d55ce417544339718ccad8c61aea22"},"schema_version":"1.0"},"canonical_sha256":"a35fbe2eea35a6b487eab26dbc511fb26d9b78030cabae01ec349f9ceb99953d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:22:41.144307Z","signature_b64":"sE/bsL+BXKngdXW4JyUs7DsIKiIketUlAnJomSDWUyYdQ507L52ssL8upxWjj3Sj3Jj9ewK+9tW14vCj6t6mDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a35fbe2eea35a6b487eab26dbc511fb26d9b78030cabae01ec349f9ceb99953d","last_reissued_at":"2026-05-18T04:22:41.143617Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:22:41.143617Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1102.5452","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:22:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qKbjfjmssswFP5iUvgiDNZBKKYdcJWlMOg8bJ9umrjOdQfudpKcfBYuM+JXMQpvE4wqP8m7FTMUiXpGUowyoAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T09:44:23.338774Z"},"content_sha256":"65e973e38c973f7dc0d1da97e0827b3ff9f06c5875944abb910ace737f9c2e61","schema_version":"1.0","event_id":"sha256:65e973e38c973f7dc0d1da97e0827b3ff9f06c5875944abb910ace737f9c2e61"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:UNP34LXKGWTLJB7KWJW3YUI7WJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Bisimulations for fuzzy automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.FL","authors_text":"Jelena Ignjatovi\\'c, Milan Ba\\v{s}i\\'c, Miroslav \\'Ciri\\'c, Nada Damljanovi\\'c","submitted_at":"2011-02-26T21:37:51Z","abstract_excerpt":"Bisimulations have been widely used in many areas of computer science to model equivalence between various systems, and to reduce the number of states of these systems, whereas uniform fuzzy relations have recently been introduced as a means to model the fuzzy equivalence between elements of two possible different sets. Here we use the conjunction of these two concepts as a powerful tool in the study of equivalence between fuzzy automata. We prove that a uniform fuzzy relation between fuzzy automata $\\cal A$ and $\\cal B$ is a forward bisimulation if and only if its kernel and co-kernel are for"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1102.5452","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:22:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mJd5vaQ9F/JVPnc0JrvDDJe9FNNYBzRN0Q/1u65ydMbEgLJ8xpARzzg5hNTNYXEYEV7AblYmUt9g0EVrATBdCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T09:44:23.339117Z"},"content_sha256":"7d1b2b770da035272153a58e1f5a5b3a810f5e68e693385b960925218c8c21e4","schema_version":"1.0","event_id":"sha256:7d1b2b770da035272153a58e1f5a5b3a810f5e68e693385b960925218c8c21e4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UNP34LXKGWTLJB7KWJW3YUI7WJ/bundle.json","state_url":"https://pith.science/pith/UNP34LXKGWTLJB7KWJW3YUI7WJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UNP34LXKGWTLJB7KWJW3YUI7WJ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-11T09:44:23Z","links":{"resolver":"https://pith.science/pith/UNP34LXKGWTLJB7KWJW3YUI7WJ","bundle":"https://pith.science/pith/UNP34LXKGWTLJB7KWJW3YUI7WJ/bundle.json","state":"https://pith.science/pith/UNP34LXKGWTLJB7KWJW3YUI7WJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UNP34LXKGWTLJB7KWJW3YUI7WJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:UNP34LXKGWTLJB7KWJW3YUI7WJ","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"3724694267977a2832a0acbde0e83c6964d55ce417544339718ccad8c61aea22","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-02-26T21:37:51Z","title_canon_sha256":"1cd509b354465bbf695775040728a766586d57dc95deb47108a14f3c7f1df215"},"schema_version":"1.0","source":{"id":"1102.5452","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1102.5452","created_at":"2026-05-18T04:22:41Z"},{"alias_kind":"arxiv_version","alias_value":"1102.5452v2","created_at":"2026-05-18T04:22:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1102.5452","created_at":"2026-05-18T04:22:41Z"},{"alias_kind":"pith_short_12","alias_value":"UNP34LXKGWTL","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_16","alias_value":"UNP34LXKGWTLJB7K","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_8","alias_value":"UNP34LXK","created_at":"2026-05-18T12:26:42Z"}],"graph_snapshots":[{"event_id":"sha256:7d1b2b770da035272153a58e1f5a5b3a810f5e68e693385b960925218c8c21e4","target":"graph","created_at":"2026-05-18T04:22:41Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Bisimulations have been widely used in many areas of computer science to model equivalence between various systems, and to reduce the number of states of these systems, whereas uniform fuzzy relations have recently been introduced as a means to model the fuzzy equivalence between elements of two possible different sets. Here we use the conjunction of these two concepts as a powerful tool in the study of equivalence between fuzzy automata. We prove that a uniform fuzzy relation between fuzzy automata $\\cal A$ and $\\cal B$ is a forward bisimulation if and only if its kernel and co-kernel are for","authors_text":"Jelena Ignjatovi\\'c, Milan Ba\\v{s}i\\'c, Miroslav \\'Ciri\\'c, Nada Damljanovi\\'c","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-02-26T21:37:51Z","title":"Bisimulations for fuzzy automata"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1102.5452","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:65e973e38c973f7dc0d1da97e0827b3ff9f06c5875944abb910ace737f9c2e61","target":"record","created_at":"2026-05-18T04:22:41Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"3724694267977a2832a0acbde0e83c6964d55ce417544339718ccad8c61aea22","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-02-26T21:37:51Z","title_canon_sha256":"1cd509b354465bbf695775040728a766586d57dc95deb47108a14f3c7f1df215"},"schema_version":"1.0","source":{"id":"1102.5452","kind":"arxiv","version":2}},"canonical_sha256":"a35fbe2eea35a6b487eab26dbc511fb26d9b78030cabae01ec349f9ceb99953d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a35fbe2eea35a6b487eab26dbc511fb26d9b78030cabae01ec349f9ceb99953d","first_computed_at":"2026-05-18T04:22:41.143617Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:22:41.143617Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sE/bsL+BXKngdXW4JyUs7DsIKiIketUlAnJomSDWUyYdQ507L52ssL8upxWjj3Sj3Jj9ewK+9tW14vCj6t6mDg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:22:41.144307Z","signed_message":"canonical_sha256_bytes"},"source_id":"1102.5452","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:65e973e38c973f7dc0d1da97e0827b3ff9f06c5875944abb910ace737f9c2e61","sha256:7d1b2b770da035272153a58e1f5a5b3a810f5e68e693385b960925218c8c21e4"],"state_sha256":"a8c2892b7e8f4f5602812dd7aab1ac2055c3d6ef3e95eb39961afb51cc36efef"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Qqpg2miMuGFl72au2HItJIwmpdC8mkSOtZTDYckHigHqhUbzRjwZKdlDDvX5xgpnH8Iz+5KADk/rBMFY9SlcAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T09:44:23.341034Z","bundle_sha256":"9313dc5753602b5a438c0ca37655c1a9ced1ca3c12b4e48dee1a3c4c64df3ebb"}}