{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:FALV3KZGZ4Y3NFJSV4NXMUGZVU","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":"b4f2735c021f792c608f52df1955192a27be84586cf4df748fa3bad5d4f5444d","cross_cats_sorted":["cs.LO","math.CO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DS","submitted_at":"2021-11-04T11:14:20Z","title_canon_sha256":"06e47a76ec9119d40e14cba8103c1a99b05ae777788bfa389d3c1aabf8fa9d81"},"schema_version":"1.0","source":{"id":"2111.02755","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2111.02755","created_at":"2026-07-05T05:13:04Z"},{"alias_kind":"arxiv_version","alias_value":"2111.02755v2","created_at":"2026-07-05T05:13:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2111.02755","created_at":"2026-07-05T05:13:04Z"},{"alias_kind":"pith_short_12","alias_value":"FALV3KZGZ4Y3","created_at":"2026-07-05T05:13:04Z"},{"alias_kind":"pith_short_16","alias_value":"FALV3KZGZ4Y3NFJS","created_at":"2026-07-05T05:13:04Z"},{"alias_kind":"pith_short_8","alias_value":"FALV3KZG","created_at":"2026-07-05T05:13:04Z"}],"graph_snapshots":[{"event_id":"sha256:588778d1a7fa8ab8c82d41ce1872bb89e781449cceb1da194618a8d4a353cf28","target":"graph","created_at":"2026-07-05T05:13:04Z","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/2111.02755/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We introduce a novel model-theoretic framework inspired from graph modification and based on the interplay between model theory and algorithmic graph minors. The core of our framework is a new compound logic operating with two types of sentences, expressing graph modification: the modulator sentence, defining some property of the modified part of the graph, and the target sentence, defining some property of the resulting graph. In our framework, modulator sentences are in counting monadic second-order logic (CMSOL) and have models of bounded treewidth, while target sentences express first-orde","authors_text":"Dimitrios M. Thilikos, Fedor V. Fomin, Giannos Stamoulis, Ignasi Sau, Petr A. Golovach","cross_cats":["cs.LO","math.CO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DS","submitted_at":"2021-11-04T11:14:20Z","title":"Compound Logics for Modification Problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2111.02755","kind":"arxiv","version":2},"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:65edae06e7899494e0779b61c485ca3e520f1dc96f212135b8ff9c8e65363d23","target":"record","created_at":"2026-07-05T05:13:04Z","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":"b4f2735c021f792c608f52df1955192a27be84586cf4df748fa3bad5d4f5444d","cross_cats_sorted":["cs.LO","math.CO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DS","submitted_at":"2021-11-04T11:14:20Z","title_canon_sha256":"06e47a76ec9119d40e14cba8103c1a99b05ae777788bfa389d3c1aabf8fa9d81"},"schema_version":"1.0","source":{"id":"2111.02755","kind":"arxiv","version":2}},"canonical_sha256":"28175dab26cf31b69532af1b7650d9ad26bf17e1e189dee7fd34e24d04174882","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"28175dab26cf31b69532af1b7650d9ad26bf17e1e189dee7fd34e24d04174882","first_computed_at":"2026-07-05T05:13:04.611058Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:13:04.611058Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ojzlsko01xKuWrl/TxvvUQDPeO4MoQNoMBNGnLEhop/XlGISStb/3KApC1RMGMkkj7sJoyGKnyM15JNP4W7jAw==","signature_status":"signed_v1","signed_at":"2026-07-05T05:13:04.611449Z","signed_message":"canonical_sha256_bytes"},"source_id":"2111.02755","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:65edae06e7899494e0779b61c485ca3e520f1dc96f212135b8ff9c8e65363d23","sha256:588778d1a7fa8ab8c82d41ce1872bb89e781449cceb1da194618a8d4a353cf28"],"state_sha256":"ba7d8c29931fc7fcb85b31f04256f8ec9cf3905e89dc770d1a75c4e8f9add8d7"}