{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:TS76G6PSCVGPKFTSOEJRQHTFZZ","short_pith_number":"pith:TS76G6PS","canonical_record":{"source":{"id":"1406.6102","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-06-23T22:23:11Z","cross_cats_sorted":[],"title_canon_sha256":"6f5685e598322adf49523c4f67ab5930e2aff0f47606d5d21fb730e38b5c283d","abstract_canon_sha256":"5e9079df0def5aac9cb430306daf9bda2404e17c0b30833db6e0724aaad33db1"},"schema_version":"1.0"},"canonical_sha256":"9cbfe379f2154cf516727113181e65ce4f03967cc60eaa437dcb365a2f8e4c7b","source":{"kind":"arxiv","id":"1406.6102","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.6102","created_at":"2026-05-18T01:30:56Z"},{"alias_kind":"arxiv_version","alias_value":"1406.6102v1","created_at":"2026-05-18T01:30:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.6102","created_at":"2026-05-18T01:30:56Z"},{"alias_kind":"pith_short_12","alias_value":"TS76G6PSCVGP","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"TS76G6PSCVGPKFTS","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"TS76G6PS","created_at":"2026-05-18T12:28:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:TS76G6PSCVGPKFTSOEJRQHTFZZ","target":"record","payload":{"canonical_record":{"source":{"id":"1406.6102","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-06-23T22:23:11Z","cross_cats_sorted":[],"title_canon_sha256":"6f5685e598322adf49523c4f67ab5930e2aff0f47606d5d21fb730e38b5c283d","abstract_canon_sha256":"5e9079df0def5aac9cb430306daf9bda2404e17c0b30833db6e0724aaad33db1"},"schema_version":"1.0"},"canonical_sha256":"9cbfe379f2154cf516727113181e65ce4f03967cc60eaa437dcb365a2f8e4c7b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:30:56.120982Z","signature_b64":"Y/GrJsQF4XRB8j9oLg6jmlfhDg9gR9VEzxt8FW75lWwoFw49YAvfnblWkn9sFVGdglBRUWm40/qjQ+rQQu0ABg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9cbfe379f2154cf516727113181e65ce4f03967cc60eaa437dcb365a2f8e4c7b","last_reissued_at":"2026-05-18T01:30:56.120614Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:30:56.120614Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1406.6102","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-18T01:30:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CRVrSq2NwvvirLJkTmD8oJJkiMMyzbRe1ZFE4QY+g+BlUHSsTAQVNjKteeDrQEQF7serz0VAcywYGdj5w5LTBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T22:18:59.452109Z"},"content_sha256":"b9be3aec8c34de471853d63f1565f114622de07bba9068ce2abaa6714e1db9f7","schema_version":"1.0","event_id":"sha256:b9be3aec8c34de471853d63f1565f114622de07bba9068ce2abaa6714e1db9f7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:TS76G6PSCVGPKFTSOEJRQHTFZZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Random Logic Programs: Linear Model","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Kedian Mu, Kewen Wang, Lian Wen","submitted_at":"2014-06-23T22:23:11Z","abstract_excerpt":"This paper proposes a model, the linear model, for randomly generating logic programs with low density of rules and investigates statistical properties of such random logic programs. It is mathematically shown that the average number of answer sets for a random program converges to a constant when the number of atoms approaches infinity. Several experimental results are also reported, which justify the suitability of the linear model. It is also experimentally shown that, under this model, the size distribution of answer sets for random programs tends to a normal distribution when the number o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.6102","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-18T01:30:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8xlHQoreTMdPDVTWxK0dGWXJpQ5ta19hmIenAn/Hlh4l6+EEOamBTP7VLQyiyXAxC9AqZ0nanmXmK1ozm5IsCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T22:18:59.452787Z"},"content_sha256":"b0d741d02d932f34a46c1d5fa8a925b48ae97e0ec79ee717265eded87f20decd","schema_version":"1.0","event_id":"sha256:b0d741d02d932f34a46c1d5fa8a925b48ae97e0ec79ee717265eded87f20decd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TS76G6PSCVGPKFTSOEJRQHTFZZ/bundle.json","state_url":"https://pith.science/pith/TS76G6PSCVGPKFTSOEJRQHTFZZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TS76G6PSCVGPKFTSOEJRQHTFZZ/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-04T22:18:59Z","links":{"resolver":"https://pith.science/pith/TS76G6PSCVGPKFTSOEJRQHTFZZ","bundle":"https://pith.science/pith/TS76G6PSCVGPKFTSOEJRQHTFZZ/bundle.json","state":"https://pith.science/pith/TS76G6PSCVGPKFTSOEJRQHTFZZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TS76G6PSCVGPKFTSOEJRQHTFZZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:TS76G6PSCVGPKFTSOEJRQHTFZZ","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":"5e9079df0def5aac9cb430306daf9bda2404e17c0b30833db6e0724aaad33db1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-06-23T22:23:11Z","title_canon_sha256":"6f5685e598322adf49523c4f67ab5930e2aff0f47606d5d21fb730e38b5c283d"},"schema_version":"1.0","source":{"id":"1406.6102","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.6102","created_at":"2026-05-18T01:30:56Z"},{"alias_kind":"arxiv_version","alias_value":"1406.6102v1","created_at":"2026-05-18T01:30:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.6102","created_at":"2026-05-18T01:30:56Z"},{"alias_kind":"pith_short_12","alias_value":"TS76G6PSCVGP","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"TS76G6PSCVGPKFTS","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"TS76G6PS","created_at":"2026-05-18T12:28:52Z"}],"graph_snapshots":[{"event_id":"sha256:b0d741d02d932f34a46c1d5fa8a925b48ae97e0ec79ee717265eded87f20decd","target":"graph","created_at":"2026-05-18T01:30:56Z","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":"This paper proposes a model, the linear model, for randomly generating logic programs with low density of rules and investigates statistical properties of such random logic programs. It is mathematically shown that the average number of answer sets for a random program converges to a constant when the number of atoms approaches infinity. Several experimental results are also reported, which justify the suitability of the linear model. It is also experimentally shown that, under this model, the size distribution of answer sets for random programs tends to a normal distribution when the number o","authors_text":"Kedian Mu, Kewen Wang, Lian Wen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-06-23T22:23:11Z","title":"Random Logic Programs: Linear Model"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.6102","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:b9be3aec8c34de471853d63f1565f114622de07bba9068ce2abaa6714e1db9f7","target":"record","created_at":"2026-05-18T01:30:56Z","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":"5e9079df0def5aac9cb430306daf9bda2404e17c0b30833db6e0724aaad33db1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-06-23T22:23:11Z","title_canon_sha256":"6f5685e598322adf49523c4f67ab5930e2aff0f47606d5d21fb730e38b5c283d"},"schema_version":"1.0","source":{"id":"1406.6102","kind":"arxiv","version":1}},"canonical_sha256":"9cbfe379f2154cf516727113181e65ce4f03967cc60eaa437dcb365a2f8e4c7b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9cbfe379f2154cf516727113181e65ce4f03967cc60eaa437dcb365a2f8e4c7b","first_computed_at":"2026-05-18T01:30:56.120614Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:30:56.120614Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Y/GrJsQF4XRB8j9oLg6jmlfhDg9gR9VEzxt8FW75lWwoFw49YAvfnblWkn9sFVGdglBRUWm40/qjQ+rQQu0ABg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:30:56.120982Z","signed_message":"canonical_sha256_bytes"},"source_id":"1406.6102","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b9be3aec8c34de471853d63f1565f114622de07bba9068ce2abaa6714e1db9f7","sha256:b0d741d02d932f34a46c1d5fa8a925b48ae97e0ec79ee717265eded87f20decd"],"state_sha256":"6d7f63f8a97da7be4de019b384d001ef1b68aeb8fc5797e5bbe8076b0137a028"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qdjpZwg1A1FMv+EhIQgGOPsPI0++Lg5htM4C4XCmHBB/+yqBrrxrlB3S+oEcFz/sjuOl7c/wASubEhbuXQTZBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T22:18:59.455988Z","bundle_sha256":"9483ac6cd5994eee05a8f1d3777f7d8b5a346d10a426c8f6cce114ef6db96f56"}}