{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:EB57WFSIVPIO73WSGSLDGM3H6T","short_pith_number":"pith:EB57WFSI","canonical_record":{"source":{"id":"2012.02413","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DL","submitted_at":"2020-12-04T05:51:01Z","cross_cats_sorted":[],"title_canon_sha256":"972828ee54a209f08e198871b67c4e3bbe4b5f271d872e308df92d477354fd24","abstract_canon_sha256":"0ecb2b5025a756a2a0cd37c5f8e398d1220987a11418ad800966fa4d4b7350f3"},"schema_version":"1.0"},"canonical_sha256":"207bfb1648abd0efeed23496333367f4f44e7b835d462ae1b6faac49444c9aa1","source":{"kind":"arxiv","id":"2012.02413","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2012.02413","created_at":"2026-07-05T01:58:32Z"},{"alias_kind":"arxiv_version","alias_value":"2012.02413v2","created_at":"2026-07-05T01:58:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2012.02413","created_at":"2026-07-05T01:58:32Z"},{"alias_kind":"pith_short_12","alias_value":"EB57WFSIVPIO","created_at":"2026-07-05T01:58:32Z"},{"alias_kind":"pith_short_16","alias_value":"EB57WFSIVPIO73WS","created_at":"2026-07-05T01:58:32Z"},{"alias_kind":"pith_short_8","alias_value":"EB57WFSI","created_at":"2026-07-05T01:58:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:EB57WFSIVPIO73WSGSLDGM3H6T","target":"record","payload":{"canonical_record":{"source":{"id":"2012.02413","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DL","submitted_at":"2020-12-04T05:51:01Z","cross_cats_sorted":[],"title_canon_sha256":"972828ee54a209f08e198871b67c4e3bbe4b5f271d872e308df92d477354fd24","abstract_canon_sha256":"0ecb2b5025a756a2a0cd37c5f8e398d1220987a11418ad800966fa4d4b7350f3"},"schema_version":"1.0"},"canonical_sha256":"207bfb1648abd0efeed23496333367f4f44e7b835d462ae1b6faac49444c9aa1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:58:32.936193Z","signature_b64":"vkt0XB+8jksccMVVMdxmRbxhfZP4p9R1CBKKIwMLn4YDXVxZd/lsJl16K26Tx92SI5/GyKCtgRYG7v9qrkzxCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"207bfb1648abd0efeed23496333367f4f44e7b835d462ae1b6faac49444c9aa1","last_reissued_at":"2026-07-05T01:58:32.935781Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:58:32.935781Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2012.02413","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-07-05T01:58:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W0tIMQi9AR3IDOb6YgREVjnJrBKNfs7k+muzIbCvxQKwmp1IIrl00oN0UEbyjVaHuThOWQ8gk7XbNaDh8P7+Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T05:24:22.582111Z"},"content_sha256":"f6a0c3155c31d8bda484c2b16d3f885bcd1ac752bcc22a2f831a0c5ef48891d6","schema_version":"1.0","event_id":"sha256:f6a0c3155c31d8bda484c2b16d3f885bcd1ac752bcc22a2f831a0c5ef48891d6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:EB57WFSIVPIO73WSGSLDGM3H6T","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ARQMath Lab: An Incubator for Semantic Formula Search in zbMATH Open?","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DL","authors_text":"Andre Greiner-Petter, Bela Gipp, Malte Ostendorff, Moritz Schubotz, Olaf Teschke, Philipp Scharpf","submitted_at":"2020-12-04T05:51:01Z","abstract_excerpt":"The zbMATH database contains more than 4 million bibliographic entries. We aim to provide easy access to these entries. Therefore, we maintain different index structures, including a formula index. To optimize the findability of the entries in our database, we continuously investigate new approaches to satisfy the information needs of our users. We believe that the findings from the ARQMath evaluation will generate new insights into which index structures are most suitable to satisfy mathematical information needs. Search engines, recommender systems, plagiarism checking software, and many oth"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2012.02413","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2012.02413/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T01:58:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1UspTwcehMnK03uiz3RdcLGS1cmQ5K9ckPhpetkgqsq1zSv5RnVzZCB+Lbbst54QTNT0se/EKYE2xhZDg7tvBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T05:24:22.582931Z"},"content_sha256":"9e2476b63c4d7616e34837f00728e4d7ff9ae5509b30e6a223e2745a9051d48d","schema_version":"1.0","event_id":"sha256:9e2476b63c4d7616e34837f00728e4d7ff9ae5509b30e6a223e2745a9051d48d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EB57WFSIVPIO73WSGSLDGM3H6T/bundle.json","state_url":"https://pith.science/pith/EB57WFSIVPIO73WSGSLDGM3H6T/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EB57WFSIVPIO73WSGSLDGM3H6T/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-07-07T05:24:22Z","links":{"resolver":"https://pith.science/pith/EB57WFSIVPIO73WSGSLDGM3H6T","bundle":"https://pith.science/pith/EB57WFSIVPIO73WSGSLDGM3H6T/bundle.json","state":"https://pith.science/pith/EB57WFSIVPIO73WSGSLDGM3H6T/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EB57WFSIVPIO73WSGSLDGM3H6T/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:EB57WFSIVPIO73WSGSLDGM3H6T","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":"0ecb2b5025a756a2a0cd37c5f8e398d1220987a11418ad800966fa4d4b7350f3","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DL","submitted_at":"2020-12-04T05:51:01Z","title_canon_sha256":"972828ee54a209f08e198871b67c4e3bbe4b5f271d872e308df92d477354fd24"},"schema_version":"1.0","source":{"id":"2012.02413","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2012.02413","created_at":"2026-07-05T01:58:32Z"},{"alias_kind":"arxiv_version","alias_value":"2012.02413v2","created_at":"2026-07-05T01:58:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2012.02413","created_at":"2026-07-05T01:58:32Z"},{"alias_kind":"pith_short_12","alias_value":"EB57WFSIVPIO","created_at":"2026-07-05T01:58:32Z"},{"alias_kind":"pith_short_16","alias_value":"EB57WFSIVPIO73WS","created_at":"2026-07-05T01:58:32Z"},{"alias_kind":"pith_short_8","alias_value":"EB57WFSI","created_at":"2026-07-05T01:58:32Z"}],"graph_snapshots":[{"event_id":"sha256:9e2476b63c4d7616e34837f00728e4d7ff9ae5509b30e6a223e2745a9051d48d","target":"graph","created_at":"2026-07-05T01:58: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2012.02413/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The zbMATH database contains more than 4 million bibliographic entries. We aim to provide easy access to these entries. Therefore, we maintain different index structures, including a formula index. To optimize the findability of the entries in our database, we continuously investigate new approaches to satisfy the information needs of our users. We believe that the findings from the ARQMath evaluation will generate new insights into which index structures are most suitable to satisfy mathematical information needs. Search engines, recommender systems, plagiarism checking software, and many oth","authors_text":"Andre Greiner-Petter, Bela Gipp, Malte Ostendorff, Moritz Schubotz, Olaf Teschke, Philipp Scharpf","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DL","submitted_at":"2020-12-04T05:51:01Z","title":"ARQMath Lab: An Incubator for Semantic Formula Search in zbMATH Open?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2012.02413","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:f6a0c3155c31d8bda484c2b16d3f885bcd1ac752bcc22a2f831a0c5ef48891d6","target":"record","created_at":"2026-07-05T01:58: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":"0ecb2b5025a756a2a0cd37c5f8e398d1220987a11418ad800966fa4d4b7350f3","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DL","submitted_at":"2020-12-04T05:51:01Z","title_canon_sha256":"972828ee54a209f08e198871b67c4e3bbe4b5f271d872e308df92d477354fd24"},"schema_version":"1.0","source":{"id":"2012.02413","kind":"arxiv","version":2}},"canonical_sha256":"207bfb1648abd0efeed23496333367f4f44e7b835d462ae1b6faac49444c9aa1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"207bfb1648abd0efeed23496333367f4f44e7b835d462ae1b6faac49444c9aa1","first_computed_at":"2026-07-05T01:58:32.935781Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:58:32.935781Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vkt0XB+8jksccMVVMdxmRbxhfZP4p9R1CBKKIwMLn4YDXVxZd/lsJl16K26Tx92SI5/GyKCtgRYG7v9qrkzxCg==","signature_status":"signed_v1","signed_at":"2026-07-05T01:58:32.936193Z","signed_message":"canonical_sha256_bytes"},"source_id":"2012.02413","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f6a0c3155c31d8bda484c2b16d3f885bcd1ac752bcc22a2f831a0c5ef48891d6","sha256:9e2476b63c4d7616e34837f00728e4d7ff9ae5509b30e6a223e2745a9051d48d"],"state_sha256":"377286cd08bdcc9fd4a4f329a868541a8aaf35706ecc72260a3ba630fc782de9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"F7KTYIPKXiXTeyBNh6nVwt1dsQjQ4jtDzM1yv/107rquHtGZNqbsvVGgni+hATY1lF/iPr6TxoGlbxLlqdxDAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T05:24:22.586234Z","bundle_sha256":"e3c2b382c5f830f7802a8e55dd2bcb4f3c915f5cb56951e941d9c3f233ec3024"}}