{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:ZVIL2APYRVCZHCSAWFSWPD77V5","short_pith_number":"pith:ZVIL2APY","canonical_record":{"source":{"id":"1012.5563","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-27T06:30:24Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"d909414d79bec235b3b04547ef9d57585a5f0a549570dd2073b3bec1f34b0419","abstract_canon_sha256":"b4023987ccd7f610412ecb75e1a5f23584c21401a67311fbe448e5ea2d0094fb"},"schema_version":"1.0"},"canonical_sha256":"cd50bd01f88d45938a40b165678fffaf74f6401f2925a149c18dc89cb64b7589","source":{"kind":"arxiv","id":"1012.5563","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1012.5563","created_at":"2026-05-18T04:32:23Z"},{"alias_kind":"arxiv_version","alias_value":"1012.5563v1","created_at":"2026-05-18T04:32:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1012.5563","created_at":"2026-05-18T04:32:23Z"},{"alias_kind":"pith_short_12","alias_value":"ZVIL2APYRVCZ","created_at":"2026-05-18T12:26:18Z"},{"alias_kind":"pith_short_16","alias_value":"ZVIL2APYRVCZHCSA","created_at":"2026-05-18T12:26:18Z"},{"alias_kind":"pith_short_8","alias_value":"ZVIL2APY","created_at":"2026-05-18T12:26:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:ZVIL2APYRVCZHCSAWFSWPD77V5","target":"record","payload":{"canonical_record":{"source":{"id":"1012.5563","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-27T06:30:24Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"d909414d79bec235b3b04547ef9d57585a5f0a549570dd2073b3bec1f34b0419","abstract_canon_sha256":"b4023987ccd7f610412ecb75e1a5f23584c21401a67311fbe448e5ea2d0094fb"},"schema_version":"1.0"},"canonical_sha256":"cd50bd01f88d45938a40b165678fffaf74f6401f2925a149c18dc89cb64b7589","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:32:23.010804Z","signature_b64":"MBF0igTajSc1f1qsmbKeb7Q8nLXZ5rLqH9QADRBc/onifnUEQNDy3f2DsuseuyHuSOlnxmI7qxJ5d/vP35/cCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cd50bd01f88d45938a40b165678fffaf74f6401f2925a149c18dc89cb64b7589","last_reissued_at":"2026-05-18T04:32:23.010033Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:32:23.010033Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1012.5563","source_version":1,"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:32:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"z880/OwmjJxCxhKdipC2wHaKTqyPRQv7ID5COmdADgryuxHI00i5CyVERFP6GEp9lhBK/r8XoWit8kbWFGozCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T22:12:26.476079Z"},"content_sha256":"09808777ae9bc3daacd466968493090d9ec1c3c4119f6fba0a4b46f7945016cb","schema_version":"1.0","event_id":"sha256:09808777ae9bc3daacd466968493090d9ec1c3c4119f6fba0a4b46f7945016cb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:ZVIL2APYRVCZHCSAWFSWPD77V5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Loops under Strategies ... Continued","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC"],"primary_cat":"cs.LO","authors_text":"Austria), Christian Sternagel (University of Innsbruck, Denmark), Germany), J\\\"urgen Giesl (RWTH Aachen University, Peter Schneider-Kamp (University of Southern Denmark, Ren\\'e Thiemann (University of Innsbruck","submitted_at":"2010-12-27T06:30:24Z","abstract_excerpt":"While there are many approaches for automatically proving termination of term rewrite systems, up to now there exist only few techniques to disprove their termination automatically. Almost all of these techniques try to find loops, where the existence of a loop implies non-termination of the rewrite system.  However, most programming languages use specific evaluation strategies, whereas loop detection techniques usually do not take strategies into account. So even if a rewrite system has a loop, it may still be terminating under certain strategies.\n  Therefore, our goal is to develop decision "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1012.5563","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"},"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:32:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"klsT8rvRFVukeSld7FJ3/CMRTfTg3lDDU/gmibdWTwqjNj5YGiiFGZAJink/El7bgwuq2EgvvDTVgbaS2I2rBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T22:12:26.476872Z"},"content_sha256":"046b27bd0203809fa881ca372daada818a23ce80159ee341ed9c6a84041d9a4a","schema_version":"1.0","event_id":"sha256:046b27bd0203809fa881ca372daada818a23ce80159ee341ed9c6a84041d9a4a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZVIL2APYRVCZHCSAWFSWPD77V5/bundle.json","state_url":"https://pith.science/pith/ZVIL2APYRVCZHCSAWFSWPD77V5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZVIL2APYRVCZHCSAWFSWPD77V5/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-06T22:12:26Z","links":{"resolver":"https://pith.science/pith/ZVIL2APYRVCZHCSAWFSWPD77V5","bundle":"https://pith.science/pith/ZVIL2APYRVCZHCSAWFSWPD77V5/bundle.json","state":"https://pith.science/pith/ZVIL2APYRVCZHCSAWFSWPD77V5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZVIL2APYRVCZHCSAWFSWPD77V5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:ZVIL2APYRVCZHCSAWFSWPD77V5","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":"b4023987ccd7f610412ecb75e1a5f23584c21401a67311fbe448e5ea2d0094fb","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-27T06:30:24Z","title_canon_sha256":"d909414d79bec235b3b04547ef9d57585a5f0a549570dd2073b3bec1f34b0419"},"schema_version":"1.0","source":{"id":"1012.5563","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1012.5563","created_at":"2026-05-18T04:32:23Z"},{"alias_kind":"arxiv_version","alias_value":"1012.5563v1","created_at":"2026-05-18T04:32:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1012.5563","created_at":"2026-05-18T04:32:23Z"},{"alias_kind":"pith_short_12","alias_value":"ZVIL2APYRVCZ","created_at":"2026-05-18T12:26:18Z"},{"alias_kind":"pith_short_16","alias_value":"ZVIL2APYRVCZHCSA","created_at":"2026-05-18T12:26:18Z"},{"alias_kind":"pith_short_8","alias_value":"ZVIL2APY","created_at":"2026-05-18T12:26:18Z"}],"graph_snapshots":[{"event_id":"sha256:046b27bd0203809fa881ca372daada818a23ce80159ee341ed9c6a84041d9a4a","target":"graph","created_at":"2026-05-18T04:32:23Z","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":"While there are many approaches for automatically proving termination of term rewrite systems, up to now there exist only few techniques to disprove their termination automatically. Almost all of these techniques try to find loops, where the existence of a loop implies non-termination of the rewrite system.  However, most programming languages use specific evaluation strategies, whereas loop detection techniques usually do not take strategies into account. So even if a rewrite system has a loop, it may still be terminating under certain strategies.\n  Therefore, our goal is to develop decision ","authors_text":"Austria), Christian Sternagel (University of Innsbruck, Denmark), Germany), J\\\"urgen Giesl (RWTH Aachen University, Peter Schneider-Kamp (University of Southern Denmark, Ren\\'e Thiemann (University of Innsbruck","cross_cats":["cs.CC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-27T06:30:24Z","title":"Loops under Strategies ... Continued"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1012.5563","kind":"arxiv","version":1},"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:09808777ae9bc3daacd466968493090d9ec1c3c4119f6fba0a4b46f7945016cb","target":"record","created_at":"2026-05-18T04:32:23Z","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":"b4023987ccd7f610412ecb75e1a5f23584c21401a67311fbe448e5ea2d0094fb","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-27T06:30:24Z","title_canon_sha256":"d909414d79bec235b3b04547ef9d57585a5f0a549570dd2073b3bec1f34b0419"},"schema_version":"1.0","source":{"id":"1012.5563","kind":"arxiv","version":1}},"canonical_sha256":"cd50bd01f88d45938a40b165678fffaf74f6401f2925a149c18dc89cb64b7589","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cd50bd01f88d45938a40b165678fffaf74f6401f2925a149c18dc89cb64b7589","first_computed_at":"2026-05-18T04:32:23.010033Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:32:23.010033Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MBF0igTajSc1f1qsmbKeb7Q8nLXZ5rLqH9QADRBc/onifnUEQNDy3f2DsuseuyHuSOlnxmI7qxJ5d/vP35/cCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:32:23.010804Z","signed_message":"canonical_sha256_bytes"},"source_id":"1012.5563","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:09808777ae9bc3daacd466968493090d9ec1c3c4119f6fba0a4b46f7945016cb","sha256:046b27bd0203809fa881ca372daada818a23ce80159ee341ed9c6a84041d9a4a"],"state_sha256":"1bca208c3f19ce9d64a790d215d63e7560f0054a59f1f7c74e69df7ab9933fbe"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TaSFtPnMPuwfnOIHu4KLrYGrQG4uxBk5yIjqno9YkjI3tTo6jyLcs/2Zb8/BAH4n/mck3YsbM0VvF2jJvcLVDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T22:12:26.481229Z","bundle_sha256":"5a4a11929fe7401dbff04015567f1be219c8b224e04a2c6b62acd2b634fc036a"}}