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