{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:LWYILTPAQEYHQJADDMIRIVBF4M","short_pith_number":"pith:LWYILTPA","canonical_record":{"source":{"id":"1705.00907","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2017-05-02T11:10:05Z","cross_cats_sorted":[],"title_canon_sha256":"48cc220054d012d5e501bd757334fbded16ab3b804131aca2d9c595b9c2274e4","abstract_canon_sha256":"b42dbac70d3ea98c92981191879b683807f22d7f79d12b6ad6140050a0e42ca9"},"schema_version":"1.0"},"canonical_sha256":"5db085cde081307824031b11145425e3282ae5409f484643ba08199edb2d3d2a","source":{"kind":"arxiv","id":"1705.00907","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.00907","created_at":"2026-05-18T00:45:09Z"},{"alias_kind":"arxiv_version","alias_value":"1705.00907v1","created_at":"2026-05-18T00:45:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.00907","created_at":"2026-05-18T00:45:09Z"},{"alias_kind":"pith_short_12","alias_value":"LWYILTPAQEYH","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_16","alias_value":"LWYILTPAQEYHQJAD","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_8","alias_value":"LWYILTPA","created_at":"2026-05-18T12:31:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:LWYILTPAQEYHQJADDMIRIVBF4M","target":"record","payload":{"canonical_record":{"source":{"id":"1705.00907","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2017-05-02T11:10:05Z","cross_cats_sorted":[],"title_canon_sha256":"48cc220054d012d5e501bd757334fbded16ab3b804131aca2d9c595b9c2274e4","abstract_canon_sha256":"b42dbac70d3ea98c92981191879b683807f22d7f79d12b6ad6140050a0e42ca9"},"schema_version":"1.0"},"canonical_sha256":"5db085cde081307824031b11145425e3282ae5409f484643ba08199edb2d3d2a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:45:09.394930Z","signature_b64":"DPj3wYi9hapPd6esHiSatREHxsAqY04IVI+/ft5LdLMLD+k1Gzz9rsaHvxx67T1AE4HvfUWJ57xXydobVjfxDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5db085cde081307824031b11145425e3282ae5409f484643ba08199edb2d3d2a","last_reissued_at":"2026-05-18T00:45:09.394393Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:45:09.394393Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.00907","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:45:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tya3dpTPz4NsY1TNaFDS1DIqDX33nrSTYCnTRq83A7ooaCgr6egWtAkwYO9oGCa1esVmcFLRruBgpw1p/tO5Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T14:25:17.222094Z"},"content_sha256":"32ab62fd2e80776cdf86758706ddc75afac2ed576d9a19b002f4c0926c7bd8a4","schema_version":"1.0","event_id":"sha256:32ab62fd2e80776cdf86758706ddc75afac2ed576d9a19b002f4c0926c7bd8a4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:LWYILTPAQEYHQJADDMIRIVBF4M","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Non-linear Associative-Commutative Many-to-One Pattern Matching with Sequence Variables","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SC","authors_text":"Manuel Krebber","submitted_at":"2017-05-02T11:10:05Z","abstract_excerpt":"Pattern matching is a powerful tool which is part of many functional programming languages as well as computer algebra systems such as Mathematica. Among the existing systems, Mathematica offers the most expressive pattern matching. Unfortunately, no open source alternative has comparable pattern matching capabilities. Notably, these features include support for associative and/or commutative function symbols and sequence variables. While those features have individually been subject of previous research, their comprehensive combination has not yet been investigated. Furthermore, in many appli"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.00907","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:45:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iGNeeN5eVxh3JikV9kW6OqvcaIYXNZb0gKvfCZ8SbUgulbg9G06JuUvHnvYY2D8IWMnXV0zE4xAaItAUnL5ECQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T14:25:17.222476Z"},"content_sha256":"d9fc0fe6d5da9ea8efa3bb947066943acd2e5442c5beede721594f636b7c202b","schema_version":"1.0","event_id":"sha256:d9fc0fe6d5da9ea8efa3bb947066943acd2e5442c5beede721594f636b7c202b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LWYILTPAQEYHQJADDMIRIVBF4M/bundle.json","state_url":"https://pith.science/pith/LWYILTPAQEYHQJADDMIRIVBF4M/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LWYILTPAQEYHQJADDMIRIVBF4M/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-05T14:25:17Z","links":{"resolver":"https://pith.science/pith/LWYILTPAQEYHQJADDMIRIVBF4M","bundle":"https://pith.science/pith/LWYILTPAQEYHQJADDMIRIVBF4M/bundle.json","state":"https://pith.science/pith/LWYILTPAQEYHQJADDMIRIVBF4M/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LWYILTPAQEYHQJADDMIRIVBF4M/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:LWYILTPAQEYHQJADDMIRIVBF4M","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":"b42dbac70d3ea98c92981191879b683807f22d7f79d12b6ad6140050a0e42ca9","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2017-05-02T11:10:05Z","title_canon_sha256":"48cc220054d012d5e501bd757334fbded16ab3b804131aca2d9c595b9c2274e4"},"schema_version":"1.0","source":{"id":"1705.00907","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.00907","created_at":"2026-05-18T00:45:09Z"},{"alias_kind":"arxiv_version","alias_value":"1705.00907v1","created_at":"2026-05-18T00:45:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.00907","created_at":"2026-05-18T00:45:09Z"},{"alias_kind":"pith_short_12","alias_value":"LWYILTPAQEYH","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_16","alias_value":"LWYILTPAQEYHQJAD","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_8","alias_value":"LWYILTPA","created_at":"2026-05-18T12:31:28Z"}],"graph_snapshots":[{"event_id":"sha256:d9fc0fe6d5da9ea8efa3bb947066943acd2e5442c5beede721594f636b7c202b","target":"graph","created_at":"2026-05-18T00:45:09Z","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":"Pattern matching is a powerful tool which is part of many functional programming languages as well as computer algebra systems such as Mathematica. Among the existing systems, Mathematica offers the most expressive pattern matching. Unfortunately, no open source alternative has comparable pattern matching capabilities. Notably, these features include support for associative and/or commutative function symbols and sequence variables. While those features have individually been subject of previous research, their comprehensive combination has not yet been investigated. Furthermore, in many appli","authors_text":"Manuel Krebber","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2017-05-02T11:10:05Z","title":"Non-linear Associative-Commutative Many-to-One Pattern Matching with Sequence Variables"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.00907","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:32ab62fd2e80776cdf86758706ddc75afac2ed576d9a19b002f4c0926c7bd8a4","target":"record","created_at":"2026-05-18T00:45:09Z","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":"b42dbac70d3ea98c92981191879b683807f22d7f79d12b6ad6140050a0e42ca9","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2017-05-02T11:10:05Z","title_canon_sha256":"48cc220054d012d5e501bd757334fbded16ab3b804131aca2d9c595b9c2274e4"},"schema_version":"1.0","source":{"id":"1705.00907","kind":"arxiv","version":1}},"canonical_sha256":"5db085cde081307824031b11145425e3282ae5409f484643ba08199edb2d3d2a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5db085cde081307824031b11145425e3282ae5409f484643ba08199edb2d3d2a","first_computed_at":"2026-05-18T00:45:09.394393Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:45:09.394393Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DPj3wYi9hapPd6esHiSatREHxsAqY04IVI+/ft5LdLMLD+k1Gzz9rsaHvxx67T1AE4HvfUWJ57xXydobVjfxDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:45:09.394930Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.00907","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:32ab62fd2e80776cdf86758706ddc75afac2ed576d9a19b002f4c0926c7bd8a4","sha256:d9fc0fe6d5da9ea8efa3bb947066943acd2e5442c5beede721594f636b7c202b"],"state_sha256":"b1cc11ed607a2f1c628d752817f9f3630d9e19a9e33feffe87b1414afd78f517"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PVmlsAo6xLsvf2QWS4lHcS77v5ayEG6VlV5jnTgW/zbeip79ze7qlmOQQgYLt1E2pEDPrklM15lKCoj7jARoCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T14:25:17.224541Z","bundle_sha256":"79094c1521ebd024a0248fc0b7da86ebe2d8343f382bb1ad58b02fb6b171c69e"}}