{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:6VIEGXLO2JXHB22FT3M2OFTXFK","short_pith_number":"pith:6VIEGXLO","schema_version":"1.0","canonical_sha256":"f550435d6ed26e70eb459ed9a716772aa03e541de0efcb02cb1a826bc2ef930f","source":{"kind":"arxiv","id":"1307.4472","version":1},"attestation_state":"computed","paper":{"title":"Weighted Automata and Monadic Second Order Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.LO","authors_text":"Haifa, Israel), Johann A. Makowsky (Faculty of Computer Science, Nadia Labai (Faculty of Computer Science, Technion-IIT","submitted_at":"2013-07-17T01:42:14Z","abstract_excerpt":"Let S be a commutative semiring. M. Droste and P. Gastin have introduced in 2005 weighted  monadic second order logic WMSOL with weights in S. They use a syntactic fragment RMSOL of WMSOL to characterize word functions (power series) recognizable  by weighted automata, where the semantics of quantifiers is   used both as arithmetical operations and, in the boolean case,  as quantification.\n  Already in 2001, B. Courcelle, J.Makowsky and U. Rotics have introduced  a formalism for graph parameters definable in Monadic Second order Logic, here called MSOLEVAL with values in a ring R.   Their fram"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1307.4472","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-07-17T01:42:14Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"7f091dbb356700c644d6d27aa6f7d48c8e8da3574f0a6d75d83320aa3c9e3ac0","abstract_canon_sha256":"138f65a2c2277e2ae6255e4154cfd6c66a3bab3aff6b5c28c61b9dfc30564457"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:18:17.868266Z","signature_b64":"v7avHRsc0qog40h/yK4GhE26YF2F+piUpYMVusNe3ropw7MIacZnEolSPIxxoiSndiYYvU6tiDCqpX6L6bG7Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f550435d6ed26e70eb459ed9a716772aa03e541de0efcb02cb1a826bc2ef930f","last_reissued_at":"2026-05-18T03:18:17.867843Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:18:17.867843Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Weighted Automata and Monadic Second Order Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.LO","authors_text":"Haifa, Israel), Johann A. Makowsky (Faculty of Computer Science, Nadia Labai (Faculty of Computer Science, Technion-IIT","submitted_at":"2013-07-17T01:42:14Z","abstract_excerpt":"Let S be a commutative semiring. M. Droste and P. Gastin have introduced in 2005 weighted  monadic second order logic WMSOL with weights in S. They use a syntactic fragment RMSOL of WMSOL to characterize word functions (power series) recognizable  by weighted automata, where the semantics of quantifiers is   used both as arithmetical operations and, in the boolean case,  as quantification.\n  Already in 2001, B. Courcelle, J.Makowsky and U. Rotics have introduced  a formalism for graph parameters definable in Monadic Second order Logic, here called MSOLEVAL with values in a ring R.   Their fram"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.4472","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1307.4472","created_at":"2026-05-18T03:18:17.867907+00:00"},{"alias_kind":"arxiv_version","alias_value":"1307.4472v1","created_at":"2026-05-18T03:18:17.867907+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.4472","created_at":"2026-05-18T03:18:17.867907+00:00"},{"alias_kind":"pith_short_12","alias_value":"6VIEGXLO2JXH","created_at":"2026-05-18T12:27:36.564083+00:00"},{"alias_kind":"pith_short_16","alias_value":"6VIEGXLO2JXHB22F","created_at":"2026-05-18T12:27:36.564083+00:00"},{"alias_kind":"pith_short_8","alias_value":"6VIEGXLO","created_at":"2026-05-18T12:27:36.564083+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/6VIEGXLO2JXHB22FT3M2OFTXFK","json":"https://pith.science/pith/6VIEGXLO2JXHB22FT3M2OFTXFK.json","graph_json":"https://pith.science/api/pith-number/6VIEGXLO2JXHB22FT3M2OFTXFK/graph.json","events_json":"https://pith.science/api/pith-number/6VIEGXLO2JXHB22FT3M2OFTXFK/events.json","paper":"https://pith.science/paper/6VIEGXLO"},"agent_actions":{"view_html":"https://pith.science/pith/6VIEGXLO2JXHB22FT3M2OFTXFK","download_json":"https://pith.science/pith/6VIEGXLO2JXHB22FT3M2OFTXFK.json","view_paper":"https://pith.science/paper/6VIEGXLO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1307.4472&json=true","fetch_graph":"https://pith.science/api/pith-number/6VIEGXLO2JXHB22FT3M2OFTXFK/graph.json","fetch_events":"https://pith.science/api/pith-number/6VIEGXLO2JXHB22FT3M2OFTXFK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6VIEGXLO2JXHB22FT3M2OFTXFK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6VIEGXLO2JXHB22FT3M2OFTXFK/action/storage_attestation","attest_author":"https://pith.science/pith/6VIEGXLO2JXHB22FT3M2OFTXFK/action/author_attestation","sign_citation":"https://pith.science/pith/6VIEGXLO2JXHB22FT3M2OFTXFK/action/citation_signature","submit_replication":"https://pith.science/pith/6VIEGXLO2JXHB22FT3M2OFTXFK/action/replication_record"}},"created_at":"2026-05-18T03:18:17.867907+00:00","updated_at":"2026-05-18T03:18:17.867907+00:00"}