{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:U4PZHIDCZFQ7WUJWDPQNB6P6JP","short_pith_number":"pith:U4PZHIDC","canonical_record":{"source":{"id":"1102.3129","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.LO","submitted_at":"2011-02-15T17:16:23Z","cross_cats_sorted":["cs.AI","cs.CC","cs.PL"],"title_canon_sha256":"8d1948ce689adf53e0fc464b691c5a5ef5d6b0e82766d9625a7f8e8c8b730983","abstract_canon_sha256":"7729980634b45202076548f31669c190db7ab2b769f3c1b89cf64722ce14293d"},"schema_version":"1.0"},"canonical_sha256":"a71f93a062c961fb51361be0d0f9fe4bd7490455520d01b0e0a38f501f5d321e","source":{"kind":"arxiv","id":"1102.3129","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1102.3129","created_at":"2026-05-18T04:20:58Z"},{"alias_kind":"arxiv_version","alias_value":"1102.3129v2","created_at":"2026-05-18T04:20:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1102.3129","created_at":"2026-05-18T04:20:58Z"},{"alias_kind":"pith_short_12","alias_value":"U4PZHIDCZFQ7","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_16","alias_value":"U4PZHIDCZFQ7WUJW","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_8","alias_value":"U4PZHIDC","created_at":"2026-05-18T12:26:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:U4PZHIDCZFQ7WUJWDPQNB6P6JP","target":"record","payload":{"canonical_record":{"source":{"id":"1102.3129","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.LO","submitted_at":"2011-02-15T17:16:23Z","cross_cats_sorted":["cs.AI","cs.CC","cs.PL"],"title_canon_sha256":"8d1948ce689adf53e0fc464b691c5a5ef5d6b0e82766d9625a7f8e8c8b730983","abstract_canon_sha256":"7729980634b45202076548f31669c190db7ab2b769f3c1b89cf64722ce14293d"},"schema_version":"1.0"},"canonical_sha256":"a71f93a062c961fb51361be0d0f9fe4bd7490455520d01b0e0a38f501f5d321e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:20:58.776645Z","signature_b64":"5hgxSxvex11Ff+JHuIv+OByKLtWLkuCwZPhev3osOX0N6UFloIZygb8h0DtuICLZVNy90qbgnhTjrR218KSTCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a71f93a062c961fb51361be0d0f9fe4bd7490455520d01b0e0a38f501f5d321e","last_reissued_at":"2026-05-18T04:20:58.776076Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:20:58.776076Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1102.3129","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-18T04:20:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0MwEcgLSQGekVecl+HSNr8G3QULfohP8/QEa+R4/xGxi7YyErrV86P5Ux+wBRoE6dhSRp1dZNLDCTpT3fubJDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T01:44:27.904202Z"},"content_sha256":"dcabd358ec1d8a5c8160312a75ac3b4449d79789945cb33bde0d0078a72a4be3","schema_version":"1.0","event_id":"sha256:dcabd358ec1d8a5c8160312a75ac3b4449d79789945cb33bde0d0078a72a4be3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:U4PZHIDCZFQ7WUJWDPQNB6P6JP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automated Complexity Analysis Based on the Dependency Pair Method","license":"http://creativecommons.org/licenses/by/3.0/","headline":"","cross_cats":["cs.AI","cs.CC","cs.PL"],"primary_cat":"cs.LO","authors_text":"Georg Moser, Nao Hirokawa","submitted_at":"2011-02-15T17:16:23Z","abstract_excerpt":"This article is concerned with automated complexity analysis of term rewrite systems. Since these systems underlie much of declarative programming, time complexity of functions defined by rewrite systems is of particular interest. Among other results, we present a variant of the dependency pair method for analysing runtime complexities of term rewrite systems automatically. The established results significantly extent previously known techniques: we give examples of rewrite systems subject to our methods that could previously not been analysed automatically. Furthermore, the techniques have be"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1102.3129","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-18T04:20:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2nbmuD6ZqfvLLjUZ3z2lpcmBq0g78ufdFMZ65I4ie3pQdPdCEEuzSqtSTK00NklY1xlRSDzIbqTGHBzMCGH3Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T01:44:27.904859Z"},"content_sha256":"3ce8dc5daa54d781ace1c16082b5262efff6e37f675a8a574d3fc03a443b10ea","schema_version":"1.0","event_id":"sha256:3ce8dc5daa54d781ace1c16082b5262efff6e37f675a8a574d3fc03a443b10ea"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/U4PZHIDCZFQ7WUJWDPQNB6P6JP/bundle.json","state_url":"https://pith.science/pith/U4PZHIDCZFQ7WUJWDPQNB6P6JP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/U4PZHIDCZFQ7WUJWDPQNB6P6JP/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-05T01:44:27Z","links":{"resolver":"https://pith.science/pith/U4PZHIDCZFQ7WUJWDPQNB6P6JP","bundle":"https://pith.science/pith/U4PZHIDCZFQ7WUJWDPQNB6P6JP/bundle.json","state":"https://pith.science/pith/U4PZHIDCZFQ7WUJWDPQNB6P6JP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/U4PZHIDCZFQ7WUJWDPQNB6P6JP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:U4PZHIDCZFQ7WUJWDPQNB6P6JP","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":"7729980634b45202076548f31669c190db7ab2b769f3c1b89cf64722ce14293d","cross_cats_sorted":["cs.AI","cs.CC","cs.PL"],"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.LO","submitted_at":"2011-02-15T17:16:23Z","title_canon_sha256":"8d1948ce689adf53e0fc464b691c5a5ef5d6b0e82766d9625a7f8e8c8b730983"},"schema_version":"1.0","source":{"id":"1102.3129","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1102.3129","created_at":"2026-05-18T04:20:58Z"},{"alias_kind":"arxiv_version","alias_value":"1102.3129v2","created_at":"2026-05-18T04:20:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1102.3129","created_at":"2026-05-18T04:20:58Z"},{"alias_kind":"pith_short_12","alias_value":"U4PZHIDCZFQ7","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_16","alias_value":"U4PZHIDCZFQ7WUJW","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_8","alias_value":"U4PZHIDC","created_at":"2026-05-18T12:26:42Z"}],"graph_snapshots":[{"event_id":"sha256:3ce8dc5daa54d781ace1c16082b5262efff6e37f675a8a574d3fc03a443b10ea","target":"graph","created_at":"2026-05-18T04:20:58Z","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":"This article is concerned with automated complexity analysis of term rewrite systems. Since these systems underlie much of declarative programming, time complexity of functions defined by rewrite systems is of particular interest. Among other results, we present a variant of the dependency pair method for analysing runtime complexities of term rewrite systems automatically. The established results significantly extent previously known techniques: we give examples of rewrite systems subject to our methods that could previously not been analysed automatically. Furthermore, the techniques have be","authors_text":"Georg Moser, Nao Hirokawa","cross_cats":["cs.AI","cs.CC","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.LO","submitted_at":"2011-02-15T17:16:23Z","title":"Automated Complexity Analysis Based on the Dependency Pair Method"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1102.3129","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:dcabd358ec1d8a5c8160312a75ac3b4449d79789945cb33bde0d0078a72a4be3","target":"record","created_at":"2026-05-18T04:20:58Z","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":"7729980634b45202076548f31669c190db7ab2b769f3c1b89cf64722ce14293d","cross_cats_sorted":["cs.AI","cs.CC","cs.PL"],"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.LO","submitted_at":"2011-02-15T17:16:23Z","title_canon_sha256":"8d1948ce689adf53e0fc464b691c5a5ef5d6b0e82766d9625a7f8e8c8b730983"},"schema_version":"1.0","source":{"id":"1102.3129","kind":"arxiv","version":2}},"canonical_sha256":"a71f93a062c961fb51361be0d0f9fe4bd7490455520d01b0e0a38f501f5d321e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a71f93a062c961fb51361be0d0f9fe4bd7490455520d01b0e0a38f501f5d321e","first_computed_at":"2026-05-18T04:20:58.776076Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:20:58.776076Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5hgxSxvex11Ff+JHuIv+OByKLtWLkuCwZPhev3osOX0N6UFloIZygb8h0DtuICLZVNy90qbgnhTjrR218KSTCg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:20:58.776645Z","signed_message":"canonical_sha256_bytes"},"source_id":"1102.3129","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dcabd358ec1d8a5c8160312a75ac3b4449d79789945cb33bde0d0078a72a4be3","sha256:3ce8dc5daa54d781ace1c16082b5262efff6e37f675a8a574d3fc03a443b10ea"],"state_sha256":"2dcbaa39dcb95f95be069f18168085dc9f1a035ebedb258ae3d7d2089d24a8c1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jissmLjZ4M9eSRM/YucrER4XjWZtxw1iyjPV1y56Fd8nG+bIQn9eAJfgUpxahn/o04vXHt/Zr78KMEd4uLSECA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T01:44:27.908460Z","bundle_sha256":"5961177fbde89d1dff6b3ce89737b819f3fcd584426bf377756fa16dff878b96"}}