{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:JOMH2HC5E5ZPHG6OIJR6X2UWXK","short_pith_number":"pith:JOMH2HC5","canonical_record":{"source":{"id":"1012.5803","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-28T17:33:09Z","cross_cats_sorted":[],"title_canon_sha256":"315dbd086f490e7b21158d57e5b3e7b0e98a8b6c8e27dc2935519bb9b3fa3030","abstract_canon_sha256":"e087ef3ed6da6b21a396f9e213d8c4d6aacd5dd19d99dac862370a2959bff920"},"schema_version":"1.0"},"canonical_sha256":"4b987d1c5d2772f39bce4263ebea96ba867d1a9e8cab063597a53dd5c19be75b","source":{"kind":"arxiv","id":"1012.5803","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1012.5803","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"arxiv_version","alias_value":"1012.5803v3","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1012.5803","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"pith_short_12","alias_value":"JOMH2HC5E5ZP","created_at":"2026-05-18T12:26:09Z"},{"alias_kind":"pith_short_16","alias_value":"JOMH2HC5E5ZPHG6O","created_at":"2026-05-18T12:26:09Z"},{"alias_kind":"pith_short_8","alias_value":"JOMH2HC5","created_at":"2026-05-18T12:26:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:JOMH2HC5E5ZPHG6OIJR6X2UWXK","target":"record","payload":{"canonical_record":{"source":{"id":"1012.5803","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-28T17:33:09Z","cross_cats_sorted":[],"title_canon_sha256":"315dbd086f490e7b21158d57e5b3e7b0e98a8b6c8e27dc2935519bb9b3fa3030","abstract_canon_sha256":"e087ef3ed6da6b21a396f9e213d8c4d6aacd5dd19d99dac862370a2959bff920"},"schema_version":"1.0"},"canonical_sha256":"4b987d1c5d2772f39bce4263ebea96ba867d1a9e8cab063597a53dd5c19be75b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:39.740667Z","signature_b64":"JMezy9HfjXYwTMUoJtrTwp+G1FFbiQUvVRymklbr288oB4dp/lCyR5AgsfKFJPCycTQAldIZ7xFlY1At8IMYDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4b987d1c5d2772f39bce4263ebea96ba867d1a9e8cab063597a53dd5c19be75b","last_reissued_at":"2026-05-18T01:37:39.740034Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:39.740034Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1012.5803","source_version":3,"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-18T01:37:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Bn0yXlVP0FF3UpeFhTvvgPRTCVJqJDKhwMcNu8++lSVOrQS10AD7E0+APHq6viu3aRKy3BZvmD0SrAadHgkIDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T04:57:43.228746Z"},"content_sha256":"fe70ec1253313b40a591153f64a98180fba8653e59ae50b09549ed3e62bb725b","schema_version":"1.0","event_id":"sha256:fe70ec1253313b40a591153f64a98180fba8653e59ae50b09549ed3e62bb725b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:JOMH2HC5E5ZPHG6OIJR6X2UWXK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Algebraic Notions of Termination","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Bernhard Moeller (Institute for Informatics, c), Desharnais Jules (D'epartement d'informatique et de g'enie logiciel, Germany), Quebec, Struth Georg (Department of Computer Science, United Kingdom), Universit'e Laval, University of Augsburg, University of Sheffield","submitted_at":"2010-12-28T17:33:09Z","abstract_excerpt":"Five algebraic notions of termination are formalised, analysed and compared: wellfoundedness or Noetherity, L\\\"ob's formula, absence of infinite iteration, absence of divergence and normalisation. The study is based on modal semirings, which are additively idempotent semirings with forward and backward modal operators. To model infinite behaviours, idempotent semirings are extended to divergence semirings, divergence Kleene algebras and omega algebras. The resulting notions and techniques are used in calculational proofs of classical theorems of rewriting theory. These applications show that m"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1012.5803","kind":"arxiv","version":3},"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-18T01:37:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"u31F/wmvTt1wHjIxVH84BY3uqsbrt3K5wTXd4m8OaQLYUfnFztOdu/W2moDIP99L1c6fsrQoqmBRoiksYvssDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T04:57:43.229086Z"},"content_sha256":"bbee42972c6758d7fd817a2a3b2fed3ebefc92998098cc81fc6677f55002c464","schema_version":"1.0","event_id":"sha256:bbee42972c6758d7fd817a2a3b2fed3ebefc92998098cc81fc6677f55002c464"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JOMH2HC5E5ZPHG6OIJR6X2UWXK/bundle.json","state_url":"https://pith.science/pith/JOMH2HC5E5ZPHG6OIJR6X2UWXK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JOMH2HC5E5ZPHG6OIJR6X2UWXK/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-01T04:57:43Z","links":{"resolver":"https://pith.science/pith/JOMH2HC5E5ZPHG6OIJR6X2UWXK","bundle":"https://pith.science/pith/JOMH2HC5E5ZPHG6OIJR6X2UWXK/bundle.json","state":"https://pith.science/pith/JOMH2HC5E5ZPHG6OIJR6X2UWXK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JOMH2HC5E5ZPHG6OIJR6X2UWXK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:JOMH2HC5E5ZPHG6OIJR6X2UWXK","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":"e087ef3ed6da6b21a396f9e213d8c4d6aacd5dd19d99dac862370a2959bff920","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-28T17:33:09Z","title_canon_sha256":"315dbd086f490e7b21158d57e5b3e7b0e98a8b6c8e27dc2935519bb9b3fa3030"},"schema_version":"1.0","source":{"id":"1012.5803","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1012.5803","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"arxiv_version","alias_value":"1012.5803v3","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1012.5803","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"pith_short_12","alias_value":"JOMH2HC5E5ZP","created_at":"2026-05-18T12:26:09Z"},{"alias_kind":"pith_short_16","alias_value":"JOMH2HC5E5ZPHG6O","created_at":"2026-05-18T12:26:09Z"},{"alias_kind":"pith_short_8","alias_value":"JOMH2HC5","created_at":"2026-05-18T12:26:09Z"}],"graph_snapshots":[{"event_id":"sha256:bbee42972c6758d7fd817a2a3b2fed3ebefc92998098cc81fc6677f55002c464","target":"graph","created_at":"2026-05-18T01:37:39Z","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":"Five algebraic notions of termination are formalised, analysed and compared: wellfoundedness or Noetherity, L\\\"ob's formula, absence of infinite iteration, absence of divergence and normalisation. The study is based on modal semirings, which are additively idempotent semirings with forward and backward modal operators. To model infinite behaviours, idempotent semirings are extended to divergence semirings, divergence Kleene algebras and omega algebras. The resulting notions and techniques are used in calculational proofs of classical theorems of rewriting theory. These applications show that m","authors_text":"Bernhard Moeller (Institute for Informatics, c), Desharnais Jules (D'epartement d'informatique et de g'enie logiciel, Germany), Quebec, Struth Georg (Department of Computer Science, United Kingdom), Universit'e Laval, University of Augsburg, University of Sheffield","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-28T17:33:09Z","title":"Algebraic Notions of Termination"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1012.5803","kind":"arxiv","version":3},"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:fe70ec1253313b40a591153f64a98180fba8653e59ae50b09549ed3e62bb725b","target":"record","created_at":"2026-05-18T01:37:39Z","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":"e087ef3ed6da6b21a396f9e213d8c4d6aacd5dd19d99dac862370a2959bff920","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-28T17:33:09Z","title_canon_sha256":"315dbd086f490e7b21158d57e5b3e7b0e98a8b6c8e27dc2935519bb9b3fa3030"},"schema_version":"1.0","source":{"id":"1012.5803","kind":"arxiv","version":3}},"canonical_sha256":"4b987d1c5d2772f39bce4263ebea96ba867d1a9e8cab063597a53dd5c19be75b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4b987d1c5d2772f39bce4263ebea96ba867d1a9e8cab063597a53dd5c19be75b","first_computed_at":"2026-05-18T01:37:39.740034Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:39.740034Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JMezy9HfjXYwTMUoJtrTwp+G1FFbiQUvVRymklbr288oB4dp/lCyR5AgsfKFJPCycTQAldIZ7xFlY1At8IMYDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:39.740667Z","signed_message":"canonical_sha256_bytes"},"source_id":"1012.5803","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fe70ec1253313b40a591153f64a98180fba8653e59ae50b09549ed3e62bb725b","sha256:bbee42972c6758d7fd817a2a3b2fed3ebefc92998098cc81fc6677f55002c464"],"state_sha256":"dfd5ab0586f8cea6cec906d9743945ddc84516f88e1e4c4322c6a3ab9c72cc62"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uQBZNxEdaRURMd6ZlluIQVuKhFoDZvHgHsilA7OxmJuIwA6YcLHvUVE0RBhBIj6L4axFLc97A9kaXz1G1ibPDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T04:57:43.231004Z","bundle_sha256":"751f0efb01a08af984daddc12214d8301f4ac77764bc65a28ec6e0da33768ff4"}}