{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:3WU3QK6V6TQ6M75IQ7CFLLZ6MR","short_pith_number":"pith:3WU3QK6V","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"},"canonical_sha256":"dda9b82bd5f4e1e67fa887c455af3e645f666738d155a9d4683d4fa88317bb02","source":{"kind":"arxiv","id":"1401.3484","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.3484","created_at":"2026-05-18T03:02:08Z"},{"alias_kind":"arxiv_version","alias_value":"1401.3484v1","created_at":"2026-05-18T03:02:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3484","created_at":"2026-05-18T03:02:08Z"},{"alias_kind":"pith_short_12","alias_value":"3WU3QK6V6TQ6","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"3WU3QK6V6TQ6M75I","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"3WU3QK6V","created_at":"2026-05-18T12:28:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:3WU3QK6V6TQ6M75IQ7CFLLZ6MR","target":"record","payload":{"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"},"canonical_sha256":"dda9b82bd5f4e1e67fa887c455af3e645f666738d155a9d4683d4fa88317bb02","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"},"source_kind":"arxiv","source_id":"1401.3484","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:02:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2TJ+h304KL1HpYukWU16DINIzFPDzJ0bSkaKxwLa89fa3TsU/cDaQWipjI6ziTK3R8lTBY/sGgoh6tjbWZFqCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T02:14:03.755273Z"},"content_sha256":"33059784dd25a81ccd408d634e80d66077d8e78d657984399f78b7942eafa720","schema_version":"1.0","event_id":"sha256:33059784dd25a81ccd408d634e80d66077d8e78d657984399f78b7942eafa720"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:3WU3QK6V6TQ6M75IQ7CFLLZ6MR","target":"graph","payload":{"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:02:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LjowGcegVGtbjoB2gUrBP/ZuMGg5hPyWItDAS9tE1ozDeZM5DBfvEdwf1uLETOiwTwjn1uetJ6j6ufKRXzeRBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T02:14:03.755654Z"},"content_sha256":"94437a6a7312141a849ff78733a990ac0ef5b15008e41b6e69dd699469434c21","schema_version":"1.0","event_id":"sha256:94437a6a7312141a849ff78733a990ac0ef5b15008e41b6e69dd699469434c21"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3WU3QK6V6TQ6M75IQ7CFLLZ6MR/bundle.json","state_url":"https://pith.science/pith/3WU3QK6V6TQ6M75IQ7CFLLZ6MR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3WU3QK6V6TQ6M75IQ7CFLLZ6MR/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-02T02:14:03Z","links":{"resolver":"https://pith.science/pith/3WU3QK6V6TQ6M75IQ7CFLLZ6MR","bundle":"https://pith.science/pith/3WU3QK6V6TQ6M75IQ7CFLLZ6MR/bundle.json","state":"https://pith.science/pith/3WU3QK6V6TQ6M75IQ7CFLLZ6MR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3WU3QK6V6TQ6M75IQ7CFLLZ6MR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:3WU3QK6V6TQ6M75IQ7CFLLZ6MR","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"f1ea441c0b42460fe37f6dfeeb4dc2d3d91cc6fcb557e1e5e4b411489dd4b9d2","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-15T05:36:41Z","title_canon_sha256":"4e7522ceff3ab6fedea6affbd4e05522335622bd44250cc09620089185d64688"},"schema_version":"1.0","source":{"id":"1401.3484","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.3484","created_at":"2026-05-18T03:02:08Z"},{"alias_kind":"arxiv_version","alias_value":"1401.3484v1","created_at":"2026-05-18T03:02:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3484","created_at":"2026-05-18T03:02:08Z"},{"alias_kind":"pith_short_12","alias_value":"3WU3QK6V6TQ6","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"3WU3QK6V6TQ6M75I","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"3WU3QK6V","created_at":"2026-05-18T12:28:11Z"}],"graph_snapshots":[{"event_id":"sha256:94437a6a7312141a849ff78733a990ac0ef5b15008e41b6e69dd699469434c21","target":"graph","created_at":"2026-05-18T03:02:08Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"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","authors_text":"Emilia Oikarinen, Hans Tompits, Stefan Woltran, Tomi Janhunen","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-15T05:36:41Z","title":"Modularity Aspects of Disjunctive Stable Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3484","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:33059784dd25a81ccd408d634e80d66077d8e78d657984399f78b7942eafa720","target":"record","created_at":"2026-05-18T03:02:08Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"f1ea441c0b42460fe37f6dfeeb4dc2d3d91cc6fcb557e1e5e4b411489dd4b9d2","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-15T05:36:41Z","title_canon_sha256":"4e7522ceff3ab6fedea6affbd4e05522335622bd44250cc09620089185d64688"},"schema_version":"1.0","source":{"id":"1401.3484","kind":"arxiv","version":1}},"canonical_sha256":"dda9b82bd5f4e1e67fa887c455af3e645f666738d155a9d4683d4fa88317bb02","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dda9b82bd5f4e1e67fa887c455af3e645f666738d155a9d4683d4fa88317bb02","first_computed_at":"2026-05-18T03:02:08.731812Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:02:08.731812Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gNyglaSAG2e4gXtp5GMvD1Gr1U3U7198s3RGSnfw4fAGz6PeFeJfNhI1jUfZ+pakI1XFcH8+DQm7yhnJzIVqCw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:02:08.732606Z","signed_message":"canonical_sha256_bytes"},"source_id":"1401.3484","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:33059784dd25a81ccd408d634e80d66077d8e78d657984399f78b7942eafa720","sha256:94437a6a7312141a849ff78733a990ac0ef5b15008e41b6e69dd699469434c21"],"state_sha256":"344620674074f75c9732bd81b6cd0ac5dd0f44f5065548d569398d248d90aec8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HOcJk1+5hHA1n1jlU1cg2m0A6Uh6c8qhX+7R/dNAMSptCJajXYKm9hwNMYN+55wyzUC2qcVH2JhPgsx3r/s2AQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T02:14:03.757603Z","bundle_sha256":"fb66e302783cb132d77dfaf4cb6fc9b4b0f29d9d55289fa735f71060f0a20f0f"}}