{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:SAKLQV3GCUYQ74IMLIWA633ASJ","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":"e83ded91b8eaffb4ecf2f73b74c3d8bad86fa2d2af21dddebf15b968e9c40b29","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.DM","submitted_at":"2009-02-05T06:13:13Z","title_canon_sha256":"9a3ae65da5deb275af9df62dc2ab085ec2b2783469bd1984b1b6f2ab23c8031d"},"schema_version":"1.0","source":{"id":"0902.0850","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0902.0850","created_at":"2026-07-04T15:37:24Z"},{"alias_kind":"arxiv_version","alias_value":"0902.0850v1","created_at":"2026-07-04T15:37:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0902.0850","created_at":"2026-07-04T15:37:24Z"},{"alias_kind":"pith_short_12","alias_value":"SAKLQV3GCUYQ","created_at":"2026-07-04T15:37:24Z"},{"alias_kind":"pith_short_16","alias_value":"SAKLQV3GCUYQ74IM","created_at":"2026-07-04T15:37:24Z"},{"alias_kind":"pith_short_8","alias_value":"SAKLQV3G","created_at":"2026-07-04T15:37:24Z"}],"graph_snapshots":[{"event_id":"sha256:5588d882e0a83b2d9153094edc72b8ab9862c0dd9079bd7081e6533e4f283946","target":"graph","created_at":"2026-07-04T15:37:24Z","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/0902.0850/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Graph transformation is concerned with the manipulation of graphs by means of rules. Graph grammars have been traditionally studied using techniques from category theory. In previous works, we introduced Matrix Graph Grammars (MGGs) as a purely algebraic approach for the study of graph grammars and graph dynamics, based on the representation of graphs by means of their adjacency matrices. MGGs have been succesfully applied to problems such as applicability of rule sequences, sequentialization and reachability, providing new analysis techniques and generalizing and improving previous results.\n ","authors_text":"Juan de Lara, Pedro Pablo Perez Velasco","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.DM","submitted_at":"2009-02-05T06:13:13Z","title":"Matrix Graph Grammars and Monotone Complex Logics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0902.0850","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:8edd78cf71a81351b6cd0b094cbf9c2e6d725289637d02b2571c8db3cc02045d","target":"record","created_at":"2026-07-04T15:37:24Z","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":"e83ded91b8eaffb4ecf2f73b74c3d8bad86fa2d2af21dddebf15b968e9c40b29","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.DM","submitted_at":"2009-02-05T06:13:13Z","title_canon_sha256":"9a3ae65da5deb275af9df62dc2ab085ec2b2783469bd1984b1b6f2ab23c8031d"},"schema_version":"1.0","source":{"id":"0902.0850","kind":"arxiv","version":1}},"canonical_sha256":"9014b8576615310ff10c5a2c0f6f6092767e2d50dcbe7e652c91d2a05afa5612","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9014b8576615310ff10c5a2c0f6f6092767e2d50dcbe7e652c91d2a05afa5612","first_computed_at":"2026-07-04T15:37:24.523427Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T15:37:24.523427Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DP40ORl3lQwP3u/J39dUgt1moIwKcc7fsPg5idG8ZOFu+j6LQbk6KjXa+4PiMwbjqa/eoflNwccr78MRGNrJBg==","signature_status":"signed_v1","signed_at":"2026-07-04T15:37:24.523861Z","signed_message":"canonical_sha256_bytes"},"source_id":"0902.0850","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8edd78cf71a81351b6cd0b094cbf9c2e6d725289637d02b2571c8db3cc02045d","sha256:5588d882e0a83b2d9153094edc72b8ab9862c0dd9079bd7081e6533e4f283946"],"state_sha256":"0f31746959e51e71e290270eaf4e407758393c6c43db74de18ec49ba6fcf4ccf"}