{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:NULMKTREYHJM7PF76TCUG2JB4P","short_pith_number":"pith:NULMKTRE","canonical_record":{"source":{"id":"1609.07065","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-09-22T16:56:22Z","cross_cats_sorted":[],"title_canon_sha256":"ece17be98ee021485c527df62a3e4aa6daf4b8d04b090892a279e4d4721bf66c","abstract_canon_sha256":"f858fb190dad55a4ad1ef48a4adf4a9bfc72eec7aef5461747fe171554cfd50e"},"schema_version":"1.0"},"canonical_sha256":"6d16c54e24c1d2cfbcbff4c5436921e3ca653d88331d812f72206f079a3de164","source":{"kind":"arxiv","id":"1609.07065","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.07065","created_at":"2026-05-17T23:51:21Z"},{"alias_kind":"arxiv_version","alias_value":"1609.07065v2","created_at":"2026-05-17T23:51:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.07065","created_at":"2026-05-17T23:51:21Z"},{"alias_kind":"pith_short_12","alias_value":"NULMKTREYHJM","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_16","alias_value":"NULMKTREYHJM7PF7","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_8","alias_value":"NULMKTRE","created_at":"2026-05-18T12:30:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:NULMKTREYHJM7PF76TCUG2JB4P","target":"record","payload":{"canonical_record":{"source":{"id":"1609.07065","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-09-22T16:56:22Z","cross_cats_sorted":[],"title_canon_sha256":"ece17be98ee021485c527df62a3e4aa6daf4b8d04b090892a279e4d4721bf66c","abstract_canon_sha256":"f858fb190dad55a4ad1ef48a4adf4a9bfc72eec7aef5461747fe171554cfd50e"},"schema_version":"1.0"},"canonical_sha256":"6d16c54e24c1d2cfbcbff4c5436921e3ca653d88331d812f72206f079a3de164","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:51:21.862657Z","signature_b64":"AYIBJwrlaVyfzW1ChwomC7VgqIgluAcoLbJmSjOVKaM8UNm7L8bMmHq8Qzqvw7axKmaA9bHJd6XncG0Qchf8BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6d16c54e24c1d2cfbcbff4c5436921e3ca653d88331d812f72206f079a3de164","last_reissued_at":"2026-05-17T23:51:21.862149Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:51:21.862149Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1609.07065","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-17T23:51:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VVZmeSo5RGDIgsoa5fpC5WzdUqO6pX5f78CqnKz1APAVtUIPItw3p+AwYA+/+k4RxWtiAW0xZhLVYgbZ8ZfhDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T14:10:08.372494Z"},"content_sha256":"55ee15a103a7df44bbbb0a4dae6c8ea3ce6026c07f8dd0dbfaa2c9d485cbfd32","schema_version":"1.0","event_id":"sha256:55ee15a103a7df44bbbb0a4dae6c8ea3ce6026c07f8dd0dbfaa2c9d485cbfd32"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:NULMKTREYHJM7PF76TCUG2JB4P","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Termination of Cycle Rewriting by Transformation and Matrix Interpretation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"David Sabel, Hans Zantema","submitted_at":"2016-09-22T16:56:22Z","abstract_excerpt":"We present techniques to prove termination of cycle rewriting, that is, string rewriting on cycles, which are strings in which the start and end are connected. Our main technique is to transform cycle rewriting into string rewriting and then apply state of the art techniques to prove termination of the string rewrite system. We present three such transformations, and prove for all of them that they are sound and complete. In this way not only termination of string rewriting of the transformed system implies termination of the original cycle rewrite system, a similar conclusion can be drawn for"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.07065","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-17T23:51:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oDYUJg0sLTufLczawbzPyIfZyiDU6V0HqqgN9FEPL32ISXp7tisKsXkZeA4FaadK6YQ9aYwtOtdGFHH71QkPCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T14:10:08.372839Z"},"content_sha256":"33454de0097998b653bb51156bc359976ead425e3dc78c8d73d7b29845ad1221","schema_version":"1.0","event_id":"sha256:33454de0097998b653bb51156bc359976ead425e3dc78c8d73d7b29845ad1221"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NULMKTREYHJM7PF76TCUG2JB4P/bundle.json","state_url":"https://pith.science/pith/NULMKTREYHJM7PF76TCUG2JB4P/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NULMKTREYHJM7PF76TCUG2JB4P/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-23T14:10:08Z","links":{"resolver":"https://pith.science/pith/NULMKTREYHJM7PF76TCUG2JB4P","bundle":"https://pith.science/pith/NULMKTREYHJM7PF76TCUG2JB4P/bundle.json","state":"https://pith.science/pith/NULMKTREYHJM7PF76TCUG2JB4P/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NULMKTREYHJM7PF76TCUG2JB4P/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:NULMKTREYHJM7PF76TCUG2JB4P","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":"f858fb190dad55a4ad1ef48a4adf4a9bfc72eec7aef5461747fe171554cfd50e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-09-22T16:56:22Z","title_canon_sha256":"ece17be98ee021485c527df62a3e4aa6daf4b8d04b090892a279e4d4721bf66c"},"schema_version":"1.0","source":{"id":"1609.07065","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.07065","created_at":"2026-05-17T23:51:21Z"},{"alias_kind":"arxiv_version","alias_value":"1609.07065v2","created_at":"2026-05-17T23:51:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.07065","created_at":"2026-05-17T23:51:21Z"},{"alias_kind":"pith_short_12","alias_value":"NULMKTREYHJM","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_16","alias_value":"NULMKTREYHJM7PF7","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_8","alias_value":"NULMKTRE","created_at":"2026-05-18T12:30:36Z"}],"graph_snapshots":[{"event_id":"sha256:33454de0097998b653bb51156bc359976ead425e3dc78c8d73d7b29845ad1221","target":"graph","created_at":"2026-05-17T23:51:21Z","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":"We present techniques to prove termination of cycle rewriting, that is, string rewriting on cycles, which are strings in which the start and end are connected. Our main technique is to transform cycle rewriting into string rewriting and then apply state of the art techniques to prove termination of the string rewrite system. We present three such transformations, and prove for all of them that they are sound and complete. In this way not only termination of string rewriting of the transformed system implies termination of the original cycle rewrite system, a similar conclusion can be drawn for","authors_text":"David Sabel, Hans Zantema","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-09-22T16:56:22Z","title":"Termination of Cycle Rewriting by Transformation and Matrix Interpretation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.07065","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:55ee15a103a7df44bbbb0a4dae6c8ea3ce6026c07f8dd0dbfaa2c9d485cbfd32","target":"record","created_at":"2026-05-17T23:51:21Z","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":"f858fb190dad55a4ad1ef48a4adf4a9bfc72eec7aef5461747fe171554cfd50e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-09-22T16:56:22Z","title_canon_sha256":"ece17be98ee021485c527df62a3e4aa6daf4b8d04b090892a279e4d4721bf66c"},"schema_version":"1.0","source":{"id":"1609.07065","kind":"arxiv","version":2}},"canonical_sha256":"6d16c54e24c1d2cfbcbff4c5436921e3ca653d88331d812f72206f079a3de164","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6d16c54e24c1d2cfbcbff4c5436921e3ca653d88331d812f72206f079a3de164","first_computed_at":"2026-05-17T23:51:21.862149Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:51:21.862149Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"AYIBJwrlaVyfzW1ChwomC7VgqIgluAcoLbJmSjOVKaM8UNm7L8bMmHq8Qzqvw7axKmaA9bHJd6XncG0Qchf8BA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:51:21.862657Z","signed_message":"canonical_sha256_bytes"},"source_id":"1609.07065","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:55ee15a103a7df44bbbb0a4dae6c8ea3ce6026c07f8dd0dbfaa2c9d485cbfd32","sha256:33454de0097998b653bb51156bc359976ead425e3dc78c8d73d7b29845ad1221"],"state_sha256":"4b5a668af1599ebadc4a42022c88493610dc2bec72ad46e8ff24c969a0789162"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"42IsHYEDCnuYjnp1jjoPTuCofaIRSy9vMeiFoYlfa/rypyq0hTUkw5t0enVmlCLT0Ckk0gokDO+6SctSKXJACA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T14:10:08.374897Z","bundle_sha256":"a8deb2d9e21787a897e1111445ad767d2cc711385d3f75ff12b90d82bc7cd043"}}