{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:SYD6QNEYCDSPOGNPIBZKQC6C7L","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":"f0194b10ff78da377e3fa3867f9a0ce5de14f83d142a256b06c0343f11f0bf0e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2012-04-11T11:49:33Z","title_canon_sha256":"c86e0c6081fcde5e4b4c10cb99c3e00fffc7afdfc15b9a8c3f71e0611bf615af"},"schema_version":"1.0","source":{"id":"1204.2421","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1204.2421","created_at":"2026-05-18T03:58:05Z"},{"alias_kind":"arxiv_version","alias_value":"1204.2421v1","created_at":"2026-05-18T03:58:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.2421","created_at":"2026-05-18T03:58:05Z"},{"alias_kind":"pith_short_12","alias_value":"SYD6QNEYCDSP","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"SYD6QNEYCDSPOGNP","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"SYD6QNEY","created_at":"2026-05-18T12:27:23Z"}],"graph_snapshots":[{"event_id":"sha256:4eb1ef8d41361cfa50a6e9542df1d0715aadc7ca456737055500d11160e874a4","target":"graph","created_at":"2026-05-18T03:58:05Z","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":"A theory is developed which uses \"networks\" (directed acyclic graphs with some extra structure) as a formalism for expressions in multilinear algebra. It is shown that this formalism is valid for arbitrary PROPs (short for 'PROducts and Permutations category'), and conversely that the PROP axioms are implicit in the concept of evaluating a network. Ordinary terms and operads constitute the special case that the graph underlying the network is a rooted tree.\n  Furthermore a rewriting theory for networks is developed. Included in this is a subexpression concept for which is given both algebraic ","authors_text":"Lars Hellstr\\\"om","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2012-04-11T11:49:33Z","title":"Network Rewriting I: The Foundation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.2421","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:8d4befd1ef2dd4aabc57374c230b19b80e3573cf37b00b237bb335e951ddb20a","target":"record","created_at":"2026-05-18T03:58:05Z","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":"f0194b10ff78da377e3fa3867f9a0ce5de14f83d142a256b06c0343f11f0bf0e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2012-04-11T11:49:33Z","title_canon_sha256":"c86e0c6081fcde5e4b4c10cb99c3e00fffc7afdfc15b9a8c3f71e0611bf615af"},"schema_version":"1.0","source":{"id":"1204.2421","kind":"arxiv","version":1}},"canonical_sha256":"9607e8349810e4f719af4072a80bc2faf4a6888851b001ef73943ad530ab8105","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9607e8349810e4f719af4072a80bc2faf4a6888851b001ef73943ad530ab8105","first_computed_at":"2026-05-18T03:58:05.352708Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:58:05.352708Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"u7rdNDSub9N6bwvevr/Np+fFkKeDHzUsV+4l0Jc6LoZTbkvI/0oaB3DDyj67thciaxVYCSE/ZMV3OqGQPLIaCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:58:05.353201Z","signed_message":"canonical_sha256_bytes"},"source_id":"1204.2421","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8d4befd1ef2dd4aabc57374c230b19b80e3573cf37b00b237bb335e951ddb20a","sha256:4eb1ef8d41361cfa50a6e9542df1d0715aadc7ca456737055500d11160e874a4"],"state_sha256":"d61c05624726260f15c4a40c9be9297d39adb7215d47520c70c612480f2f431e"}