{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:MXEUNNGOPRWBOQ64WCJGYJBGFM","short_pith_number":"pith:MXEUNNGO","canonical_record":{"source":{"id":"1509.01683","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-09-05T09:21:17Z","cross_cats_sorted":[],"title_canon_sha256":"abe2af80eb53065ecbc804d883b147a7598386ae1e93dba642462ad169f685f6","abstract_canon_sha256":"f723618044dd392b54349110279e0bdcfb5c660d0c3308a27b9bb8e34c5429d3"},"schema_version":"1.0"},"canonical_sha256":"65c946b4ce7c6c1743dcb0926c24262b3cbacc81835946fbd0fcfccc792a151b","source":{"kind":"arxiv","id":"1509.01683","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.01683","created_at":"2026-05-18T00:16:09Z"},{"alias_kind":"arxiv_version","alias_value":"1509.01683v4","created_at":"2026-05-18T00:16:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.01683","created_at":"2026-05-18T00:16:09Z"},{"alias_kind":"pith_short_12","alias_value":"MXEUNNGOPRWB","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"MXEUNNGOPRWBOQ64","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"MXEUNNGO","created_at":"2026-05-18T12:29:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:MXEUNNGOPRWBOQ64WCJGYJBGFM","target":"record","payload":{"canonical_record":{"source":{"id":"1509.01683","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-09-05T09:21:17Z","cross_cats_sorted":[],"title_canon_sha256":"abe2af80eb53065ecbc804d883b147a7598386ae1e93dba642462ad169f685f6","abstract_canon_sha256":"f723618044dd392b54349110279e0bdcfb5c660d0c3308a27b9bb8e34c5429d3"},"schema_version":"1.0"},"canonical_sha256":"65c946b4ce7c6c1743dcb0926c24262b3cbacc81835946fbd0fcfccc792a151b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:16:09.930276Z","signature_b64":"1TwqubdB953T4hIF8XjgK0Z7F9olUeRYT8Zi6pjipEgRebIGcpm6pLYuT8YYWbqdqysrBFrVeTihoS4h/StNDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"65c946b4ce7c6c1743dcb0926c24262b3cbacc81835946fbd0fcfccc792a151b","last_reissued_at":"2026-05-18T00:16:09.929580Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:16:09.929580Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1509.01683","source_version":4,"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:16:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MnNIfi6kxs3inVsvJ9l39xp0OKlz6GXP0OTniVyFSVhxcKasQSTWZ9SnSWB5oHI/8EKW42t/0n7Mtx2fnrizAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T20:10:55.495243Z"},"content_sha256":"6aeb3f2ada146a897a80e74f2818235017993b714a50127cde72d72519516835","schema_version":"1.0","event_id":"sha256:6aeb3f2ada146a897a80e74f2818235017993b714a50127cde72d72519516835"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:MXEUNNGOPRWBOQ64WCJGYJBGFM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Inference From Visible Information And Background Knowledge","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Balder ten Cate, Gabriele Puppis, Michael Benedikt, Michael Vanden Boom, Pierre Bourhis","submitted_at":"2015-09-05T09:21:17Z","abstract_excerpt":"We provide a wide-ranging study of the scenario where a subset of the relations in a relational vocabulary are visible to a user --- that is, their complete contents are known --- while the remaining relations are invisible. We also have a background theory --- invariants given by logical sentences --- which may relate the visible relations to invisible ones, and also may constrain both the visible and invisible relations in isolation. We want to determine whether some other information, given as a positive existential formula, can be inferred using only the visible information and the backgro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.01683","kind":"arxiv","version":4},"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:16:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ll8Q7YEIajjxEPi9kIva+JDMukllmqaapUcBBPmWWrG1ihZdfykEnJGMA3x6Dp82n40MO9XcYF5ybk4platVDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T20:10:55.495942Z"},"content_sha256":"8d11eedb9bbff508168ad314c2d714f52608d727ac01f01ca8854d26e2949e07","schema_version":"1.0","event_id":"sha256:8d11eedb9bbff508168ad314c2d714f52608d727ac01f01ca8854d26e2949e07"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MXEUNNGOPRWBOQ64WCJGYJBGFM/bundle.json","state_url":"https://pith.science/pith/MXEUNNGOPRWBOQ64WCJGYJBGFM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MXEUNNGOPRWBOQ64WCJGYJBGFM/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-27T20:10:55Z","links":{"resolver":"https://pith.science/pith/MXEUNNGOPRWBOQ64WCJGYJBGFM","bundle":"https://pith.science/pith/MXEUNNGOPRWBOQ64WCJGYJBGFM/bundle.json","state":"https://pith.science/pith/MXEUNNGOPRWBOQ64WCJGYJBGFM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MXEUNNGOPRWBOQ64WCJGYJBGFM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:MXEUNNGOPRWBOQ64WCJGYJBGFM","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":"f723618044dd392b54349110279e0bdcfb5c660d0c3308a27b9bb8e34c5429d3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-09-05T09:21:17Z","title_canon_sha256":"abe2af80eb53065ecbc804d883b147a7598386ae1e93dba642462ad169f685f6"},"schema_version":"1.0","source":{"id":"1509.01683","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.01683","created_at":"2026-05-18T00:16:09Z"},{"alias_kind":"arxiv_version","alias_value":"1509.01683v4","created_at":"2026-05-18T00:16:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.01683","created_at":"2026-05-18T00:16:09Z"},{"alias_kind":"pith_short_12","alias_value":"MXEUNNGOPRWB","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"MXEUNNGOPRWBOQ64","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"MXEUNNGO","created_at":"2026-05-18T12:29:32Z"}],"graph_snapshots":[{"event_id":"sha256:8d11eedb9bbff508168ad314c2d714f52608d727ac01f01ca8854d26e2949e07","target":"graph","created_at":"2026-05-18T00:16:09Z","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":"We provide a wide-ranging study of the scenario where a subset of the relations in a relational vocabulary are visible to a user --- that is, their complete contents are known --- while the remaining relations are invisible. We also have a background theory --- invariants given by logical sentences --- which may relate the visible relations to invisible ones, and also may constrain both the visible and invisible relations in isolation. We want to determine whether some other information, given as a positive existential formula, can be inferred using only the visible information and the backgro","authors_text":"Balder ten Cate, Gabriele Puppis, Michael Benedikt, Michael Vanden Boom, Pierre Bourhis","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-09-05T09:21:17Z","title":"Inference From Visible Information And Background Knowledge"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.01683","kind":"arxiv","version":4},"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:6aeb3f2ada146a897a80e74f2818235017993b714a50127cde72d72519516835","target":"record","created_at":"2026-05-18T00:16:09Z","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":"f723618044dd392b54349110279e0bdcfb5c660d0c3308a27b9bb8e34c5429d3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-09-05T09:21:17Z","title_canon_sha256":"abe2af80eb53065ecbc804d883b147a7598386ae1e93dba642462ad169f685f6"},"schema_version":"1.0","source":{"id":"1509.01683","kind":"arxiv","version":4}},"canonical_sha256":"65c946b4ce7c6c1743dcb0926c24262b3cbacc81835946fbd0fcfccc792a151b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"65c946b4ce7c6c1743dcb0926c24262b3cbacc81835946fbd0fcfccc792a151b","first_computed_at":"2026-05-18T00:16:09.929580Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:16:09.929580Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1TwqubdB953T4hIF8XjgK0Z7F9olUeRYT8Zi6pjipEgRebIGcpm6pLYuT8YYWbqdqysrBFrVeTihoS4h/StNDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:16:09.930276Z","signed_message":"canonical_sha256_bytes"},"source_id":"1509.01683","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6aeb3f2ada146a897a80e74f2818235017993b714a50127cde72d72519516835","sha256:8d11eedb9bbff508168ad314c2d714f52608d727ac01f01ca8854d26e2949e07"],"state_sha256":"642b576da7c0b8110111bc6fcb67c1fe51ce94d5cde4bfd84361a7cf7c2c4499"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uvR1HndOK+ojv+sSN2oxh6AK3Ck7+QTvEMbY8ikzc/3Yre6+d6ayLGs9bj7w3kMpHzRQ0rWOyPAfnf7ZA/I4Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T20:10:55.499017Z","bundle_sha256":"8765bf67a8860aa836b4213c8e28a82dd8a5eba15c0b96218d5222f58e4de0c8"}}