{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:NZAQ22FETQODBXJEXZBXONHPEN","short_pith_number":"pith:NZAQ22FE","schema_version":"1.0","canonical_sha256":"6e410d68a49c1c30dd24be437734ef234671934732e0ae19b1ee2d39fb10601b","source":{"kind":"arxiv","id":"1905.08664","version":1},"attestation_state":"computed","paper":{"title":"Termination of Triangular Integer Loops is Decidable","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Florian Frohn, J\\\"urgen Giesl","submitted_at":"2019-05-21T14:26:01Z","abstract_excerpt":"We consider the problem whether termination of affine integer loops is decidable. Since Tiwari conjectured decidability in 2004, only special cases have been solved. We complement this work by proving decidability for the case that the update matrix is triangular."},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1905.08664","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-05-21T14:26:01Z","cross_cats_sorted":[],"title_canon_sha256":"952a7ec133aa2197d50e9626bb5794b9e402521c80090141ec6e70145831ca17","abstract_canon_sha256":"29628cfac3adde1c71878edc619c427b3fa32314cbd19e0bd224844552549461"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:45:42.473705Z","signature_b64":"SPeXY7VPVnTH/GcLNDgmknhmLAts5eJ1THhC+E++lh1hBgOWD00cepa6F9Bh5dwVYyTPwFm8VyA4/rl+5h8iAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6e410d68a49c1c30dd24be437734ef234671934732e0ae19b1ee2d39fb10601b","last_reissued_at":"2026-05-17T23:45:42.473032Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:45:42.473032Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Termination of Triangular Integer Loops is Decidable","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Florian Frohn, J\\\"urgen Giesl","submitted_at":"2019-05-21T14:26:01Z","abstract_excerpt":"We consider the problem whether termination of affine integer loops is decidable. Since Tiwari conjectured decidability in 2004, only special cases have been solved. We complement this work by proving decidability for the case that the update matrix is triangular."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.08664","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1905.08664","created_at":"2026-05-17T23:45:42.473124+00:00"},{"alias_kind":"arxiv_version","alias_value":"1905.08664v1","created_at":"2026-05-17T23:45:42.473124+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.08664","created_at":"2026-05-17T23:45:42.473124+00:00"},{"alias_kind":"pith_short_12","alias_value":"NZAQ22FETQOD","created_at":"2026-05-18T12:33:24.271573+00:00"},{"alias_kind":"pith_short_16","alias_value":"NZAQ22FETQODBXJE","created_at":"2026-05-18T12:33:24.271573+00:00"},{"alias_kind":"pith_short_8","alias_value":"NZAQ22FE","created_at":"2026-05-18T12:33:24.271573+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/NZAQ22FETQODBXJEXZBXONHPEN","json":"https://pith.science/pith/NZAQ22FETQODBXJEXZBXONHPEN.json","graph_json":"https://pith.science/api/pith-number/NZAQ22FETQODBXJEXZBXONHPEN/graph.json","events_json":"https://pith.science/api/pith-number/NZAQ22FETQODBXJEXZBXONHPEN/events.json","paper":"https://pith.science/paper/NZAQ22FE"},"agent_actions":{"view_html":"https://pith.science/pith/NZAQ22FETQODBXJEXZBXONHPEN","download_json":"https://pith.science/pith/NZAQ22FETQODBXJEXZBXONHPEN.json","view_paper":"https://pith.science/paper/NZAQ22FE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1905.08664&json=true","fetch_graph":"https://pith.science/api/pith-number/NZAQ22FETQODBXJEXZBXONHPEN/graph.json","fetch_events":"https://pith.science/api/pith-number/NZAQ22FETQODBXJEXZBXONHPEN/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/NZAQ22FETQODBXJEXZBXONHPEN/action/timestamp_anchor","attest_storage":"https://pith.science/pith/NZAQ22FETQODBXJEXZBXONHPEN/action/storage_attestation","attest_author":"https://pith.science/pith/NZAQ22FETQODBXJEXZBXONHPEN/action/author_attestation","sign_citation":"https://pith.science/pith/NZAQ22FETQODBXJEXZBXONHPEN/action/citation_signature","submit_replication":"https://pith.science/pith/NZAQ22FETQODBXJEXZBXONHPEN/action/replication_record"}},"created_at":"2026-05-17T23:45:42.473124+00:00","updated_at":"2026-05-17T23:45:42.473124+00:00"}