{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:NHRUIT6HRRBJOQ6JIPTYUNXBU7","short_pith_number":"pith:NHRUIT6H","schema_version":"1.0","canonical_sha256":"69e3444fc78c429743c943e78a36e1a7ef46ccbba9fd59c29e12d1c8ec39820c","source":{"kind":"arxiv","id":"1907.10919","version":1},"attestation_state":"computed","paper":{"title":"Symbolic Analysis of Maude Theories with Narval","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"Demis Ballis, Julia Sapi\\~na, Mar\\'ia Alpuente, Santiago Escobar","submitted_at":"2019-07-25T09:27:07Z","abstract_excerpt":"Concurrent functional languages that are endowed with symbolic reasoning capabilities such as Maude offer a high-level, elegant, and efficient approach to programming and analyzing complex, highly nondeterministic software systems. Maude's symbolic capabilities are based on equational unification and narrowing in rewrite theories, and provide Maude with advanced logic programming capabilities such as unification modulo user-definable equational theories and symbolic reachability analysis in rewrite theories. Intricate computing problems may be effectively and naturally solved in Maude thanks t"},"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":"1907.10919","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-07-25T09:27:07Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"c5f951e1a8b0865a6494f6aac24140a710c1bbbffacc9566d06dec70c2d4fe07","abstract_canon_sha256":"63f293994b9aa3fd0f254d053c19b2f30e943e0adb9dccebeefec57d423d3432"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:29.787261Z","signature_b64":"kRli2Mys8eXG1LtWX9sj0sfDzG0JT/bbBYK9BwBuA8/MYBwbaoszcC0rbOthVP+PdYmeIUsx62Qh+lVF5VqqBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"69e3444fc78c429743c943e78a36e1a7ef46ccbba9fd59c29e12d1c8ec39820c","last_reissued_at":"2026-05-17T23:39:29.786781Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:29.786781Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Symbolic Analysis of Maude Theories with Narval","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"Demis Ballis, Julia Sapi\\~na, Mar\\'ia Alpuente, Santiago Escobar","submitted_at":"2019-07-25T09:27:07Z","abstract_excerpt":"Concurrent functional languages that are endowed with symbolic reasoning capabilities such as Maude offer a high-level, elegant, and efficient approach to programming and analyzing complex, highly nondeterministic software systems. Maude's symbolic capabilities are based on equational unification and narrowing in rewrite theories, and provide Maude with advanced logic programming capabilities such as unification modulo user-definable equational theories and symbolic reachability analysis in rewrite theories. Intricate computing problems may be effectively and naturally solved in Maude thanks t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.10919","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":"1907.10919","created_at":"2026-05-17T23:39:29.786857+00:00"},{"alias_kind":"arxiv_version","alias_value":"1907.10919v1","created_at":"2026-05-17T23:39:29.786857+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.10919","created_at":"2026-05-17T23:39:29.786857+00:00"},{"alias_kind":"pith_short_12","alias_value":"NHRUIT6HRRBJ","created_at":"2026-05-18T12:33:24.271573+00:00"},{"alias_kind":"pith_short_16","alias_value":"NHRUIT6HRRBJOQ6J","created_at":"2026-05-18T12:33:24.271573+00:00"},{"alias_kind":"pith_short_8","alias_value":"NHRUIT6H","created_at":"2026-05-18T12:33:24.271573+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/NHRUIT6HRRBJOQ6JIPTYUNXBU7","json":"https://pith.science/pith/NHRUIT6HRRBJOQ6JIPTYUNXBU7.json","graph_json":"https://pith.science/api/pith-number/NHRUIT6HRRBJOQ6JIPTYUNXBU7/graph.json","events_json":"https://pith.science/api/pith-number/NHRUIT6HRRBJOQ6JIPTYUNXBU7/events.json","paper":"https://pith.science/paper/NHRUIT6H"},"agent_actions":{"view_html":"https://pith.science/pith/NHRUIT6HRRBJOQ6JIPTYUNXBU7","download_json":"https://pith.science/pith/NHRUIT6HRRBJOQ6JIPTYUNXBU7.json","view_paper":"https://pith.science/paper/NHRUIT6H","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1907.10919&json=true","fetch_graph":"https://pith.science/api/pith-number/NHRUIT6HRRBJOQ6JIPTYUNXBU7/graph.json","fetch_events":"https://pith.science/api/pith-number/NHRUIT6HRRBJOQ6JIPTYUNXBU7/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/NHRUIT6HRRBJOQ6JIPTYUNXBU7/action/timestamp_anchor","attest_storage":"https://pith.science/pith/NHRUIT6HRRBJOQ6JIPTYUNXBU7/action/storage_attestation","attest_author":"https://pith.science/pith/NHRUIT6HRRBJOQ6JIPTYUNXBU7/action/author_attestation","sign_citation":"https://pith.science/pith/NHRUIT6HRRBJOQ6JIPTYUNXBU7/action/citation_signature","submit_replication":"https://pith.science/pith/NHRUIT6HRRBJOQ6JIPTYUNXBU7/action/replication_record"}},"created_at":"2026-05-17T23:39:29.786857+00:00","updated_at":"2026-05-17T23:39:29.786857+00:00"}