{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:IVYJSFHW44INBE4LPZWLCGFU46","short_pith_number":"pith:IVYJSFHW","schema_version":"1.0","canonical_sha256":"45709914f6e710d0938b7e6cb118b4e79d081a2317f2c085248749bd7a1a1196","source":{"kind":"arxiv","id":"1109.2658","version":1},"attestation_state":"computed","paper":{"title":"A Software Tool for Legal Drafting","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","cs.SE"],"primary_cat":"cs.CY","authors_text":"Argentina), Buenos Aires, Daniel Gor\\'in (Dpto. Computaci\\'on, FCEyN, Fernando Schapachnik (Dpto. Computaci\\'on, Sergio Mera (Dpto. Computaci\\'on, UBA","submitted_at":"2011-09-13T01:25:51Z","abstract_excerpt":"Although many attempts at automated aids for legal drafting have been made, they were based on the construction of a new tool, completely from scratch. This is at least curious, considering that a strong parallelism can be established between a normative document and a software specification: both describe what an entity should or should not do, can or cannot do.\n  In this article we compare normative documents and software specifications to find out their similarities and differences. The comparison shows that there are distinctive particularities, but they are restricted to a very specific s"},"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":"1109.2658","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2011-09-13T01:25:51Z","cross_cats_sorted":["cs.LO","cs.SE"],"title_canon_sha256":"e48efa79c16307f8b73601573f95f6ebaf5882821de322a428ce61d20ff35dbb","abstract_canon_sha256":"df662479b7f11ccde81b32c4c664a105e21abe11fdfb31c631b23a30e36c6054"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:13:07.942650Z","signature_b64":"0P+NNPN/o1Gd5+nnrfFQTC76gUeFf+zXE6fpUWvNJFJvL25sZUNc461KHR70GSEBREZ6zDXtPi8Rx3t93oM7DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"45709914f6e710d0938b7e6cb118b4e79d081a2317f2c085248749bd7a1a1196","last_reissued_at":"2026-05-18T04:13:07.941934Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:13:07.941934Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Software Tool for Legal Drafting","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","cs.SE"],"primary_cat":"cs.CY","authors_text":"Argentina), Buenos Aires, Daniel Gor\\'in (Dpto. Computaci\\'on, FCEyN, Fernando Schapachnik (Dpto. Computaci\\'on, Sergio Mera (Dpto. Computaci\\'on, UBA","submitted_at":"2011-09-13T01:25:51Z","abstract_excerpt":"Although many attempts at automated aids for legal drafting have been made, they were based on the construction of a new tool, completely from scratch. This is at least curious, considering that a strong parallelism can be established between a normative document and a software specification: both describe what an entity should or should not do, can or cannot do.\n  In this article we compare normative documents and software specifications to find out their similarities and differences. The comparison shows that there are distinctive particularities, but they are restricted to a very specific s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1109.2658","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":"1109.2658","created_at":"2026-05-18T04:13:07.942061+00:00"},{"alias_kind":"arxiv_version","alias_value":"1109.2658v1","created_at":"2026-05-18T04:13:07.942061+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1109.2658","created_at":"2026-05-18T04:13:07.942061+00:00"},{"alias_kind":"pith_short_12","alias_value":"IVYJSFHW44IN","created_at":"2026-05-18T12:26:32.869790+00:00"},{"alias_kind":"pith_short_16","alias_value":"IVYJSFHW44INBE4L","created_at":"2026-05-18T12:26:32.869790+00:00"},{"alias_kind":"pith_short_8","alias_value":"IVYJSFHW","created_at":"2026-05-18T12:26:32.869790+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/IVYJSFHW44INBE4LPZWLCGFU46","json":"https://pith.science/pith/IVYJSFHW44INBE4LPZWLCGFU46.json","graph_json":"https://pith.science/api/pith-number/IVYJSFHW44INBE4LPZWLCGFU46/graph.json","events_json":"https://pith.science/api/pith-number/IVYJSFHW44INBE4LPZWLCGFU46/events.json","paper":"https://pith.science/paper/IVYJSFHW"},"agent_actions":{"view_html":"https://pith.science/pith/IVYJSFHW44INBE4LPZWLCGFU46","download_json":"https://pith.science/pith/IVYJSFHW44INBE4LPZWLCGFU46.json","view_paper":"https://pith.science/paper/IVYJSFHW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1109.2658&json=true","fetch_graph":"https://pith.science/api/pith-number/IVYJSFHW44INBE4LPZWLCGFU46/graph.json","fetch_events":"https://pith.science/api/pith-number/IVYJSFHW44INBE4LPZWLCGFU46/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/IVYJSFHW44INBE4LPZWLCGFU46/action/timestamp_anchor","attest_storage":"https://pith.science/pith/IVYJSFHW44INBE4LPZWLCGFU46/action/storage_attestation","attest_author":"https://pith.science/pith/IVYJSFHW44INBE4LPZWLCGFU46/action/author_attestation","sign_citation":"https://pith.science/pith/IVYJSFHW44INBE4LPZWLCGFU46/action/citation_signature","submit_replication":"https://pith.science/pith/IVYJSFHW44INBE4LPZWLCGFU46/action/replication_record"}},"created_at":"2026-05-18T04:13:07.942061+00:00","updated_at":"2026-05-18T04:13:07.942061+00:00"}