{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2007:Q5FVFZTTDIFZOS3FN3MOSDFQLO","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":"4484532ee7a3c7bb83fbf6c1fe17d009973a61a340af92bf271b9e3b7e8d3772","cross_cats_sorted":["cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2007-03-05T07:49:55Z","title_canon_sha256":"911e319979ce4b7c802dc3486ab5d1d409b0ee0c6e67e8f691391579190d7b7b"},"schema_version":"1.0","source":{"id":"cs/0703018","kind":"arxiv","version":24}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0703018","created_at":"2026-05-18T04:03:07Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0703018v24","created_at":"2026-05-18T04:03:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0703018","created_at":"2026-05-18T04:03:07Z"},{"alias_kind":"pith_short_12","alias_value":"Q5FVFZTTDIFZ","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_16","alias_value":"Q5FVFZTTDIFZOS3F","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_8","alias_value":"Q5FVFZTT","created_at":"2026-05-18T12:25:55Z"}],"graph_snapshots":[{"event_id":"sha256:9e14312e5dc17d27fd880029809e3f5d85329b74d13b96c9b137c32780a66072","target":"graph","created_at":"2026-05-18T04:03:07Z","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":"Coding theory is very useful for real world applications. A notable example is digital television. Basically, coding theory is to study a way of detecting and/or correcting data that may be true or false. Moreover coding theory is an area of mathematics, in which there is an interplay between many branches of mathematics, e.g., abstract algebra, combinatorics, discrete geometry, information theory, etc. In this paper we propose a novel approach for analyzing proof nets of Multiplicative Linear Logic (MLL) by coding theory. We define families of proof structures and introduce a metric space for","authors_text":"Satoshi Matsuoka","cross_cats":["cs.DM"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2007-03-05T07:49:55Z","title":"A Coding Theoretic Study on MLL proof nets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0703018","kind":"arxiv","version":24},"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:7100adb00d3c6daee135d4b7e8d733e5c932eab40160c7a6474c5181dc8bf394","target":"record","created_at":"2026-05-18T04:03:07Z","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":"4484532ee7a3c7bb83fbf6c1fe17d009973a61a340af92bf271b9e3b7e8d3772","cross_cats_sorted":["cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2007-03-05T07:49:55Z","title_canon_sha256":"911e319979ce4b7c802dc3486ab5d1d409b0ee0c6e67e8f691391579190d7b7b"},"schema_version":"1.0","source":{"id":"cs/0703018","kind":"arxiv","version":24}},"canonical_sha256":"874b52e6731a0b974b656ed8e90cb05baea12bed46f416e6060e3953025ecaea","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"874b52e6731a0b974b656ed8e90cb05baea12bed46f416e6060e3953025ecaea","first_computed_at":"2026-05-18T04:03:07.818365Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:03:07.818365Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QVAbGeawdQEqojwedy+4q9R2kKpBMLFVUyVc0KNuZHHZN0E69S8jqosp3yDKKEYyQtganWJV/FQIs0AJIKGCAA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:03:07.819122Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0703018","source_kind":"arxiv","source_version":24}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7100adb00d3c6daee135d4b7e8d733e5c932eab40160c7a6474c5181dc8bf394","sha256:9e14312e5dc17d27fd880029809e3f5d85329b74d13b96c9b137c32780a66072"],"state_sha256":"9b787eb74307786e06b1623b42bc493d2389ab08d090b498b99c596c04edf511"}