{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:ZASZ6JD2VD2XYTF6N7MGV5T44X","short_pith_number":"pith:ZASZ6JD2","canonical_record":{"source":{"id":"1308.4125","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-08-19T07:15:34Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"fdcf602015ecb5cbb1b3b2afeced39e6b8e62968ffb38f24ba443b5f5cd1d3cf","abstract_canon_sha256":"558ad36b2668a12b698e4d3cc1a58f1859ac64f4f14b62c73106c229b1af2b66"},"schema_version":"1.0"},"canonical_sha256":"c8259f247aa8f57c4cbe6fd86af67ce5d14519d35bca68e6b9d3148d80051e1e","source":{"kind":"arxiv","id":"1308.4125","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.4125","created_at":"2026-05-18T03:15:33Z"},{"alias_kind":"arxiv_version","alias_value":"1308.4125v1","created_at":"2026-05-18T03:15:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.4125","created_at":"2026-05-18T03:15:33Z"},{"alias_kind":"pith_short_12","alias_value":"ZASZ6JD2VD2X","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_16","alias_value":"ZASZ6JD2VD2XYTF6","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_8","alias_value":"ZASZ6JD2","created_at":"2026-05-18T12:28:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:ZASZ6JD2VD2XYTF6N7MGV5T44X","target":"record","payload":{"canonical_record":{"source":{"id":"1308.4125","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-08-19T07:15:34Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"fdcf602015ecb5cbb1b3b2afeced39e6b8e62968ffb38f24ba443b5f5cd1d3cf","abstract_canon_sha256":"558ad36b2668a12b698e4d3cc1a58f1859ac64f4f14b62c73106c229b1af2b66"},"schema_version":"1.0"},"canonical_sha256":"c8259f247aa8f57c4cbe6fd86af67ce5d14519d35bca68e6b9d3148d80051e1e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:15:33.655270Z","signature_b64":"F5U4Tv4v6oaCW8B/RV6gGFcWi9/w8OK70lH+OBr0i8qcR3oaG+KO8Vlqhk0qTLVh1HS9SYYJTV6PEBAbfrkuCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c8259f247aa8f57c4cbe6fd86af67ce5d14519d35bca68e6b9d3148d80051e1e","last_reissued_at":"2026-05-18T03:15:33.654185Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:15:33.654185Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1308.4125","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:15:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FJeDEOuhowx+j7qG4Ec51QatRokgEOyQJXdne3k0yE8SGrZxoUCR85tuifOr2y3dSXw4dywBO5WaGmsSKc8SBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T09:00:01.204908Z"},"content_sha256":"b8df52b1c0e2db44fd432fc26a18269fc87cad4eefee5bfd73460be01cad8317","schema_version":"1.0","event_id":"sha256:b8df52b1c0e2db44fd432fc26a18269fc87cad4eefee5bfd73460be01cad8317"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:ZASZ6JD2VD2XYTF6N7MGV5T44X","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Understanding Rulelog Computations in Silk","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Benjamin N. Grosof, Brett Benyo, Carl Andersen, Michael Kifer, Miguel Calejo, Mike Dean, Paul Fodor, Senlin Liang, Terrance Swift","submitted_at":"2013-08-19T07:15:34Z","abstract_excerpt":"Rulelog is a knowledge representation and reasoning language based on logic programming under the well-founded semantics. It is an extension of the language of Flora-2 and so supports inheritance and other object-oriented features, as well as the higher-order syntax of Hilog. However, Rulelog rules may also contain quantifiers and may be contra-positional. In addition, these rules are evaluated in the presence of defeasibility mechanisms that include rule cancellation, rule priorities, and other aspects. Rulelog programs are sometimes developed by loosely coordinated teams of knowledge enginee"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.4125","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:15:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/SRkGa7lXUn0RKhMEMnewEh6Rz86eMuWPdNs+ahV6JRnDn72QWv5xZNgiC9IokndokTMQ4m13uOrn+n276PxDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T09:00:01.205251Z"},"content_sha256":"ac4ea82c04c59a49fabb02a836c1c1f4cecef5d8e4747193ff293b5d3d47fe78","schema_version":"1.0","event_id":"sha256:ac4ea82c04c59a49fabb02a836c1c1f4cecef5d8e4747193ff293b5d3d47fe78"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZASZ6JD2VD2XYTF6N7MGV5T44X/bundle.json","state_url":"https://pith.science/pith/ZASZ6JD2VD2XYTF6N7MGV5T44X/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZASZ6JD2VD2XYTF6N7MGV5T44X/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-30T09:00:01Z","links":{"resolver":"https://pith.science/pith/ZASZ6JD2VD2XYTF6N7MGV5T44X","bundle":"https://pith.science/pith/ZASZ6JD2VD2XYTF6N7MGV5T44X/bundle.json","state":"https://pith.science/pith/ZASZ6JD2VD2XYTF6N7MGV5T44X/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZASZ6JD2VD2XYTF6N7MGV5T44X/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:ZASZ6JD2VD2XYTF6N7MGV5T44X","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":"558ad36b2668a12b698e4d3cc1a58f1859ac64f4f14b62c73106c229b1af2b66","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-08-19T07:15:34Z","title_canon_sha256":"fdcf602015ecb5cbb1b3b2afeced39e6b8e62968ffb38f24ba443b5f5cd1d3cf"},"schema_version":"1.0","source":{"id":"1308.4125","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.4125","created_at":"2026-05-18T03:15:33Z"},{"alias_kind":"arxiv_version","alias_value":"1308.4125v1","created_at":"2026-05-18T03:15:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.4125","created_at":"2026-05-18T03:15:33Z"},{"alias_kind":"pith_short_12","alias_value":"ZASZ6JD2VD2X","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_16","alias_value":"ZASZ6JD2VD2XYTF6","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_8","alias_value":"ZASZ6JD2","created_at":"2026-05-18T12:28:09Z"}],"graph_snapshots":[{"event_id":"sha256:ac4ea82c04c59a49fabb02a836c1c1f4cecef5d8e4747193ff293b5d3d47fe78","target":"graph","created_at":"2026-05-18T03:15:33Z","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":"Rulelog is a knowledge representation and reasoning language based on logic programming under the well-founded semantics. It is an extension of the language of Flora-2 and so supports inheritance and other object-oriented features, as well as the higher-order syntax of Hilog. However, Rulelog rules may also contain quantifiers and may be contra-positional. In addition, these rules are evaluated in the presence of defeasibility mechanisms that include rule cancellation, rule priorities, and other aspects. Rulelog programs are sometimes developed by loosely coordinated teams of knowledge enginee","authors_text":"Benjamin N. Grosof, Brett Benyo, Carl Andersen, Michael Kifer, Miguel Calejo, Mike Dean, Paul Fodor, Senlin Liang, Terrance Swift","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-08-19T07:15:34Z","title":"Understanding Rulelog Computations in Silk"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.4125","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:b8df52b1c0e2db44fd432fc26a18269fc87cad4eefee5bfd73460be01cad8317","target":"record","created_at":"2026-05-18T03:15:33Z","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":"558ad36b2668a12b698e4d3cc1a58f1859ac64f4f14b62c73106c229b1af2b66","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-08-19T07:15:34Z","title_canon_sha256":"fdcf602015ecb5cbb1b3b2afeced39e6b8e62968ffb38f24ba443b5f5cd1d3cf"},"schema_version":"1.0","source":{"id":"1308.4125","kind":"arxiv","version":1}},"canonical_sha256":"c8259f247aa8f57c4cbe6fd86af67ce5d14519d35bca68e6b9d3148d80051e1e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c8259f247aa8f57c4cbe6fd86af67ce5d14519d35bca68e6b9d3148d80051e1e","first_computed_at":"2026-05-18T03:15:33.654185Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:15:33.654185Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"F5U4Tv4v6oaCW8B/RV6gGFcWi9/w8OK70lH+OBr0i8qcR3oaG+KO8Vlqhk0qTLVh1HS9SYYJTV6PEBAbfrkuCA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:15:33.655270Z","signed_message":"canonical_sha256_bytes"},"source_id":"1308.4125","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b8df52b1c0e2db44fd432fc26a18269fc87cad4eefee5bfd73460be01cad8317","sha256:ac4ea82c04c59a49fabb02a836c1c1f4cecef5d8e4747193ff293b5d3d47fe78"],"state_sha256":"c523209b2cf5023b9ee593b83a59737f0100971832a562456037c1e97f57fde9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w/Q/AQeHdwokBgkiBG9ife4vzOKnkm7DzHFUT9wKiHi/ryLrvjNI4NTAQJUSvC6BLKnZWUHaMTlRw/xb6owKDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T09:00:01.207380Z","bundle_sha256":"851411180ec76ab9c3552d7fb0495e1d47c33ac3fdf42050b1e9f390b84ef9f2"}}