{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:D3WOEOBKHOJ4RDYEOMYEY6HQKN","short_pith_number":"pith:D3WOEOBK","canonical_record":{"source":{"id":"1301.7690","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-01-31T17:19:21Z","cross_cats_sorted":[],"title_canon_sha256":"acdf04249a1f5d5125496be414e67ab0e99fc9925e40a123a5391cf9493fdad6","abstract_canon_sha256":"920b1592c4ef8482bffbe1ff18569afa6ecc6f57c4bf3c29585e436aaf04188b"},"schema_version":"1.0"},"canonical_sha256":"1eece2382a3b93c88f0473304c78f05358452d6c6ae17e3158bcfa0d497298c8","source":{"kind":"arxiv","id":"1301.7690","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1301.7690","created_at":"2026-05-18T03:34:48Z"},{"alias_kind":"arxiv_version","alias_value":"1301.7690v1","created_at":"2026-05-18T03:34:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.7690","created_at":"2026-05-18T03:34:48Z"},{"alias_kind":"pith_short_12","alias_value":"D3WOEOBKHOJ4","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"D3WOEOBKHOJ4RDYE","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"D3WOEOBK","created_at":"2026-05-18T12:27:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:D3WOEOBKHOJ4RDYEOMYEY6HQKN","target":"record","payload":{"canonical_record":{"source":{"id":"1301.7690","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-01-31T17:19:21Z","cross_cats_sorted":[],"title_canon_sha256":"acdf04249a1f5d5125496be414e67ab0e99fc9925e40a123a5391cf9493fdad6","abstract_canon_sha256":"920b1592c4ef8482bffbe1ff18569afa6ecc6f57c4bf3c29585e436aaf04188b"},"schema_version":"1.0"},"canonical_sha256":"1eece2382a3b93c88f0473304c78f05358452d6c6ae17e3158bcfa0d497298c8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:34:48.911890Z","signature_b64":"Sq6eYufh0H80r0NP0MRM0FvmdSONeNLqUF6SL3KrQ3ijX76e6rib5PFuhE0lDIQwe2epV3t6M6NL/wO1cVe5BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1eece2382a3b93c88f0473304c78f05358452d6c6ae17e3158bcfa0d497298c8","last_reissued_at":"2026-05-18T03:34:48.911393Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:34:48.911393Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1301.7690","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:34:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"InP4Go6m8HmWB6wsmxnvSDkt4lU2uvQbqQHmH0r8QxNM0ur+IqOwc/B2SB6f+ZkugsAZzCFc+6zrFCXF2R84Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T06:02:31.235070Z"},"content_sha256":"3477d9961f357a2e07c90a7e77758c6897d0c4fac35465f02b6d358e0b78ce9c","schema_version":"1.0","event_id":"sha256:3477d9961f357a2e07c90a7e77758c6897d0c4fac35465f02b6d358e0b78ce9c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:D3WOEOBKHOJ4RDYEOMYEY6HQKN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Fernando Silva, Ricardo Rocha, Rui Vieira","submitted_at":"2013-01-31T17:19:21Z","abstract_excerpt":"Many or-parallel Prolog models exploiting implicit parallelism have been proposed in the past. Arguably, one of the most successful models is environment copying for shared memory architectures. With the increasing availability and popularity of multicore architectures, it makes sense to recover the body of knowledge there is in this area and re-engineer prior computational models to evaluate their performance on newer architectures. In this work, we focus on the implementation of splitting strategies for or-parallel Prolog execution on multicores and, for that, we develop a framework, on top "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.7690","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:34:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xAfYNyvmo90dsEMzXadGVR5ehh8+i6M+bHqsLIiXJzzpZKj1IeZlGnYC79AJhd9yknTGNMbHkirTLYU3QHW0Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T06:02:31.235423Z"},"content_sha256":"e6688059d3418fdd0cef28d86e62a1e0a2af0b523791ad8e246f491b426b81d0","schema_version":"1.0","event_id":"sha256:e6688059d3418fdd0cef28d86e62a1e0a2af0b523791ad8e246f491b426b81d0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/D3WOEOBKHOJ4RDYEOMYEY6HQKN/bundle.json","state_url":"https://pith.science/pith/D3WOEOBKHOJ4RDYEOMYEY6HQKN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/D3WOEOBKHOJ4RDYEOMYEY6HQKN/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-23T06:02:31Z","links":{"resolver":"https://pith.science/pith/D3WOEOBKHOJ4RDYEOMYEY6HQKN","bundle":"https://pith.science/pith/D3WOEOBKHOJ4RDYEOMYEY6HQKN/bundle.json","state":"https://pith.science/pith/D3WOEOBKHOJ4RDYEOMYEY6HQKN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/D3WOEOBKHOJ4RDYEOMYEY6HQKN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:D3WOEOBKHOJ4RDYEOMYEY6HQKN","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":"920b1592c4ef8482bffbe1ff18569afa6ecc6f57c4bf3c29585e436aaf04188b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-01-31T17:19:21Z","title_canon_sha256":"acdf04249a1f5d5125496be414e67ab0e99fc9925e40a123a5391cf9493fdad6"},"schema_version":"1.0","source":{"id":"1301.7690","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1301.7690","created_at":"2026-05-18T03:34:48Z"},{"alias_kind":"arxiv_version","alias_value":"1301.7690v1","created_at":"2026-05-18T03:34:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.7690","created_at":"2026-05-18T03:34:48Z"},{"alias_kind":"pith_short_12","alias_value":"D3WOEOBKHOJ4","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"D3WOEOBKHOJ4RDYE","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"D3WOEOBK","created_at":"2026-05-18T12:27:40Z"}],"graph_snapshots":[{"event_id":"sha256:e6688059d3418fdd0cef28d86e62a1e0a2af0b523791ad8e246f491b426b81d0","target":"graph","created_at":"2026-05-18T03:34:48Z","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":"Many or-parallel Prolog models exploiting implicit parallelism have been proposed in the past. Arguably, one of the most successful models is environment copying for shared memory architectures. With the increasing availability and popularity of multicore architectures, it makes sense to recover the body of knowledge there is in this area and re-engineer prior computational models to evaluate their performance on newer architectures. In this work, we focus on the implementation of splitting strategies for or-parallel Prolog execution on multicores and, for that, we develop a framework, on top ","authors_text":"Fernando Silva, Ricardo Rocha, Rui Vieira","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-01-31T17:19:21Z","title":"On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.7690","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:3477d9961f357a2e07c90a7e77758c6897d0c4fac35465f02b6d358e0b78ce9c","target":"record","created_at":"2026-05-18T03:34:48Z","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":"920b1592c4ef8482bffbe1ff18569afa6ecc6f57c4bf3c29585e436aaf04188b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-01-31T17:19:21Z","title_canon_sha256":"acdf04249a1f5d5125496be414e67ab0e99fc9925e40a123a5391cf9493fdad6"},"schema_version":"1.0","source":{"id":"1301.7690","kind":"arxiv","version":1}},"canonical_sha256":"1eece2382a3b93c88f0473304c78f05358452d6c6ae17e3158bcfa0d497298c8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1eece2382a3b93c88f0473304c78f05358452d6c6ae17e3158bcfa0d497298c8","first_computed_at":"2026-05-18T03:34:48.911393Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:34:48.911393Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Sq6eYufh0H80r0NP0MRM0FvmdSONeNLqUF6SL3KrQ3ijX76e6rib5PFuhE0lDIQwe2epV3t6M6NL/wO1cVe5BQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:34:48.911890Z","signed_message":"canonical_sha256_bytes"},"source_id":"1301.7690","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3477d9961f357a2e07c90a7e77758c6897d0c4fac35465f02b6d358e0b78ce9c","sha256:e6688059d3418fdd0cef28d86e62a1e0a2af0b523791ad8e246f491b426b81d0"],"state_sha256":"39eb4be59fd177062a3f9ddd19461d9a6dfce3dc491c25ca0ca8396a92a57df8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"M8m/NZ13ueCtHJvU14Rf7wcTRIpjyKJpFNG7M9cq7+s6aGdb1pvQ9YkbbknUsjQ/hrKdYbhCsvb5n7OgtOaIAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T06:02:31.237262Z","bundle_sha256":"4d4e79929b61ce8ce4aa0d2705c1d5ab91b1ed4025378a0b69602a28d486d742"}}