{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:6A27TME444WFP435DXQCDHHHFM","short_pith_number":"pith:6A27TME4","canonical_record":{"source":{"id":"1105.2725","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-05-13T13:38:08Z","cross_cats_sorted":[],"title_canon_sha256":"329301fed4ea708b87a23c6eda6135fca4a6f92e58bd5e37e027ed26763de3cb","abstract_canon_sha256":"83c0f966fbbecab36339eb77c9dbc67e999b924e21002be954dacfb87392997c"},"schema_version":"1.0"},"canonical_sha256":"f035f9b09ce72c57f37d1de0219ce72b394115be8214df7fb0e8fd1e703275c4","source":{"kind":"arxiv","id":"1105.2725","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1105.2725","created_at":"2026-05-18T04:12:54Z"},{"alias_kind":"arxiv_version","alias_value":"1105.2725v1","created_at":"2026-05-18T04:12:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1105.2725","created_at":"2026-05-18T04:12:54Z"},{"alias_kind":"pith_short_12","alias_value":"6A27TME444WF","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_16","alias_value":"6A27TME444WFP435","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_8","alias_value":"6A27TME4","created_at":"2026-05-18T12:26:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:6A27TME444WFP435DXQCDHHHFM","target":"record","payload":{"canonical_record":{"source":{"id":"1105.2725","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-05-13T13:38:08Z","cross_cats_sorted":[],"title_canon_sha256":"329301fed4ea708b87a23c6eda6135fca4a6f92e58bd5e37e027ed26763de3cb","abstract_canon_sha256":"83c0f966fbbecab36339eb77c9dbc67e999b924e21002be954dacfb87392997c"},"schema_version":"1.0"},"canonical_sha256":"f035f9b09ce72c57f37d1de0219ce72b394115be8214df7fb0e8fd1e703275c4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:12:54.549650Z","signature_b64":"Iifp7WOsPdIlrEbGXPm+8wXeLSnAkh96XdnVHPl9ou0SgS8NYaHwAdOYc1BlfWv4mr7ydJpZ3NAToW8lpoltBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f035f9b09ce72c57f37d1de0219ce72b394115be8214df7fb0e8fd1e703275c4","last_reissued_at":"2026-05-18T04:12:54.549090Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:12:54.549090Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1105.2725","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:12:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fhz62PMndN93XDDx8uzWzeYq3WQkNUEsATW8WhHAuc5aKejetw7FnbWEoGMEYMo9t0lhivG5KSAtyI0u6zVMBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T11:55:54.914844Z"},"content_sha256":"3dbbb0d3846b1ffda708414bdf65de0a047fb5e674c278017cb815b58cca1dd4","schema_version":"1.0","event_id":"sha256:3dbbb0d3846b1ffda708414bdf65de0a047fb5e674c278017cb815b58cca1dd4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:6A27TME444WFP435DXQCDHHHFM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Foundational View on Integration Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Claudio Sacerdoti Coen, Florian Rabe, Michael Kohlhase","submitted_at":"2011-05-13T13:38:08Z","abstract_excerpt":"The integration of reasoning and computation services across system and language boundaries is a challenging problem of computer science. In this paper, we use integration for the scenario where we have two systems that we integrate by moving problems and solutions between them. While this scenario is often approached from an engineering perspective, we take a foundational view. Based on the generic declarative language MMT, we develop a theoretical framework for system integration using theories and partial theory morphisms. Because MMT permits representations of the meta-logical foundations "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1105.2725","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:12:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"t5SfrZKVO21K5q1fu6RK9sb748lz5NiOjuMKg3uplujJ6Y7H5AUuJE7KIt5BrABuGEugB4yJjqBG0X5QkbwpBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T11:55:54.915187Z"},"content_sha256":"d532492522e50f0355bae7eeb7c5fba4274e9f8ff058c86125dede2139233de0","schema_version":"1.0","event_id":"sha256:d532492522e50f0355bae7eeb7c5fba4274e9f8ff058c86125dede2139233de0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6A27TME444WFP435DXQCDHHHFM/bundle.json","state_url":"https://pith.science/pith/6A27TME444WFP435DXQCDHHHFM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6A27TME444WFP435DXQCDHHHFM/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-20T11:55:54Z","links":{"resolver":"https://pith.science/pith/6A27TME444WFP435DXQCDHHHFM","bundle":"https://pith.science/pith/6A27TME444WFP435DXQCDHHHFM/bundle.json","state":"https://pith.science/pith/6A27TME444WFP435DXQCDHHHFM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6A27TME444WFP435DXQCDHHHFM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:6A27TME444WFP435DXQCDHHHFM","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":"83c0f966fbbecab36339eb77c9dbc67e999b924e21002be954dacfb87392997c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-05-13T13:38:08Z","title_canon_sha256":"329301fed4ea708b87a23c6eda6135fca4a6f92e58bd5e37e027ed26763de3cb"},"schema_version":"1.0","source":{"id":"1105.2725","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1105.2725","created_at":"2026-05-18T04:12:54Z"},{"alias_kind":"arxiv_version","alias_value":"1105.2725v1","created_at":"2026-05-18T04:12:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1105.2725","created_at":"2026-05-18T04:12:54Z"},{"alias_kind":"pith_short_12","alias_value":"6A27TME444WF","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_16","alias_value":"6A27TME444WFP435","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_8","alias_value":"6A27TME4","created_at":"2026-05-18T12:26:22Z"}],"graph_snapshots":[{"event_id":"sha256:d532492522e50f0355bae7eeb7c5fba4274e9f8ff058c86125dede2139233de0","target":"graph","created_at":"2026-05-18T04:12:54Z","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":"The integration of reasoning and computation services across system and language boundaries is a challenging problem of computer science. In this paper, we use integration for the scenario where we have two systems that we integrate by moving problems and solutions between them. While this scenario is often approached from an engineering perspective, we take a foundational view. Based on the generic declarative language MMT, we develop a theoretical framework for system integration using theories and partial theory morphisms. Because MMT permits representations of the meta-logical foundations ","authors_text":"Claudio Sacerdoti Coen, Florian Rabe, Michael Kohlhase","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-05-13T13:38:08Z","title":"A Foundational View on Integration Problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1105.2725","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:3dbbb0d3846b1ffda708414bdf65de0a047fb5e674c278017cb815b58cca1dd4","target":"record","created_at":"2026-05-18T04:12:54Z","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":"83c0f966fbbecab36339eb77c9dbc67e999b924e21002be954dacfb87392997c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-05-13T13:38:08Z","title_canon_sha256":"329301fed4ea708b87a23c6eda6135fca4a6f92e58bd5e37e027ed26763de3cb"},"schema_version":"1.0","source":{"id":"1105.2725","kind":"arxiv","version":1}},"canonical_sha256":"f035f9b09ce72c57f37d1de0219ce72b394115be8214df7fb0e8fd1e703275c4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f035f9b09ce72c57f37d1de0219ce72b394115be8214df7fb0e8fd1e703275c4","first_computed_at":"2026-05-18T04:12:54.549090Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:12:54.549090Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Iifp7WOsPdIlrEbGXPm+8wXeLSnAkh96XdnVHPl9ou0SgS8NYaHwAdOYc1BlfWv4mr7ydJpZ3NAToW8lpoltBg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:12:54.549650Z","signed_message":"canonical_sha256_bytes"},"source_id":"1105.2725","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3dbbb0d3846b1ffda708414bdf65de0a047fb5e674c278017cb815b58cca1dd4","sha256:d532492522e50f0355bae7eeb7c5fba4274e9f8ff058c86125dede2139233de0"],"state_sha256":"e3cea18e440174ad7fd5d1d16c369a03dcf7a88091c7bc12e607af5ded16fe8c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"A98MZpi9KPnnO2x9mdBGJLMdW3z5UzVDerLAv7HgNOUQfVObB1qFQphfxIo2sXKqncBgiJWUvQ+r/bvvm2H+Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T11:55:54.917248Z","bundle_sha256":"94d4e1fe78aa8f8b8a4941b2b1c1177eee21b8c69514ee55fca9f3e5970a48b2"}}