{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:OC4MZM4777RTR34UIB2VWAMLHU","short_pith_number":"pith:OC4MZM47","schema_version":"1.0","canonical_sha256":"70b8ccb39fffe338ef9440755b018b3d253399696e0f58da376169ada4df78bb","source":{"kind":"arxiv","id":"2409.11015","version":1},"attestation_state":"computed","paper":{"title":"Introducing Quantification into a Hierarchical Graph Rewriting Language","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.SC"],"primary_cat":"cs.PL","authors_text":"Haruto Mishina, Kazunori Ueda","submitted_at":"2024-09-17T09:25:42Z","abstract_excerpt":"LMNtal is a programming and modeling language based on hierarchical graph rewriting that uses logical variables to represent connectivity and membranes to represent hierarchy. On the theoretical side, it allows logical interpretation based on intuitionistic linear logic; on the practical side, its full-fledged implementation supports a graph-based parallel model checker and has been used to model diverse applications including various computational models. This paper discuss how we extend LMNtal to QLMNtal (LMNtal with Quantification) to further enhance the usefulness of hierarchical graph rew"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2409.11015","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2024-09-17T09:25:42Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"a2def1f4d07417ef3aa3671ae601f06afbc9c20caf16f90077b9518ca2d1f845","abstract_canon_sha256":"6f5b0b14bec10a51ec3b190e5364650ef11f2ba2f4b196896a3150bee0bc8731"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:08:00.833426Z","signature_b64":"lLMAQ+OHHAMd8XAFoXmgHZ/gtGzd4CFGeZ68fv0rCIT52ZQm2ER7rnZRhLtuTtkUnekEhkGpzlJy/SdfcmoiCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"70b8ccb39fffe338ef9440755b018b3d253399696e0f58da376169ada4df78bb","last_reissued_at":"2026-07-05T09:08:00.832950Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:08:00.832950Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Introducing Quantification into a Hierarchical Graph Rewriting Language","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.SC"],"primary_cat":"cs.PL","authors_text":"Haruto Mishina, Kazunori Ueda","submitted_at":"2024-09-17T09:25:42Z","abstract_excerpt":"LMNtal is a programming and modeling language based on hierarchical graph rewriting that uses logical variables to represent connectivity and membranes to represent hierarchy. On the theoretical side, it allows logical interpretation based on intuitionistic linear logic; on the practical side, its full-fledged implementation supports a graph-based parallel model checker and has been used to model diverse applications including various computational models. This paper discuss how we extend LMNtal to QLMNtal (LMNtal with Quantification) to further enhance the usefulness of hierarchical graph rew"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.11015","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2409.11015/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2409.11015","created_at":"2026-07-05T09:08:00.833007+00:00"},{"alias_kind":"arxiv_version","alias_value":"2409.11015v1","created_at":"2026-07-05T09:08:00.833007+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.11015","created_at":"2026-07-05T09:08:00.833007+00:00"},{"alias_kind":"pith_short_12","alias_value":"OC4MZM4777RT","created_at":"2026-07-05T09:08:00.833007+00:00"},{"alias_kind":"pith_short_16","alias_value":"OC4MZM4777RTR34U","created_at":"2026-07-05T09:08:00.833007+00:00"},{"alias_kind":"pith_short_8","alias_value":"OC4MZM47","created_at":"2026-07-05T09:08:00.833007+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/OC4MZM4777RTR34UIB2VWAMLHU","json":"https://pith.science/pith/OC4MZM4777RTR34UIB2VWAMLHU.json","graph_json":"https://pith.science/api/pith-number/OC4MZM4777RTR34UIB2VWAMLHU/graph.json","events_json":"https://pith.science/api/pith-number/OC4MZM4777RTR34UIB2VWAMLHU/events.json","paper":"https://pith.science/paper/OC4MZM47"},"agent_actions":{"view_html":"https://pith.science/pith/OC4MZM4777RTR34UIB2VWAMLHU","download_json":"https://pith.science/pith/OC4MZM4777RTR34UIB2VWAMLHU.json","view_paper":"https://pith.science/paper/OC4MZM47","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2409.11015&json=true","fetch_graph":"https://pith.science/api/pith-number/OC4MZM4777RTR34UIB2VWAMLHU/graph.json","fetch_events":"https://pith.science/api/pith-number/OC4MZM4777RTR34UIB2VWAMLHU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OC4MZM4777RTR34UIB2VWAMLHU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OC4MZM4777RTR34UIB2VWAMLHU/action/storage_attestation","attest_author":"https://pith.science/pith/OC4MZM4777RTR34UIB2VWAMLHU/action/author_attestation","sign_citation":"https://pith.science/pith/OC4MZM4777RTR34UIB2VWAMLHU/action/citation_signature","submit_replication":"https://pith.science/pith/OC4MZM4777RTR34UIB2VWAMLHU/action/replication_record"}},"created_at":"2026-07-05T09:08:00.833007+00:00","updated_at":"2026-07-05T09:08:00.833007+00:00"}