{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:XEUIV7RDDDIZ5H4HX6QV77Q4FF","short_pith_number":"pith:XEUIV7RD","canonical_record":{"source":{"id":"1507.03687","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CY","submitted_at":"2015-07-14T00:52:46Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"8b37ce6c1cbadd812851b08a3bcc2e657ecdafeb661410ad6ef0f313e35d26a6","abstract_canon_sha256":"861319c76a57e453dff0c0c0af339c5adab8881a0b62f21fb7e8d7991db59727"},"schema_version":"1.0"},"canonical_sha256":"b9288afe2318d19e9f87bfa15ffe1c296f7469f0980afd6fae714fda9ec1b063","source":{"kind":"arxiv","id":"1507.03687","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.03687","created_at":"2026-05-18T01:36:44Z"},{"alias_kind":"arxiv_version","alias_value":"1507.03687v1","created_at":"2026-05-18T01:36:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.03687","created_at":"2026-05-18T01:36:44Z"},{"alias_kind":"pith_short_12","alias_value":"XEUIV7RDDDIZ","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_16","alias_value":"XEUIV7RDDDIZ5H4H","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_8","alias_value":"XEUIV7RD","created_at":"2026-05-18T12:29:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:XEUIV7RDDDIZ5H4HX6QV77Q4FF","target":"record","payload":{"canonical_record":{"source":{"id":"1507.03687","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CY","submitted_at":"2015-07-14T00:52:46Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"8b37ce6c1cbadd812851b08a3bcc2e657ecdafeb661410ad6ef0f313e35d26a6","abstract_canon_sha256":"861319c76a57e453dff0c0c0af339c5adab8881a0b62f21fb7e8d7991db59727"},"schema_version":"1.0"},"canonical_sha256":"b9288afe2318d19e9f87bfa15ffe1c296f7469f0980afd6fae714fda9ec1b063","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:36:44.516999Z","signature_b64":"LB+bz4weJjHhI2Zq4DfkEcFxs2lMn8agEDhWrbm8JcsVB+P2koz9xUBtJArGJD4JMTdFYLPWs2OkE8PHAhnABw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b9288afe2318d19e9f87bfa15ffe1c296f7469f0980afd6fae714fda9ec1b063","last_reissued_at":"2026-05-18T01:36:44.516264Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:36:44.516264Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1507.03687","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:36:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kpwylqlDw0gP9ag96oZZYg/mBs+8BzBewJSP3Gp9wPVAVGp1ClVghJMcF0ciKyV09lcA6jnnqkZPJqAOzSDoBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T12:29:40.981100Z"},"content_sha256":"e20fe84f48bf553a1b6c93bcdabc5b1c7a3e36648b4577a8ae2eaddfae9b2376","schema_version":"1.0","event_id":"sha256:e20fe84f48bf553a1b6c93bcdabc5b1c7a3e36648b4577a8ae2eaddfae9b2376"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:XEUIV7RDDDIZ5H4HX6QV77Q4FF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Teaching Logic to Information Systems Students: Challenges and Opportunities","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.CY","authors_text":"Anna Zamansky, Eitan Farchi","submitted_at":"2015-07-14T00:52:46Z","abstract_excerpt":"In contrast to Computer Science, where the fundamental role of Logic is widely recognized, it plays a practically non-existent role in Information Systems curricula. In this paper we argue that instead of Logic's exclusion from the IS curriculum, a significant adaptation of the contents, as well as teaching methodologies, is required for an alignment with the needs of IS practitioners. We present our vision for such adaptation and report on concrete steps towards its implementation in the design and teaching of a course for graduate IS students at the University of Haifa. We discuss the course"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.03687","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:36:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sYOYtOTiEAgb74GPrUi1mk2pJ1pcT5AFta5E/yJCCDegpYxpdVldw7f7UDYQlXqq729WmR9p3ZENen4CDKXmDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T12:29:40.981453Z"},"content_sha256":"55e25328bb24ba061a05d7ca6ea94d30310ae9afa9d36388b07211038eed6399","schema_version":"1.0","event_id":"sha256:55e25328bb24ba061a05d7ca6ea94d30310ae9afa9d36388b07211038eed6399"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XEUIV7RDDDIZ5H4HX6QV77Q4FF/bundle.json","state_url":"https://pith.science/pith/XEUIV7RDDDIZ5H4HX6QV77Q4FF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XEUIV7RDDDIZ5H4HX6QV77Q4FF/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-01T12:29:40Z","links":{"resolver":"https://pith.science/pith/XEUIV7RDDDIZ5H4HX6QV77Q4FF","bundle":"https://pith.science/pith/XEUIV7RDDDIZ5H4HX6QV77Q4FF/bundle.json","state":"https://pith.science/pith/XEUIV7RDDDIZ5H4HX6QV77Q4FF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XEUIV7RDDDIZ5H4HX6QV77Q4FF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:XEUIV7RDDDIZ5H4HX6QV77Q4FF","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":"861319c76a57e453dff0c0c0af339c5adab8881a0b62f21fb7e8d7991db59727","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CY","submitted_at":"2015-07-14T00:52:46Z","title_canon_sha256":"8b37ce6c1cbadd812851b08a3bcc2e657ecdafeb661410ad6ef0f313e35d26a6"},"schema_version":"1.0","source":{"id":"1507.03687","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.03687","created_at":"2026-05-18T01:36:44Z"},{"alias_kind":"arxiv_version","alias_value":"1507.03687v1","created_at":"2026-05-18T01:36:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.03687","created_at":"2026-05-18T01:36:44Z"},{"alias_kind":"pith_short_12","alias_value":"XEUIV7RDDDIZ","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_16","alias_value":"XEUIV7RDDDIZ5H4H","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_8","alias_value":"XEUIV7RD","created_at":"2026-05-18T12:29:50Z"}],"graph_snapshots":[{"event_id":"sha256:55e25328bb24ba061a05d7ca6ea94d30310ae9afa9d36388b07211038eed6399","target":"graph","created_at":"2026-05-18T01:36:44Z","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":"In contrast to Computer Science, where the fundamental role of Logic is widely recognized, it plays a practically non-existent role in Information Systems curricula. In this paper we argue that instead of Logic's exclusion from the IS curriculum, a significant adaptation of the contents, as well as teaching methodologies, is required for an alignment with the needs of IS practitioners. We present our vision for such adaptation and report on concrete steps towards its implementation in the design and teaching of a course for graduate IS students at the University of Haifa. We discuss the course","authors_text":"Anna Zamansky, Eitan Farchi","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CY","submitted_at":"2015-07-14T00:52:46Z","title":"Teaching Logic to Information Systems Students: Challenges and Opportunities"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.03687","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:e20fe84f48bf553a1b6c93bcdabc5b1c7a3e36648b4577a8ae2eaddfae9b2376","target":"record","created_at":"2026-05-18T01:36:44Z","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":"861319c76a57e453dff0c0c0af339c5adab8881a0b62f21fb7e8d7991db59727","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CY","submitted_at":"2015-07-14T00:52:46Z","title_canon_sha256":"8b37ce6c1cbadd812851b08a3bcc2e657ecdafeb661410ad6ef0f313e35d26a6"},"schema_version":"1.0","source":{"id":"1507.03687","kind":"arxiv","version":1}},"canonical_sha256":"b9288afe2318d19e9f87bfa15ffe1c296f7469f0980afd6fae714fda9ec1b063","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b9288afe2318d19e9f87bfa15ffe1c296f7469f0980afd6fae714fda9ec1b063","first_computed_at":"2026-05-18T01:36:44.516264Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:36:44.516264Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LB+bz4weJjHhI2Zq4DfkEcFxs2lMn8agEDhWrbm8JcsVB+P2koz9xUBtJArGJD4JMTdFYLPWs2OkE8PHAhnABw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:36:44.516999Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.03687","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e20fe84f48bf553a1b6c93bcdabc5b1c7a3e36648b4577a8ae2eaddfae9b2376","sha256:55e25328bb24ba061a05d7ca6ea94d30310ae9afa9d36388b07211038eed6399"],"state_sha256":"4f898a8044f3dda8ca6960a40c64fd1d3c6ad8b6bbd6201be013eb6bce9d9fa8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"f5EK3m7Nnn6iepLpegBDlrBrXl8UH0jHumOkwnTbR2JQM1ft5s/cKQ/m/x9yG/76Xvogqd9OFLwFa5piGxBACA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T12:29:40.983338Z","bundle_sha256":"6a941716dfac738c21e622b023f3c34a57f026eafc04097e8a7023475c08b7f4"}}