{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:IV2VW2UBMB6YO6FHZXWULFRBHC","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":"66484d4d9a7887ee4b2062e4601afdf262d6fc6ffd9147f383a8205b6b625e0b","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2021-07-29T13:28:46Z","title_canon_sha256":"5c606b7108a14f27190201d5ba599f65ad961b54adeddc818721ad0ae3b27873"},"schema_version":"1.0","source":{"id":"2107.13953","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2107.13953","created_at":"2026-07-05T03:10:54Z"},{"alias_kind":"arxiv_version","alias_value":"2107.13953v2","created_at":"2026-07-05T03:10:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2107.13953","created_at":"2026-07-05T03:10:54Z"},{"alias_kind":"pith_short_12","alias_value":"IV2VW2UBMB6Y","created_at":"2026-07-05T03:10:54Z"},{"alias_kind":"pith_short_16","alias_value":"IV2VW2UBMB6YO6FH","created_at":"2026-07-05T03:10:54Z"},{"alias_kind":"pith_short_8","alias_value":"IV2VW2UB","created_at":"2026-07-05T03:10:54Z"}],"graph_snapshots":[{"event_id":"sha256:e4fc089874b03b39dd4856bccaf43d8764cb4fd59d98b45863ecd6c51f8f73a9","target":"graph","created_at":"2026-07-05T03:10:54Z","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/2107.13953/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We describe two formalisms for defining graph languages, and prove that they are equivalent:\n  1. Separator logic. This is first-order logic on graphs which is allowed to use the edge relation, and for every $n \\in \\{0,1,\\ldots \\}$ a relation of arity $n+2$ which says that \"vertex $s$ can be connected to vertex $t$ by a path that avoids vertices $v_1,\\ldots,v_n$\".\n  2. Star-free graph expressions. These are expressions that describe graphs with distinguished vertices called ports, and which are built from finite languages via Boolean combinations and the operations on graphs with ports used to","authors_text":"Mikolaj Bojanczyk","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2021-07-29T13:28:46Z","title":"Separator logic and star-free expressions for graphs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2107.13953","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:eab5590648a1ed83bb3f6916e28f52a8b164f8574de5e5c5ef34e1542558d40d","target":"record","created_at":"2026-07-05T03:10:54Z","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":"66484d4d9a7887ee4b2062e4601afdf262d6fc6ffd9147f383a8205b6b625e0b","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2021-07-29T13:28:46Z","title_canon_sha256":"5c606b7108a14f27190201d5ba599f65ad961b54adeddc818721ad0ae3b27873"},"schema_version":"1.0","source":{"id":"2107.13953","kind":"arxiv","version":2}},"canonical_sha256":"45755b6a81607d8778a7cded459621389880d25b608d01262aacdaf6648f140c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"45755b6a81607d8778a7cded459621389880d25b608d01262aacdaf6648f140c","first_computed_at":"2026-07-05T03:10:54.692024Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:10:54.692024Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4sIr8LYTxhDXaGKSoaV9NqtkfCoN9Q8t4UKK9m2G7lmVVXpF3zdE9pk9FXHEhWXSrJsa0082pmo/0NUSfsb9BA==","signature_status":"signed_v1","signed_at":"2026-07-05T03:10:54.692550Z","signed_message":"canonical_sha256_bytes"},"source_id":"2107.13953","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:eab5590648a1ed83bb3f6916e28f52a8b164f8574de5e5c5ef34e1542558d40d","sha256:e4fc089874b03b39dd4856bccaf43d8764cb4fd59d98b45863ecd6c51f8f73a9"],"state_sha256":"41db9c458325d0958a0083f01a4e86478311f54631b8252e606d021fdd39363b"}