{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:P6M7IO6ZIVAQMZCRO6CZSMVJID","short_pith_number":"pith:P6M7IO6Z","canonical_record":{"source":{"id":"1804.04956","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DL","submitted_at":"2018-04-13T14:08:16Z","cross_cats_sorted":["cs.IR"],"title_canon_sha256":"bdc10d4f296c147685564b2e638b988e1087fa77c425243c4f809a7a84c13085","abstract_canon_sha256":"60a84208c67244230a5ba7c7c639b2abefc0306721adca3d611c10f4fab9af4d"},"schema_version":"1.0"},"canonical_sha256":"7f99f43bd9454106645177859932a940e96986148694c09691d0d0140e8f968a","source":{"kind":"arxiv","id":"1804.04956","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.04956","created_at":"2026-05-18T00:18:32Z"},{"alias_kind":"arxiv_version","alias_value":"1804.04956v1","created_at":"2026-05-18T00:18:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.04956","created_at":"2026-05-18T00:18:32Z"},{"alias_kind":"pith_short_12","alias_value":"P6M7IO6ZIVAQ","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"P6M7IO6ZIVAQMZCR","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"P6M7IO6Z","created_at":"2026-05-18T12:32:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:P6M7IO6ZIVAQMZCRO6CZSMVJID","target":"record","payload":{"canonical_record":{"source":{"id":"1804.04956","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DL","submitted_at":"2018-04-13T14:08:16Z","cross_cats_sorted":["cs.IR"],"title_canon_sha256":"bdc10d4f296c147685564b2e638b988e1087fa77c425243c4f809a7a84c13085","abstract_canon_sha256":"60a84208c67244230a5ba7c7c639b2abefc0306721adca3d611c10f4fab9af4d"},"schema_version":"1.0"},"canonical_sha256":"7f99f43bd9454106645177859932a940e96986148694c09691d0d0140e8f968a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:18:32.604590Z","signature_b64":"nyBk9+BP/ZHR7rZDvHI5FunX3oEKoaC883wUX4NEyAO/5YcdlTx6ayyUyF+QeOjhwzUL1whW2CbyqOYl/rXQBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7f99f43bd9454106645177859932a940e96986148694c09691d0d0140e8f968a","last_reissued_at":"2026-05-18T00:18:32.604112Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:18:32.604112Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.04956","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-18T00:18:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sOFvJKv81kMfHFy6LHypyVHutEFwbPl/wHyvixdl0GXLSmyYjdZK+MbQu0sYelMdLI0Fs7bRs12USZHi1tJdAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T08:46:41.959759Z"},"content_sha256":"c157180aa1ac14631492a18b18613a53df4bd4e05ba490a08a7bd15e981b599a","schema_version":"1.0","event_id":"sha256:c157180aa1ac14631492a18b18613a53df4bd4e05ba490a08a7bd15e981b599a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:P6M7IO6ZIVAQMZCRO6CZSMVJID","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Improving the Representation and Conversion of Mathematical Formulae by Considering their Textual Context","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.IR"],"primary_cat":"cs.DL","authors_text":"Andre Greiner-Petter, Bela Gipp, Howard Cohl, Moritz Schubotz, Norman Meuschke, Philipp Scharpf","submitted_at":"2018-04-13T14:08:16Z","abstract_excerpt":"Mathematical formulae represent complex semantic information in a concise form. Especially in Science, Technology, Engineering, and Mathematics, mathematical formulae are crucial to communicate information, e.g., in scientific papers, and to perform computations using computer algebra systems. Enabling computers to access the information encoded in mathematical formulae requires machine-readable formats that can represent both the presentation and content, i.e., the semantics, of formulae. Exchanging such information between systems additionally requires conversion methods for mathematical rep"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.04956","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-18T00:18:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wa+gH41VgoiCipISyGEEIE4+kWQfyk7Kp9Ef64RA+W3dB/9psJGdJJ4uuTnLiMA0eYbWoKsPHxTo3jO0KYYkCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T08:46:41.960123Z"},"content_sha256":"ba7d8d13fd20828a79e78f46f724b922e48b5cf21dd6d2b317c8b06b2196d787","schema_version":"1.0","event_id":"sha256:ba7d8d13fd20828a79e78f46f724b922e48b5cf21dd6d2b317c8b06b2196d787"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/P6M7IO6ZIVAQMZCRO6CZSMVJID/bundle.json","state_url":"https://pith.science/pith/P6M7IO6ZIVAQMZCRO6CZSMVJID/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/P6M7IO6ZIVAQMZCRO6CZSMVJID/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-05T08:46:41Z","links":{"resolver":"https://pith.science/pith/P6M7IO6ZIVAQMZCRO6CZSMVJID","bundle":"https://pith.science/pith/P6M7IO6ZIVAQMZCRO6CZSMVJID/bundle.json","state":"https://pith.science/pith/P6M7IO6ZIVAQMZCRO6CZSMVJID/state.json","well_known_bundle":"https://pith.science/.well-known/pith/P6M7IO6ZIVAQMZCRO6CZSMVJID/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:P6M7IO6ZIVAQMZCRO6CZSMVJID","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":"60a84208c67244230a5ba7c7c639b2abefc0306721adca3d611c10f4fab9af4d","cross_cats_sorted":["cs.IR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DL","submitted_at":"2018-04-13T14:08:16Z","title_canon_sha256":"bdc10d4f296c147685564b2e638b988e1087fa77c425243c4f809a7a84c13085"},"schema_version":"1.0","source":{"id":"1804.04956","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.04956","created_at":"2026-05-18T00:18:32Z"},{"alias_kind":"arxiv_version","alias_value":"1804.04956v1","created_at":"2026-05-18T00:18:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.04956","created_at":"2026-05-18T00:18:32Z"},{"alias_kind":"pith_short_12","alias_value":"P6M7IO6ZIVAQ","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"P6M7IO6ZIVAQMZCR","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"P6M7IO6Z","created_at":"2026-05-18T12:32:43Z"}],"graph_snapshots":[{"event_id":"sha256:ba7d8d13fd20828a79e78f46f724b922e48b5cf21dd6d2b317c8b06b2196d787","target":"graph","created_at":"2026-05-18T00:18:32Z","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":"Mathematical formulae represent complex semantic information in a concise form. Especially in Science, Technology, Engineering, and Mathematics, mathematical formulae are crucial to communicate information, e.g., in scientific papers, and to perform computations using computer algebra systems. Enabling computers to access the information encoded in mathematical formulae requires machine-readable formats that can represent both the presentation and content, i.e., the semantics, of formulae. Exchanging such information between systems additionally requires conversion methods for mathematical rep","authors_text":"Andre Greiner-Petter, Bela Gipp, Howard Cohl, Moritz Schubotz, Norman Meuschke, Philipp Scharpf","cross_cats":["cs.IR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DL","submitted_at":"2018-04-13T14:08:16Z","title":"Improving the Representation and Conversion of Mathematical Formulae by Considering their Textual Context"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.04956","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:c157180aa1ac14631492a18b18613a53df4bd4e05ba490a08a7bd15e981b599a","target":"record","created_at":"2026-05-18T00:18:32Z","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":"60a84208c67244230a5ba7c7c639b2abefc0306721adca3d611c10f4fab9af4d","cross_cats_sorted":["cs.IR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DL","submitted_at":"2018-04-13T14:08:16Z","title_canon_sha256":"bdc10d4f296c147685564b2e638b988e1087fa77c425243c4f809a7a84c13085"},"schema_version":"1.0","source":{"id":"1804.04956","kind":"arxiv","version":1}},"canonical_sha256":"7f99f43bd9454106645177859932a940e96986148694c09691d0d0140e8f968a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7f99f43bd9454106645177859932a940e96986148694c09691d0d0140e8f968a","first_computed_at":"2026-05-18T00:18:32.604112Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:18:32.604112Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nyBk9+BP/ZHR7rZDvHI5FunX3oEKoaC883wUX4NEyAO/5YcdlTx6ayyUyF+QeOjhwzUL1whW2CbyqOYl/rXQBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:18:32.604590Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.04956","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c157180aa1ac14631492a18b18613a53df4bd4e05ba490a08a7bd15e981b599a","sha256:ba7d8d13fd20828a79e78f46f724b922e48b5cf21dd6d2b317c8b06b2196d787"],"state_sha256":"6cb3b226c9e3ad39d8fc7f7c15272c1973e2b028baa8f358ed63af440db0ef23"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xrRvSvtQVppRboBb1tcXVxDXCydWdn0XWoJ9CtKna18JWuE6OgcwvGRhg9/euV6y2whURmMHji5szx5FiyAaDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T08:46:41.962848Z","bundle_sha256":"c3b72804509591ebff74a54641113f2c9573c64628da45a5a115af31b582c990"}}