{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:MKWGEBQEFPASML5EJMWSQYQFGB","short_pith_number":"pith:MKWGEBQE","canonical_record":{"source":{"id":"1204.4672","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-04-20T16:37:15Z","cross_cats_sorted":[],"title_canon_sha256":"0b32d309dc492c57fe2a93f280c7e8ee0e94593104774b8f8ecb57d105387257","abstract_canon_sha256":"46c1ee0c27e5192b299410da6eb4d33229ed83614e73d7f65e8fa4d22d2f6471"},"schema_version":"1.0"},"canonical_sha256":"62ac6206042bc1262fa44b2d286205306f061af8e7a9050b757e355c4f535a94","source":{"kind":"arxiv","id":"1204.4672","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1204.4672","created_at":"2026-05-18T02:21:16Z"},{"alias_kind":"arxiv_version","alias_value":"1204.4672v1","created_at":"2026-05-18T02:21:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.4672","created_at":"2026-05-18T02:21:16Z"},{"alias_kind":"pith_short_12","alias_value":"MKWGEBQEFPAS","created_at":"2026-05-18T12:27:14Z"},{"alias_kind":"pith_short_16","alias_value":"MKWGEBQEFPASML5E","created_at":"2026-05-18T12:27:14Z"},{"alias_kind":"pith_short_8","alias_value":"MKWGEBQE","created_at":"2026-05-18T12:27:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:MKWGEBQEFPASML5EJMWSQYQFGB","target":"record","payload":{"canonical_record":{"source":{"id":"1204.4672","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-04-20T16:37:15Z","cross_cats_sorted":[],"title_canon_sha256":"0b32d309dc492c57fe2a93f280c7e8ee0e94593104774b8f8ecb57d105387257","abstract_canon_sha256":"46c1ee0c27e5192b299410da6eb4d33229ed83614e73d7f65e8fa4d22d2f6471"},"schema_version":"1.0"},"canonical_sha256":"62ac6206042bc1262fa44b2d286205306f061af8e7a9050b757e355c4f535a94","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:21:16.107890Z","signature_b64":"BMHpEpNoxwJ9gbjEV01ThZ16kl0fLh11DARAOw4BAvtqX+7mfLJ3CRG7u1KgIM/7rnqTz/kNkU7yGxRrkTw8Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"62ac6206042bc1262fa44b2d286205306f061af8e7a9050b757e355c4f535a94","last_reissued_at":"2026-05-18T02:21:16.107247Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:21:16.107247Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1204.4672","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:21:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YGa7aUXUHaOHU4Gg3hnQP5M7nNyKLK+WQw/XIFyu30Ixxwje12JYMTkqFKQCE7tNw+8RwznbpI9kPEw4a9N9Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T04:47:22.155156Z"},"content_sha256":"dc8c73e2cc2fda3b8d8c217775a1e9baa6751513e3f69abf55f5e02302b45bf4","schema_version":"1.0","event_id":"sha256:dc8c73e2cc2fda3b8d8c217775a1e9baa6751513e3f69abf55f5e02302b45bf4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:MKWGEBQEFPASML5EJMWSQYQFGB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Join Levels of the Trotter-Weil Hierarchy are Decidable","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Alexander Lauser, Manfred Kufleitner","submitted_at":"2012-04-20T16:37:15Z","abstract_excerpt":"The variety DA of finite monoids has a huge number of different characterizations, ranging from two-variable first-order logic FO^2 to unambiguous polynomials. In order to study the structure of the subvarieties of DA, Trotter and Weil considered the intersection of varieties of finite monoids with bands, i.e., with idempotent monoids. The varieties of idempotent monoids are very well understood and fully classified. Trotter and Weil showed that for every band variety V there exists a unique maximal variety W inside DA such that the intersection with bands yields the given band variety V. Thes"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.4672","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":""},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:21:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nZsZ5kv0oq4jmKMDhcmrjPT/zjRUB35eUD7Xgm+xtgj4rUxcBPuovdPgtNWxHURFKpEPG0214sz4S6oiFcaGCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T04:47:22.155816Z"},"content_sha256":"b62c515ef16b3e5654f5aa4b006753ceac0b2398daa797bb0a2403f035ac183c","schema_version":"1.0","event_id":"sha256:b62c515ef16b3e5654f5aa4b006753ceac0b2398daa797bb0a2403f035ac183c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MKWGEBQEFPASML5EJMWSQYQFGB/bundle.json","state_url":"https://pith.science/pith/MKWGEBQEFPASML5EJMWSQYQFGB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MKWGEBQEFPASML5EJMWSQYQFGB/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-04T04:47:22Z","links":{"resolver":"https://pith.science/pith/MKWGEBQEFPASML5EJMWSQYQFGB","bundle":"https://pith.science/pith/MKWGEBQEFPASML5EJMWSQYQFGB/bundle.json","state":"https://pith.science/pith/MKWGEBQEFPASML5EJMWSQYQFGB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MKWGEBQEFPASML5EJMWSQYQFGB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:MKWGEBQEFPASML5EJMWSQYQFGB","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":"46c1ee0c27e5192b299410da6eb4d33229ed83614e73d7f65e8fa4d22d2f6471","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-04-20T16:37:15Z","title_canon_sha256":"0b32d309dc492c57fe2a93f280c7e8ee0e94593104774b8f8ecb57d105387257"},"schema_version":"1.0","source":{"id":"1204.4672","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1204.4672","created_at":"2026-05-18T02:21:16Z"},{"alias_kind":"arxiv_version","alias_value":"1204.4672v1","created_at":"2026-05-18T02:21:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.4672","created_at":"2026-05-18T02:21:16Z"},{"alias_kind":"pith_short_12","alias_value":"MKWGEBQEFPAS","created_at":"2026-05-18T12:27:14Z"},{"alias_kind":"pith_short_16","alias_value":"MKWGEBQEFPASML5E","created_at":"2026-05-18T12:27:14Z"},{"alias_kind":"pith_short_8","alias_value":"MKWGEBQE","created_at":"2026-05-18T12:27:14Z"}],"graph_snapshots":[{"event_id":"sha256:b62c515ef16b3e5654f5aa4b006753ceac0b2398daa797bb0a2403f035ac183c","target":"graph","created_at":"2026-05-18T02:21:16Z","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":"The variety DA of finite monoids has a huge number of different characterizations, ranging from two-variable first-order logic FO^2 to unambiguous polynomials. In order to study the structure of the subvarieties of DA, Trotter and Weil considered the intersection of varieties of finite monoids with bands, i.e., with idempotent monoids. The varieties of idempotent monoids are very well understood and fully classified. Trotter and Weil showed that for every band variety V there exists a unique maximal variety W inside DA such that the intersection with bands yields the given band variety V. Thes","authors_text":"Alexander Lauser, Manfred Kufleitner","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-04-20T16:37:15Z","title":"The Join Levels of the Trotter-Weil Hierarchy are Decidable"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.4672","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:dc8c73e2cc2fda3b8d8c217775a1e9baa6751513e3f69abf55f5e02302b45bf4","target":"record","created_at":"2026-05-18T02:21:16Z","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":"46c1ee0c27e5192b299410da6eb4d33229ed83614e73d7f65e8fa4d22d2f6471","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-04-20T16:37:15Z","title_canon_sha256":"0b32d309dc492c57fe2a93f280c7e8ee0e94593104774b8f8ecb57d105387257"},"schema_version":"1.0","source":{"id":"1204.4672","kind":"arxiv","version":1}},"canonical_sha256":"62ac6206042bc1262fa44b2d286205306f061af8e7a9050b757e355c4f535a94","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"62ac6206042bc1262fa44b2d286205306f061af8e7a9050b757e355c4f535a94","first_computed_at":"2026-05-18T02:21:16.107247Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:21:16.107247Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BMHpEpNoxwJ9gbjEV01ThZ16kl0fLh11DARAOw4BAvtqX+7mfLJ3CRG7u1KgIM/7rnqTz/kNkU7yGxRrkTw8Cw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:21:16.107890Z","signed_message":"canonical_sha256_bytes"},"source_id":"1204.4672","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dc8c73e2cc2fda3b8d8c217775a1e9baa6751513e3f69abf55f5e02302b45bf4","sha256:b62c515ef16b3e5654f5aa4b006753ceac0b2398daa797bb0a2403f035ac183c"],"state_sha256":"c35c5c4bad045f6e08fa9e0792c1c0d8529b991c7a49dbbeab16958d03e895ee"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/sz6FZTe99j4jqgsF0bJKkhiFOSpW0xV4AXKLoDraMl8tpq1Cc2TLUFCzyF/m2D0XvXM+Lu3vgtoKZA6E4+jDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T04:47:22.159135Z","bundle_sha256":"c4200755f6c296c559e6710ad897881b5d0eee4b3d4a79de5b9ab2fc19765c8f"}}