{"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"}