{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:EWIWNDIB5CIFT7WDWG3T7HZO7B","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":"cb275cb4c95b373473e3bb6fcbe75f8c53a5923ced500e8eedc1a1d6c1205383","cross_cats_sorted":["math.KT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2016-12-29T16:31:07Z","title_canon_sha256":"e8150b16f0bf0be1ce743337d20947858c49b6dc8ede66e31130b39fc3d55c23"},"schema_version":"1.0","source":{"id":"1612.09193","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.09193","created_at":"2026-05-18T00:51:57Z"},{"alias_kind":"arxiv_version","alias_value":"1612.09193v2","created_at":"2026-05-18T00:51:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.09193","created_at":"2026-05-18T00:51:57Z"},{"alias_kind":"pith_short_12","alias_value":"EWIWNDIB5CIF","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_16","alias_value":"EWIWNDIB5CIFT7WD","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_8","alias_value":"EWIWNDIB","created_at":"2026-05-18T12:30:15Z"}],"graph_snapshots":[{"event_id":"sha256:b644abc1728b3e9254fb75db8b617c761f43c9b840821d77e5d01931f96373dd","target":"graph","created_at":"2026-05-18T00:51:57Z","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":"Squier introduced a homotopical method in order to describe all the relations amongst rewriting reductions of a confluent and terminating string rewriting system. From a string rewriting system he constructed a $2$-dimensional combinatorial complex whose $2$-cells are generated by relations induced by the rewriting rules. When the rewriting system is confluent and terminating, the homotopy of this complex can be characterized in term of confluence diagrams induced by the critical branchings of the rewriting system. Such a construction is now used to solve coherence problems for monoids using s","authors_text":"Cl\\'ement Alleaume, Philippe Malbos","cross_cats":["math.KT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2016-12-29T16:31:07Z","title":"Coherence of string rewriting systems by decreasingness"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.09193","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:dc91799dc56ebf3a60b5499bdf62a4928d0f07f5d68b3a9bfeedeaf79559ff91","target":"record","created_at":"2026-05-18T00:51:57Z","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":"cb275cb4c95b373473e3bb6fcbe75f8c53a5923ced500e8eedc1a1d6c1205383","cross_cats_sorted":["math.KT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2016-12-29T16:31:07Z","title_canon_sha256":"e8150b16f0bf0be1ce743337d20947858c49b6dc8ede66e31130b39fc3d55c23"},"schema_version":"1.0","source":{"id":"1612.09193","kind":"arxiv","version":2}},"canonical_sha256":"2591668d01e89059fec3b1b73f9f2ef8751b5b6abb6a92d2bb04bc027a105129","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2591668d01e89059fec3b1b73f9f2ef8751b5b6abb6a92d2bb04bc027a105129","first_computed_at":"2026-05-18T00:51:57.119187Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:51:57.119187Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UkE9W+O41JpdnBqcAJJl2ucjgu8V/l/EiKJ1TD5Czodf8YY2QE9R7s5hCoVUwYVJcz7XrTMSJYk37TNmb/UxBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:51:57.119804Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.09193","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dc91799dc56ebf3a60b5499bdf62a4928d0f07f5d68b3a9bfeedeaf79559ff91","sha256:b644abc1728b3e9254fb75db8b617c761f43c9b840821d77e5d01931f96373dd"],"state_sha256":"6d20b5e5883650db862bd50804eebeea488453f5256f7edcadb3a67eb062a978"}