{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:4GU2KONKH6OTU5XA5CDBPDJNKC","short_pith_number":"pith:4GU2KONK","canonical_record":{"source":{"id":"1808.03274","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2018-08-09T15:11:50Z","cross_cats_sorted":[],"title_canon_sha256":"ce67b4af39dc8f23e8bcf62382b2bf3d4e40805a62a49e471d2e1c837bec1048","abstract_canon_sha256":"941709ac4ed84e90c86f3846d7368c95eadb453d0c13505426c078d2cf7e271e"},"schema_version":"1.0"},"canonical_sha256":"e1a9a539aa3f9d3a76e0e886178d2d50ae6aeffecf88ba5629405d305c320a34","source":{"kind":"arxiv","id":"1808.03274","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.03274","created_at":"2026-05-18T00:08:27Z"},{"alias_kind":"arxiv_version","alias_value":"1808.03274v1","created_at":"2026-05-18T00:08:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.03274","created_at":"2026-05-18T00:08:27Z"},{"alias_kind":"pith_short_12","alias_value":"4GU2KONKH6OT","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_16","alias_value":"4GU2KONKH6OTU5XA","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_8","alias_value":"4GU2KONK","created_at":"2026-05-18T12:32:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:4GU2KONKH6OTU5XA5CDBPDJNKC","target":"record","payload":{"canonical_record":{"source":{"id":"1808.03274","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2018-08-09T15:11:50Z","cross_cats_sorted":[],"title_canon_sha256":"ce67b4af39dc8f23e8bcf62382b2bf3d4e40805a62a49e471d2e1c837bec1048","abstract_canon_sha256":"941709ac4ed84e90c86f3846d7368c95eadb453d0c13505426c078d2cf7e271e"},"schema_version":"1.0"},"canonical_sha256":"e1a9a539aa3f9d3a76e0e886178d2d50ae6aeffecf88ba5629405d305c320a34","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:08:27.772308Z","signature_b64":"RNv8lt+rDGWR9r52QlJQeuXhieQs/blK/JBVIHa/Htfd7IoTWUJFeHMiSWwpQXV7X5JRN40sV3VkoEXG4GD3CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e1a9a539aa3f9d3a76e0e886178d2d50ae6aeffecf88ba5629405d305c320a34","last_reissued_at":"2026-05-18T00:08:27.771780Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:08:27.771780Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1808.03274","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-18T00:08:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CL6SsiD0IMQ8fUQ5AKKpYj+tQ+LZkIHFy+qcTpwgiKGZdonyamlCQEJcrlr1P2+Y7643npIcOHbRcoyHL9B/DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T07:30:55.294786Z"},"content_sha256":"68ef475ca4fd78097dfe01a004759fd69c98da4c4c856aea4f9f3ad6d4c0d7ac","schema_version":"1.0","event_id":"sha256:68ef475ca4fd78097dfe01a004759fd69c98da4c4c856aea4f9f3ad6d4c0d7ac"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:4GU2KONKH6OTU5XA5CDBPDJNKC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Introducing Computer Science to High School Students through Logic Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CY","authors_text":"Maritza Reyes, Timothy T. Yuen, Yuanlin Zhang","submitted_at":"2018-08-09T15:11:50Z","abstract_excerpt":"This paper investigates how high school students in an introductory computer science course approach computing in the Logic Programming (LP) paradigm. This qualitative study shows how novice students operate within the LP paradigm while engaging in foundational computing concepts and skills: students are engaged in a cyclical process of abstraction, reasoning, and creating representations of their ideas in code while also being informed by the (procedural) requirements and the revision/debugging process. As these computing concepts and skills are also expected in traditional approaches to intr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.03274","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-18T00:08:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lqVY4DN9gKYPxd7eUWoxNf8iYegQ1YSQwNCzuRq8bHreQX+YYQqr2MIZyqj9LvlWTJIvQrBSmdOVOSouDAKhBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T07:30:55.295172Z"},"content_sha256":"870fb0da2bf2fb7c50edd91bb2dfc67a743bad37895afb001fd7954daae1b9bc","schema_version":"1.0","event_id":"sha256:870fb0da2bf2fb7c50edd91bb2dfc67a743bad37895afb001fd7954daae1b9bc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4GU2KONKH6OTU5XA5CDBPDJNKC/bundle.json","state_url":"https://pith.science/pith/4GU2KONKH6OTU5XA5CDBPDJNKC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4GU2KONKH6OTU5XA5CDBPDJNKC/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-05-28T07:30:55Z","links":{"resolver":"https://pith.science/pith/4GU2KONKH6OTU5XA5CDBPDJNKC","bundle":"https://pith.science/pith/4GU2KONKH6OTU5XA5CDBPDJNKC/bundle.json","state":"https://pith.science/pith/4GU2KONKH6OTU5XA5CDBPDJNKC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4GU2KONKH6OTU5XA5CDBPDJNKC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:4GU2KONKH6OTU5XA5CDBPDJNKC","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":"941709ac4ed84e90c86f3846d7368c95eadb453d0c13505426c078d2cf7e271e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2018-08-09T15:11:50Z","title_canon_sha256":"ce67b4af39dc8f23e8bcf62382b2bf3d4e40805a62a49e471d2e1c837bec1048"},"schema_version":"1.0","source":{"id":"1808.03274","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.03274","created_at":"2026-05-18T00:08:27Z"},{"alias_kind":"arxiv_version","alias_value":"1808.03274v1","created_at":"2026-05-18T00:08:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.03274","created_at":"2026-05-18T00:08:27Z"},{"alias_kind":"pith_short_12","alias_value":"4GU2KONKH6OT","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_16","alias_value":"4GU2KONKH6OTU5XA","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_8","alias_value":"4GU2KONK","created_at":"2026-05-18T12:32:05Z"}],"graph_snapshots":[{"event_id":"sha256:870fb0da2bf2fb7c50edd91bb2dfc67a743bad37895afb001fd7954daae1b9bc","target":"graph","created_at":"2026-05-18T00:08:27Z","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 investigates how high school students in an introductory computer science course approach computing in the Logic Programming (LP) paradigm. This qualitative study shows how novice students operate within the LP paradigm while engaging in foundational computing concepts and skills: students are engaged in a cyclical process of abstraction, reasoning, and creating representations of their ideas in code while also being informed by the (procedural) requirements and the revision/debugging process. As these computing concepts and skills are also expected in traditional approaches to intr","authors_text":"Maritza Reyes, Timothy T. Yuen, Yuanlin Zhang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2018-08-09T15:11:50Z","title":"Introducing Computer Science to High School Students through Logic Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.03274","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:68ef475ca4fd78097dfe01a004759fd69c98da4c4c856aea4f9f3ad6d4c0d7ac","target":"record","created_at":"2026-05-18T00:08:27Z","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":"941709ac4ed84e90c86f3846d7368c95eadb453d0c13505426c078d2cf7e271e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2018-08-09T15:11:50Z","title_canon_sha256":"ce67b4af39dc8f23e8bcf62382b2bf3d4e40805a62a49e471d2e1c837bec1048"},"schema_version":"1.0","source":{"id":"1808.03274","kind":"arxiv","version":1}},"canonical_sha256":"e1a9a539aa3f9d3a76e0e886178d2d50ae6aeffecf88ba5629405d305c320a34","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e1a9a539aa3f9d3a76e0e886178d2d50ae6aeffecf88ba5629405d305c320a34","first_computed_at":"2026-05-18T00:08:27.771780Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:08:27.771780Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RNv8lt+rDGWR9r52QlJQeuXhieQs/blK/JBVIHa/Htfd7IoTWUJFeHMiSWwpQXV7X5JRN40sV3VkoEXG4GD3CA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:08:27.772308Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.03274","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:68ef475ca4fd78097dfe01a004759fd69c98da4c4c856aea4f9f3ad6d4c0d7ac","sha256:870fb0da2bf2fb7c50edd91bb2dfc67a743bad37895afb001fd7954daae1b9bc"],"state_sha256":"63585b3550cd1ca9ff77ca04b13d5de068c7c0e2623b3bb4176b14e1094eef65"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C0UICuo3iB+3n2saJICsazcgjeVn4Ko64uSNIzNQeYSwH5ZBBBliUcFoDBqOttZP5FOGQzcnj9BDrFHpeVh6Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T07:30:55.297867Z","bundle_sha256":"5ed15da68746719e5b422db17d7965efe0d002dadc7cc32f2956f23129f4788b"}}