{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:JJLOXDZTOP3TT2YHZN7PMPIDTL","short_pith_number":"pith:JJLOXDZT","schema_version":"1.0","canonical_sha256":"4a56eb8f3373f739eb07cb7ef63d039adab1fee9b885bbb99c411981eb295e24","source":{"kind":"arxiv","id":"2402.00275","version":1},"attestation_state":"computed","paper":{"title":"The Maude strategy language","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Alberto Verdejo, Jos\\'e Meseguer, Narciso Mart\\'i-Oliet, Rub\\'en Rubio, Steven Eker","submitted_at":"2024-02-01T01:58:34Z","abstract_excerpt":"Rewriting logic is a natural and expressive framework for the specification of concurrent systems and logics. The Maude specification language provides an implementation of this formalism that allows executing, verifying, and analyzing the represented systems. These specifications declare their objects by means of terms and equations, and provide rewriting rules to represent potentially non-deterministic local transformations on the state. Sometimes a controlled application of these rules is required to reduce non-determinism, to capture global, goal-oriented or efficiency concerns, or to sele"},"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":"2402.00275","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2024-02-01T01:58:34Z","cross_cats_sorted":[],"title_canon_sha256":"19d8d87271fac373535aa9943c333451a5f9753e3dbf1222b029a2f493663ce1","abstract_canon_sha256":"43021972648f4cc7238db094bfb12a0b98228db0630404d9b3481b82c18d4734"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:40:09.335554Z","signature_b64":"1FN1X4XSsTFRIDXZqS1+HpvU5fKB9m4jprK+mXE9jmWFSd0xW604b9As4++iQW25Mu2SZye0s0xZksJSPwr+CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4a56eb8f3373f739eb07cb7ef63d039adab1fee9b885bbb99c411981eb295e24","last_reissued_at":"2026-07-05T07:40:09.335053Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:40:09.335053Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The Maude strategy language","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Alberto Verdejo, Jos\\'e Meseguer, Narciso Mart\\'i-Oliet, Rub\\'en Rubio, Steven Eker","submitted_at":"2024-02-01T01:58:34Z","abstract_excerpt":"Rewriting logic is a natural and expressive framework for the specification of concurrent systems and logics. The Maude specification language provides an implementation of this formalism that allows executing, verifying, and analyzing the represented systems. These specifications declare their objects by means of terms and equations, and provide rewriting rules to represent potentially non-deterministic local transformations on the state. Sometimes a controlled application of these rules is required to reduce non-determinism, to capture global, goal-oriented or efficiency concerns, or to sele"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.00275","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2402.00275/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2402.00275","created_at":"2026-07-05T07:40:09.335112+00:00"},{"alias_kind":"arxiv_version","alias_value":"2402.00275v1","created_at":"2026-07-05T07:40:09.335112+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.00275","created_at":"2026-07-05T07:40:09.335112+00:00"},{"alias_kind":"pith_short_12","alias_value":"JJLOXDZTOP3T","created_at":"2026-07-05T07:40:09.335112+00:00"},{"alias_kind":"pith_short_16","alias_value":"JJLOXDZTOP3TT2YH","created_at":"2026-07-05T07:40:09.335112+00:00"},{"alias_kind":"pith_short_8","alias_value":"JJLOXDZT","created_at":"2026-07-05T07:40:09.335112+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/JJLOXDZTOP3TT2YHZN7PMPIDTL","json":"https://pith.science/pith/JJLOXDZTOP3TT2YHZN7PMPIDTL.json","graph_json":"https://pith.science/api/pith-number/JJLOXDZTOP3TT2YHZN7PMPIDTL/graph.json","events_json":"https://pith.science/api/pith-number/JJLOXDZTOP3TT2YHZN7PMPIDTL/events.json","paper":"https://pith.science/paper/JJLOXDZT"},"agent_actions":{"view_html":"https://pith.science/pith/JJLOXDZTOP3TT2YHZN7PMPIDTL","download_json":"https://pith.science/pith/JJLOXDZTOP3TT2YHZN7PMPIDTL.json","view_paper":"https://pith.science/paper/JJLOXDZT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2402.00275&json=true","fetch_graph":"https://pith.science/api/pith-number/JJLOXDZTOP3TT2YHZN7PMPIDTL/graph.json","fetch_events":"https://pith.science/api/pith-number/JJLOXDZTOP3TT2YHZN7PMPIDTL/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JJLOXDZTOP3TT2YHZN7PMPIDTL/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JJLOXDZTOP3TT2YHZN7PMPIDTL/action/storage_attestation","attest_author":"https://pith.science/pith/JJLOXDZTOP3TT2YHZN7PMPIDTL/action/author_attestation","sign_citation":"https://pith.science/pith/JJLOXDZTOP3TT2YHZN7PMPIDTL/action/citation_signature","submit_replication":"https://pith.science/pith/JJLOXDZTOP3TT2YHZN7PMPIDTL/action/replication_record"}},"created_at":"2026-07-05T07:40:09.335112+00:00","updated_at":"2026-07-05T07:40:09.335112+00:00"}