{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:IYXK3627T4IVTWGQX4YRY7RGUK","short_pith_number":"pith:IYXK3627","canonical_record":{"source":{"id":"1804.03579","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2018-04-04T12:44:14Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"b534fef74665e07cc4597999facbb78913d0e0ffec849d2ad80d6fc148eb40bf","abstract_canon_sha256":"32e805d245bcefa66dfb054150db4f08d77e5f8709eb90f3f1225d5b56db0299"},"schema_version":"1.0"},"canonical_sha256":"462eadfb5f9f1159d8d0bf311c7e26a290a2dda5b10d601921e95ebb4742072b","source":{"kind":"arxiv","id":"1804.03579","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.03579","created_at":"2026-05-18T00:18:47Z"},{"alias_kind":"arxiv_version","alias_value":"1804.03579v1","created_at":"2026-05-18T00:18:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.03579","created_at":"2026-05-18T00:18:47Z"},{"alias_kind":"pith_short_12","alias_value":"IYXK3627T4IV","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_16","alias_value":"IYXK3627T4IVTWGQ","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_8","alias_value":"IYXK3627","created_at":"2026-05-18T12:32:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:IYXK3627T4IVTWGQX4YRY7RGUK","target":"record","payload":{"canonical_record":{"source":{"id":"1804.03579","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2018-04-04T12:44:14Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"b534fef74665e07cc4597999facbb78913d0e0ffec849d2ad80d6fc148eb40bf","abstract_canon_sha256":"32e805d245bcefa66dfb054150db4f08d77e5f8709eb90f3f1225d5b56db0299"},"schema_version":"1.0"},"canonical_sha256":"462eadfb5f9f1159d8d0bf311c7e26a290a2dda5b10d601921e95ebb4742072b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:18:47.657852Z","signature_b64":"D49rZGmjC33EQ87JFYuvLv8DKS+tQ2BWRCNVw47wSWnzo0G/mwhEy6UwLuVdCqxii0/vNhg5rmH8Vyz6qRJLAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"462eadfb5f9f1159d8d0bf311c7e26a290a2dda5b10d601921e95ebb4742072b","last_reissued_at":"2026-05-18T00:18:47.657048Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:18:47.657048Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.03579","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:18:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dLi6TTLcsBT1GIkjDvbda1Co20VDvEEVWX/eHBQT6pmKFwlcmNcxux0geMivkr1BQEWXCTETI90z3q4ReD4tAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T15:47:16.999745Z"},"content_sha256":"d5d8c5057e40ea3b7740a593b99c1b431d4cb1082496ccb6a3e5003e959ab89e","schema_version":"1.0","event_id":"sha256:d5d8c5057e40ea3b7740a593b99c1b431d4cb1082496ccb6a3e5003e959ab89e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:IYXK3627T4IVTWGQX4YRY7RGUK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.CY","authors_text":"Artur Ljulin, Fabian Vehlken, Gaetano Geck, Jonas Schmidt, Sebastian Peter, Thomas Zeume","submitted_at":"2018-04-04T12:44:14Z","abstract_excerpt":"Logic is a foundation for many modern areas of computer science. In artificial intelligence, as a basis of database query languages, as well as in formal software and hardware verification --- modelling scenarios using logical formalisms and inferring new knowledge are important skills for going-to-be computer scientists. The Iltis project aims at providing a web-based, interactive system that supports teaching logical methods. In particular the system shall (a) support to learn to model knowledge and to infer new knowledge using propositional logic, modal logic and first-order logic, and (b) "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.03579","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:18:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kvnOO4S7fwkK2UjUYYYLDIU3LZiUl0ShDfM9+5WstzoUnjLZ6oSBnoYpAg/Z/MbS7lufd89jOot8/rMBWjyHAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T15:47:17.000151Z"},"content_sha256":"fbaa23c1253fe70dbc39d1292d5f80d0843fd1491d29857d3a5e3bc6ad264fe4","schema_version":"1.0","event_id":"sha256:fbaa23c1253fe70dbc39d1292d5f80d0843fd1491d29857d3a5e3bc6ad264fe4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IYXK3627T4IVTWGQX4YRY7RGUK/bundle.json","state_url":"https://pith.science/pith/IYXK3627T4IVTWGQX4YRY7RGUK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IYXK3627T4IVTWGQX4YRY7RGUK/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-30T15:47:17Z","links":{"resolver":"https://pith.science/pith/IYXK3627T4IVTWGQX4YRY7RGUK","bundle":"https://pith.science/pith/IYXK3627T4IVTWGQX4YRY7RGUK/bundle.json","state":"https://pith.science/pith/IYXK3627T4IVTWGQX4YRY7RGUK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IYXK3627T4IVTWGQX4YRY7RGUK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:IYXK3627T4IVTWGQX4YRY7RGUK","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":"32e805d245bcefa66dfb054150db4f08d77e5f8709eb90f3f1225d5b56db0299","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2018-04-04T12:44:14Z","title_canon_sha256":"b534fef74665e07cc4597999facbb78913d0e0ffec849d2ad80d6fc148eb40bf"},"schema_version":"1.0","source":{"id":"1804.03579","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.03579","created_at":"2026-05-18T00:18:47Z"},{"alias_kind":"arxiv_version","alias_value":"1804.03579v1","created_at":"2026-05-18T00:18:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.03579","created_at":"2026-05-18T00:18:47Z"},{"alias_kind":"pith_short_12","alias_value":"IYXK3627T4IV","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_16","alias_value":"IYXK3627T4IVTWGQ","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_8","alias_value":"IYXK3627","created_at":"2026-05-18T12:32:31Z"}],"graph_snapshots":[{"event_id":"sha256:fbaa23c1253fe70dbc39d1292d5f80d0843fd1491d29857d3a5e3bc6ad264fe4","target":"graph","created_at":"2026-05-18T00:18:47Z","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":"Logic is a foundation for many modern areas of computer science. In artificial intelligence, as a basis of database query languages, as well as in formal software and hardware verification --- modelling scenarios using logical formalisms and inferring new knowledge are important skills for going-to-be computer scientists. The Iltis project aims at providing a web-based, interactive system that supports teaching logical methods. In particular the system shall (a) support to learn to model knowledge and to infer new knowledge using propositional logic, modal logic and first-order logic, and (b) ","authors_text":"Artur Ljulin, Fabian Vehlken, Gaetano Geck, Jonas Schmidt, Sebastian Peter, Thomas Zeume","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2018-04-04T12:44:14Z","title":"Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.03579","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:d5d8c5057e40ea3b7740a593b99c1b431d4cb1082496ccb6a3e5003e959ab89e","target":"record","created_at":"2026-05-18T00:18:47Z","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":"32e805d245bcefa66dfb054150db4f08d77e5f8709eb90f3f1225d5b56db0299","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2018-04-04T12:44:14Z","title_canon_sha256":"b534fef74665e07cc4597999facbb78913d0e0ffec849d2ad80d6fc148eb40bf"},"schema_version":"1.0","source":{"id":"1804.03579","kind":"arxiv","version":1}},"canonical_sha256":"462eadfb5f9f1159d8d0bf311c7e26a290a2dda5b10d601921e95ebb4742072b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"462eadfb5f9f1159d8d0bf311c7e26a290a2dda5b10d601921e95ebb4742072b","first_computed_at":"2026-05-18T00:18:47.657048Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:18:47.657048Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"D49rZGmjC33EQ87JFYuvLv8DKS+tQ2BWRCNVw47wSWnzo0G/mwhEy6UwLuVdCqxii0/vNhg5rmH8Vyz6qRJLAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:18:47.657852Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.03579","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d5d8c5057e40ea3b7740a593b99c1b431d4cb1082496ccb6a3e5003e959ab89e","sha256:fbaa23c1253fe70dbc39d1292d5f80d0843fd1491d29857d3a5e3bc6ad264fe4"],"state_sha256":"157f55d821ed12ddde15b1bb71faf1df5ab3b3798b61bf2520c48640c2bf396c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SDVj31J3n79X3YM/SFXTvzfX7K2Ygt0YYl5cyU2kIxsMiSX3DhsL3S0Ie8MPDONaWbNfE5aB1EzquQJjOGRgDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T15:47:17.003554Z","bundle_sha256":"e775b123a49b3a14fb25128b50203a02cc41bd6769b56a33905c258695da2599"}}