{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:ISQ6QISTZAB2OE3WCLU3CCHKJE","short_pith_number":"pith:ISQ6QIST","canonical_record":{"source":{"id":"1702.04597","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-02-15T13:27:49Z","cross_cats_sorted":[],"title_canon_sha256":"69ad2b586029b754bdce5bfb9e05a4b7b6bacf7094b2a432716fe37961e3ea8e","abstract_canon_sha256":"dc4cf24f66f06193c961ee5738a77455d65c852219c34f9971cbc0d6d083b31e"},"schema_version":"1.0"},"canonical_sha256":"44a1e82253c803a7137612e9b108ea492f7dec01e485b01953502ae76a6a2525","source":{"kind":"arxiv","id":"1702.04597","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.04597","created_at":"2026-05-18T00:50:41Z"},{"alias_kind":"arxiv_version","alias_value":"1702.04597v1","created_at":"2026-05-18T00:50:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.04597","created_at":"2026-05-18T00:50:41Z"},{"alias_kind":"pith_short_12","alias_value":"ISQ6QISTZAB2","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_16","alias_value":"ISQ6QISTZAB2OE3W","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_8","alias_value":"ISQ6QIST","created_at":"2026-05-18T12:31:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:ISQ6QISTZAB2OE3WCLU3CCHKJE","target":"record","payload":{"canonical_record":{"source":{"id":"1702.04597","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-02-15T13:27:49Z","cross_cats_sorted":[],"title_canon_sha256":"69ad2b586029b754bdce5bfb9e05a4b7b6bacf7094b2a432716fe37961e3ea8e","abstract_canon_sha256":"dc4cf24f66f06193c961ee5738a77455d65c852219c34f9971cbc0d6d083b31e"},"schema_version":"1.0"},"canonical_sha256":"44a1e82253c803a7137612e9b108ea492f7dec01e485b01953502ae76a6a2525","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:50:41.172206Z","signature_b64":"te/Vm5j2cyf/InqJ+9wCpUNCYak6Lc5sXYk1AtdkJi8EYkr7ZeCalzXiBT+AutwcgJkfOknoVH69AKJWSQveCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"44a1e82253c803a7137612e9b108ea492f7dec01e485b01953502ae76a6a2525","last_reissued_at":"2026-05-18T00:50:41.171479Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:50:41.171479Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1702.04597","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-18T00:50:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yS/VRxNsDKdsGO+WuKYcWbYwQ9rjJmkXAatf2pr5gMh3eeiRDiTyUpFjzGvanCXnEeZbOz81TZXa8dMDKsuQDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T21:31:13.791630Z"},"content_sha256":"6c872253f242665f74510c46f52ba4df477c8afcb46fc20da76e34b0bf82f112","schema_version":"1.0","event_id":"sha256:6c872253f242665f74510c46f52ba4df477c8afcb46fc20da76e34b0bf82f112"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:ISQ6QISTZAB2OE3WCLU3CCHKJE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Weighted Operator Precedence Languages","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Dino Mandrioli, Manfred Droste, Matteo Pradella, Stefan D\\\"uck","submitted_at":"2017-02-15T13:27:49Z","abstract_excerpt":"In the last years renewed investigation of operator precedence languages (OPL) led to discover important properties thereof: OPL are closed with respect to all major operations, are characterized, besides the original grammar family, in terms of an automata family and an MSO logic; furthermore they significantly generalize the well-known visibly pushdown languages (VPL). In another area of research, quantitative models of systems are also greatly in demand. In this paper, we lay the foundation to marry these two research fields. We introduce weighted operator precedence automata and show how t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.04597","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-18T00:50:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eaKq4cSIbBlgCfWMyeb+E+z1W0hIvpRc2/tFXkksZ//LfJZe3Jb+3FdkwEo86C9rnx38xNFP+9Xtg+4vba4TCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T21:31:13.792129Z"},"content_sha256":"ff943c8c08e13c232dad95274a7fa44aafd90063f8b0357220a3c7e3cc188dbd","schema_version":"1.0","event_id":"sha256:ff943c8c08e13c232dad95274a7fa44aafd90063f8b0357220a3c7e3cc188dbd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ISQ6QISTZAB2OE3WCLU3CCHKJE/bundle.json","state_url":"https://pith.science/pith/ISQ6QISTZAB2OE3WCLU3CCHKJE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ISQ6QISTZAB2OE3WCLU3CCHKJE/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-05-31T21:31:13Z","links":{"resolver":"https://pith.science/pith/ISQ6QISTZAB2OE3WCLU3CCHKJE","bundle":"https://pith.science/pith/ISQ6QISTZAB2OE3WCLU3CCHKJE/bundle.json","state":"https://pith.science/pith/ISQ6QISTZAB2OE3WCLU3CCHKJE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ISQ6QISTZAB2OE3WCLU3CCHKJE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:ISQ6QISTZAB2OE3WCLU3CCHKJE","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":"dc4cf24f66f06193c961ee5738a77455d65c852219c34f9971cbc0d6d083b31e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-02-15T13:27:49Z","title_canon_sha256":"69ad2b586029b754bdce5bfb9e05a4b7b6bacf7094b2a432716fe37961e3ea8e"},"schema_version":"1.0","source":{"id":"1702.04597","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.04597","created_at":"2026-05-18T00:50:41Z"},{"alias_kind":"arxiv_version","alias_value":"1702.04597v1","created_at":"2026-05-18T00:50:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.04597","created_at":"2026-05-18T00:50:41Z"},{"alias_kind":"pith_short_12","alias_value":"ISQ6QISTZAB2","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_16","alias_value":"ISQ6QISTZAB2OE3W","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_8","alias_value":"ISQ6QIST","created_at":"2026-05-18T12:31:21Z"}],"graph_snapshots":[{"event_id":"sha256:ff943c8c08e13c232dad95274a7fa44aafd90063f8b0357220a3c7e3cc188dbd","target":"graph","created_at":"2026-05-18T00:50:41Z","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":"In the last years renewed investigation of operator precedence languages (OPL) led to discover important properties thereof: OPL are closed with respect to all major operations, are characterized, besides the original grammar family, in terms of an automata family and an MSO logic; furthermore they significantly generalize the well-known visibly pushdown languages (VPL). In another area of research, quantitative models of systems are also greatly in demand. In this paper, we lay the foundation to marry these two research fields. We introduce weighted operator precedence automata and show how t","authors_text":"Dino Mandrioli, Manfred Droste, Matteo Pradella, Stefan D\\\"uck","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-02-15T13:27:49Z","title":"Weighted Operator Precedence Languages"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.04597","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:6c872253f242665f74510c46f52ba4df477c8afcb46fc20da76e34b0bf82f112","target":"record","created_at":"2026-05-18T00:50:41Z","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":"dc4cf24f66f06193c961ee5738a77455d65c852219c34f9971cbc0d6d083b31e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-02-15T13:27:49Z","title_canon_sha256":"69ad2b586029b754bdce5bfb9e05a4b7b6bacf7094b2a432716fe37961e3ea8e"},"schema_version":"1.0","source":{"id":"1702.04597","kind":"arxiv","version":1}},"canonical_sha256":"44a1e82253c803a7137612e9b108ea492f7dec01e485b01953502ae76a6a2525","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"44a1e82253c803a7137612e9b108ea492f7dec01e485b01953502ae76a6a2525","first_computed_at":"2026-05-18T00:50:41.171479Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:50:41.171479Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"te/Vm5j2cyf/InqJ+9wCpUNCYak6Lc5sXYk1AtdkJi8EYkr7ZeCalzXiBT+AutwcgJkfOknoVH69AKJWSQveCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:50:41.172206Z","signed_message":"canonical_sha256_bytes"},"source_id":"1702.04597","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6c872253f242665f74510c46f52ba4df477c8afcb46fc20da76e34b0bf82f112","sha256:ff943c8c08e13c232dad95274a7fa44aafd90063f8b0357220a3c7e3cc188dbd"],"state_sha256":"c43decf491d8d8e450dd3925c8925759f1f501e51e5502aa49b1b09b66ea198b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"39eIrcjvA7ZXBK5+a30QHZhyGkZW6WynblRsPcqJwCBFck92dKZGW85P+4WzB0baon1lEHPZ0cv//SQJGN3NBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T21:31:13.794697Z","bundle_sha256":"c03f95615650e81d0afd231780e73ee887055d2f3aa3e13608d8c9c9a0f791cf"}}