{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:3WU3QK6V6TQ6M75IQ7CFLLZ6MR","short_pith_number":"pith:3WU3QK6V","schema_version":"1.0","canonical_sha256":"dda9b82bd5f4e1e67fa887c455af3e645f666738d155a9d4683d4fa88317bb02","source":{"kind":"arxiv","id":"1401.3484","version":1},"attestation_state":"computed","paper":{"title":"Modularity Aspects of Disjunctive Stable Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Emilia Oikarinen, Hans Tompits, Stefan Woltran, Tomi Janhunen","submitted_at":"2014-01-15T05:36:41Z","abstract_excerpt":"Practically all programming languages allow the programmer to split a program into several modules which brings along several advantages in software development. In this paper, we are interested in the area of answer-set programming where fully declarative and nonmonotonic languages are applied. In this context, obtaining a modular structure for programs is by no means straightforward since the output of an entire program cannot in general be composed from the output of its components. To better understand the effects of disjunctive information on modularity we restrict the scope of analysis 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":"1401.3484","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-15T05:36:41Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"4e7522ceff3ab6fedea6affbd4e05522335622bd44250cc09620089185d64688","abstract_canon_sha256":"f1ea441c0b42460fe37f6dfeeb4dc2d3d91cc6fcb557e1e5e4b411489dd4b9d2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:02:08.732606Z","signature_b64":"gNyglaSAG2e4gXtp5GMvD1Gr1U3U7198s3RGSnfw4fAGz6PeFeJfNhI1jUfZ+pakI1XFcH8+DQm7yhnJzIVqCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dda9b82bd5f4e1e67fa887c455af3e645f666738d155a9d4683d4fa88317bb02","last_reissued_at":"2026-05-18T03:02:08.731812Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:02:08.731812Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Modularity Aspects of Disjunctive Stable Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Emilia Oikarinen, Hans Tompits, Stefan Woltran, Tomi Janhunen","submitted_at":"2014-01-15T05:36:41Z","abstract_excerpt":"Practically all programming languages allow the programmer to split a program into several modules which brings along several advantages in software development. In this paper, we are interested in the area of answer-set programming where fully declarative and nonmonotonic languages are applied. In this context, obtaining a modular structure for programs is by no means straightforward since the output of an entire program cannot in general be composed from the output of its components. To better understand the effects of disjunctive information on modularity we restrict the scope of analysis t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3484","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":"1401.3484","created_at":"2026-05-18T03:02:08.731935+00:00"},{"alias_kind":"arxiv_version","alias_value":"1401.3484v1","created_at":"2026-05-18T03:02:08.731935+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3484","created_at":"2026-05-18T03:02:08.731935+00:00"},{"alias_kind":"pith_short_12","alias_value":"3WU3QK6V6TQ6","created_at":"2026-05-18T12:28:11.866339+00:00"},{"alias_kind":"pith_short_16","alias_value":"3WU3QK6V6TQ6M75I","created_at":"2026-05-18T12:28:11.866339+00:00"},{"alias_kind":"pith_short_8","alias_value":"3WU3QK6V","created_at":"2026-05-18T12:28:11.866339+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/3WU3QK6V6TQ6M75IQ7CFLLZ6MR","json":"https://pith.science/pith/3WU3QK6V6TQ6M75IQ7CFLLZ6MR.json","graph_json":"https://pith.science/api/pith-number/3WU3QK6V6TQ6M75IQ7CFLLZ6MR/graph.json","events_json":"https://pith.science/api/pith-number/3WU3QK6V6TQ6M75IQ7CFLLZ6MR/events.json","paper":"https://pith.science/paper/3WU3QK6V"},"agent_actions":{"view_html":"https://pith.science/pith/3WU3QK6V6TQ6M75IQ7CFLLZ6MR","download_json":"https://pith.science/pith/3WU3QK6V6TQ6M75IQ7CFLLZ6MR.json","view_paper":"https://pith.science/paper/3WU3QK6V","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1401.3484&json=true","fetch_graph":"https://pith.science/api/pith-number/3WU3QK6V6TQ6M75IQ7CFLLZ6MR/graph.json","fetch_events":"https://pith.science/api/pith-number/3WU3QK6V6TQ6M75IQ7CFLLZ6MR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3WU3QK6V6TQ6M75IQ7CFLLZ6MR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3WU3QK6V6TQ6M75IQ7CFLLZ6MR/action/storage_attestation","attest_author":"https://pith.science/pith/3WU3QK6V6TQ6M75IQ7CFLLZ6MR/action/author_attestation","sign_citation":"https://pith.science/pith/3WU3QK6V6TQ6M75IQ7CFLLZ6MR/action/citation_signature","submit_replication":"https://pith.science/pith/3WU3QK6V6TQ6M75IQ7CFLLZ6MR/action/replication_record"}},"created_at":"2026-05-18T03:02:08.731935+00:00","updated_at":"2026-05-18T03:02:08.731935+00:00"}