{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:QGS5ZCQOTAC6TRRZL3HZOS3GJ6","short_pith_number":"pith:QGS5ZCQO","canonical_record":{"source":{"id":"1204.6695","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2012-04-30T16:38:20Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"befdfcbab6706fab4846c020031a0a7e327b4ad1612909b67b9fdaf2c0146f3c","abstract_canon_sha256":"cf7bd3012ede32900711260ad1793cf431bf3367489bd38f87559c9f23052d2c"},"schema_version":"1.0"},"canonical_sha256":"81a5dc8a0e9805e9c6395ecf974b664f8a3e299cfa0a90efa0d79211b1a0e430","source":{"kind":"arxiv","id":"1204.6695","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1204.6695","created_at":"2026-05-18T02:55:11Z"},{"alias_kind":"arxiv_version","alias_value":"1204.6695v3","created_at":"2026-05-18T02:55:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.6695","created_at":"2026-05-18T02:55:11Z"},{"alias_kind":"pith_short_12","alias_value":"QGS5ZCQOTAC6","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_16","alias_value":"QGS5ZCQOTAC6TRRZ","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_8","alias_value":"QGS5ZCQO","created_at":"2026-05-18T12:27:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:QGS5ZCQOTAC6TRRZL3HZOS3GJ6","target":"record","payload":{"canonical_record":{"source":{"id":"1204.6695","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2012-04-30T16:38:20Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"befdfcbab6706fab4846c020031a0a7e327b4ad1612909b67b9fdaf2c0146f3c","abstract_canon_sha256":"cf7bd3012ede32900711260ad1793cf431bf3367489bd38f87559c9f23052d2c"},"schema_version":"1.0"},"canonical_sha256":"81a5dc8a0e9805e9c6395ecf974b664f8a3e299cfa0a90efa0d79211b1a0e430","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:55:11.587979Z","signature_b64":"XSme+2WF0DpJ/4KnZGKNO7dC0tiIqXJPxXsMvPPdTSCULFZnWDHhXzQPCPjdZBPxjEDlXMaC5E4NLJ+KBRnoCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"81a5dc8a0e9805e9c6395ecf974b664f8a3e299cfa0a90efa0d79211b1a0e430","last_reissued_at":"2026-05-18T02:55:11.587509Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:55:11.587509Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1204.6695","source_version":3,"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-18T02:55:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dlw1mhCqgBnRn8z6ldLfDZPtkWnFdVRicXEbEcRwMv6Kjgp9M16J15fTkcK2ujp8Ew2ijUl0DiTso8f6ZAm+CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T12:40:38.161305Z"},"content_sha256":"849cc047c35aa5b5fa3f08d10ee3640eccb26726913dd4148c0a3891b32d4ea0","schema_version":"1.0","event_id":"sha256:849cc047c35aa5b5fa3f08d10ee3640eccb26726913dd4148c0a3891b32d4ea0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:QGS5ZCQOTAC6TRRZL3HZOS3GJ6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Pattern graph rewrite systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.CT","authors_text":"Aleks Kissinger (University of Oxford), Alex Merry (University of Oxford), Matvey Soloviev (University of Cambridge)","submitted_at":"2012-04-30T16:38:20Z","abstract_excerpt":"String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. Dixon, Duncan and Kissinger introduced string graphs, which are a combinatoric representations of string diagrams, amenable to automated reasoning about diagrammatic theories via graph rewrite systems. In this extended abstract, we show how the power of such rewrite systems can be greatly extended by introducing pattern graphs, which provide a means of expressing infinite families of rewrite rules where certain marked subgraphs, called !-boxes (\""},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.6695","kind":"arxiv","version":3},"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-18T02:55:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"50e3xjpw5q0BCyWiU4qeAdg7HFFuzR5FrvItiMKuBSmFMbPViKlN23dVK00kk+hNkInIOkRppg2mtKcB3D2HCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T12:40:38.161703Z"},"content_sha256":"e85ed18d6feb39947084fd3810da7e30a74ee7b3c80db661a3afaa495367c4d9","schema_version":"1.0","event_id":"sha256:e85ed18d6feb39947084fd3810da7e30a74ee7b3c80db661a3afaa495367c4d9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QGS5ZCQOTAC6TRRZL3HZOS3GJ6/bundle.json","state_url":"https://pith.science/pith/QGS5ZCQOTAC6TRRZL3HZOS3GJ6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QGS5ZCQOTAC6TRRZL3HZOS3GJ6/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-03T12:40:38Z","links":{"resolver":"https://pith.science/pith/QGS5ZCQOTAC6TRRZL3HZOS3GJ6","bundle":"https://pith.science/pith/QGS5ZCQOTAC6TRRZL3HZOS3GJ6/bundle.json","state":"https://pith.science/pith/QGS5ZCQOTAC6TRRZL3HZOS3GJ6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QGS5ZCQOTAC6TRRZL3HZOS3GJ6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:QGS5ZCQOTAC6TRRZL3HZOS3GJ6","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":"cf7bd3012ede32900711260ad1793cf431bf3367489bd38f87559c9f23052d2c","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2012-04-30T16:38:20Z","title_canon_sha256":"befdfcbab6706fab4846c020031a0a7e327b4ad1612909b67b9fdaf2c0146f3c"},"schema_version":"1.0","source":{"id":"1204.6695","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1204.6695","created_at":"2026-05-18T02:55:11Z"},{"alias_kind":"arxiv_version","alias_value":"1204.6695v3","created_at":"2026-05-18T02:55:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.6695","created_at":"2026-05-18T02:55:11Z"},{"alias_kind":"pith_short_12","alias_value":"QGS5ZCQOTAC6","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_16","alias_value":"QGS5ZCQOTAC6TRRZ","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_8","alias_value":"QGS5ZCQO","created_at":"2026-05-18T12:27:18Z"}],"graph_snapshots":[{"event_id":"sha256:e85ed18d6feb39947084fd3810da7e30a74ee7b3c80db661a3afaa495367c4d9","target":"graph","created_at":"2026-05-18T02:55:11Z","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":"String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. Dixon, Duncan and Kissinger introduced string graphs, which are a combinatoric representations of string diagrams, amenable to automated reasoning about diagrammatic theories via graph rewrite systems. In this extended abstract, we show how the power of such rewrite systems can be greatly extended by introducing pattern graphs, which provide a means of expressing infinite families of rewrite rules where certain marked subgraphs, called !-boxes (\"","authors_text":"Aleks Kissinger (University of Oxford), Alex Merry (University of Oxford), Matvey Soloviev (University of Cambridge)","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2012-04-30T16:38:20Z","title":"Pattern graph rewrite systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.6695","kind":"arxiv","version":3},"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:849cc047c35aa5b5fa3f08d10ee3640eccb26726913dd4148c0a3891b32d4ea0","target":"record","created_at":"2026-05-18T02:55:11Z","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":"cf7bd3012ede32900711260ad1793cf431bf3367489bd38f87559c9f23052d2c","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2012-04-30T16:38:20Z","title_canon_sha256":"befdfcbab6706fab4846c020031a0a7e327b4ad1612909b67b9fdaf2c0146f3c"},"schema_version":"1.0","source":{"id":"1204.6695","kind":"arxiv","version":3}},"canonical_sha256":"81a5dc8a0e9805e9c6395ecf974b664f8a3e299cfa0a90efa0d79211b1a0e430","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"81a5dc8a0e9805e9c6395ecf974b664f8a3e299cfa0a90efa0d79211b1a0e430","first_computed_at":"2026-05-18T02:55:11.587509Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:55:11.587509Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XSme+2WF0DpJ/4KnZGKNO7dC0tiIqXJPxXsMvPPdTSCULFZnWDHhXzQPCPjdZBPxjEDlXMaC5E4NLJ+KBRnoCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:55:11.587979Z","signed_message":"canonical_sha256_bytes"},"source_id":"1204.6695","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:849cc047c35aa5b5fa3f08d10ee3640eccb26726913dd4148c0a3891b32d4ea0","sha256:e85ed18d6feb39947084fd3810da7e30a74ee7b3c80db661a3afaa495367c4d9"],"state_sha256":"7580c943dfa85668bcf93371a7455b3a6c89f94051c03a1e848fb3f63751594f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TEzbY1i+IztyEvIg7Pn9UAiozVV6Tfj4gUrKAj+vjoQdKKWrYgcYruXz4sWqxxVIK0vi4V4D+n4nR+n97FfjDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T12:40:38.166502Z","bundle_sha256":"552eb65c88c32d778114867b85c84d6f31b45912f732e9ba8743a4085802810b"}}