{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:ZP7AUOS4FG42GGQ2724IYFNV65","short_pith_number":"pith:ZP7AUOS4","canonical_record":{"source":{"id":"1711.06542","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-16T09:15:25Z","cross_cats_sorted":[],"title_canon_sha256":"eeec01ef19753425c11cbf599911689caf110664ec7b81a67043387986642db4","abstract_canon_sha256":"341fbf8be837980f7c9e48de6edfa18e7b72da5e8f6581f6096765ce5276a965"},"schema_version":"1.0"},"canonical_sha256":"cbfe0a3a5c29b9a31a1afeb88c15b5f775ec31759d22b20d9f5449f44469a9fd","source":{"kind":"arxiv","id":"1711.06542","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.06542","created_at":"2026-05-17T23:39:42Z"},{"alias_kind":"arxiv_version","alias_value":"1711.06542v4","created_at":"2026-05-17T23:39:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.06542","created_at":"2026-05-17T23:39:42Z"},{"alias_kind":"pith_short_12","alias_value":"ZP7AUOS4FG42","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_16","alias_value":"ZP7AUOS4FG42GGQ2","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_8","alias_value":"ZP7AUOS4","created_at":"2026-05-18T12:31:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:ZP7AUOS4FG42GGQ2724IYFNV65","target":"record","payload":{"canonical_record":{"source":{"id":"1711.06542","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-16T09:15:25Z","cross_cats_sorted":[],"title_canon_sha256":"eeec01ef19753425c11cbf599911689caf110664ec7b81a67043387986642db4","abstract_canon_sha256":"341fbf8be837980f7c9e48de6edfa18e7b72da5e8f6581f6096765ce5276a965"},"schema_version":"1.0"},"canonical_sha256":"cbfe0a3a5c29b9a31a1afeb88c15b5f775ec31759d22b20d9f5449f44469a9fd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:42.043793Z","signature_b64":"Upwz4lQ1gXrALv4LozBW85lmj5E7g7b9AiZTrnBm4jXcrckNG6jTGD+DHI4l9JvmflgvskpD7xToxQv/o/bKCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cbfe0a3a5c29b9a31a1afeb88c15b5f775ec31759d22b20d9f5449f44469a9fd","last_reissued_at":"2026-05-17T23:39:42.043013Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:42.043013Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1711.06542","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-17T23:39:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8RwkQ2NG64/FCHeGwi6P6PKxYlJb18x+aIj8EhgJzABxGzTLw3npu01sjRH7KrjoyvTaafb8UR2QkbhRE7v2CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T03:04:17.314252Z"},"content_sha256":"5f96093988a30a8b793489ef81b504a11894b8d7f95de0de1667848c5f0e7208","schema_version":"1.0","event_id":"sha256:5f96093988a30a8b793489ef81b504a11894b8d7f95de0de1667848c5f0e7208"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:ZP7AUOS4FG42GGQ2724IYFNV65","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Mechanizing Principia Logico-Metaphysica in Functional Type Theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Christoph Benzm\\\"uller, Daniel Kirchner, Edward N. Zalta","submitted_at":"2017-11-16T09:15:25Z","abstract_excerpt":"Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [AOT], a metaphysical theory (inspired by ideas of Ernst Mally, formalized by Zalta) that distinguishes between ordinary and abstract objects.\n  This article reports on recent work in which AOT has been successfully represented and partly automated in the proof assistant system Isabelle/HOL. Initial experiments within this framework reveal a crucial but overlooked fact: a deeply-rooted and known paradox is reintroduced"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.06542","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-17T23:39:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XeYIyyCbvT9/gkBWr+GuEtr9D79F7BXk8B4KQUPYppULTxZkUWsqd4vJtTx6BR+06bFXozeMR18ow5sM1Q43Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T03:04:17.314600Z"},"content_sha256":"b30c4bdfb7bc77c7c8cc91bb9e4c176e930a1e052b2c90d6c381c2edfdb2fa86","schema_version":"1.0","event_id":"sha256:b30c4bdfb7bc77c7c8cc91bb9e4c176e930a1e052b2c90d6c381c2edfdb2fa86"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZP7AUOS4FG42GGQ2724IYFNV65/bundle.json","state_url":"https://pith.science/pith/ZP7AUOS4FG42GGQ2724IYFNV65/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZP7AUOS4FG42GGQ2724IYFNV65/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-20T03:04:17Z","links":{"resolver":"https://pith.science/pith/ZP7AUOS4FG42GGQ2724IYFNV65","bundle":"https://pith.science/pith/ZP7AUOS4FG42GGQ2724IYFNV65/bundle.json","state":"https://pith.science/pith/ZP7AUOS4FG42GGQ2724IYFNV65/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZP7AUOS4FG42GGQ2724IYFNV65/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:ZP7AUOS4FG42GGQ2724IYFNV65","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":"341fbf8be837980f7c9e48de6edfa18e7b72da5e8f6581f6096765ce5276a965","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-16T09:15:25Z","title_canon_sha256":"eeec01ef19753425c11cbf599911689caf110664ec7b81a67043387986642db4"},"schema_version":"1.0","source":{"id":"1711.06542","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.06542","created_at":"2026-05-17T23:39:42Z"},{"alias_kind":"arxiv_version","alias_value":"1711.06542v4","created_at":"2026-05-17T23:39:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.06542","created_at":"2026-05-17T23:39:42Z"},{"alias_kind":"pith_short_12","alias_value":"ZP7AUOS4FG42","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_16","alias_value":"ZP7AUOS4FG42GGQ2","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_8","alias_value":"ZP7AUOS4","created_at":"2026-05-18T12:31:59Z"}],"graph_snapshots":[{"event_id":"sha256:b30c4bdfb7bc77c7c8cc91bb9e4c176e930a1e052b2c90d6c381c2edfdb2fa86","target":"graph","created_at":"2026-05-17T23:39:42Z","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":"Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [AOT], a metaphysical theory (inspired by ideas of Ernst Mally, formalized by Zalta) that distinguishes between ordinary and abstract objects.\n  This article reports on recent work in which AOT has been successfully represented and partly automated in the proof assistant system Isabelle/HOL. Initial experiments within this framework reveal a crucial but overlooked fact: a deeply-rooted and known paradox is reintroduced","authors_text":"Christoph Benzm\\\"uller, Daniel Kirchner, Edward N. Zalta","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-16T09:15:25Z","title":"Mechanizing Principia Logico-Metaphysica in Functional Type Theory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.06542","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:5f96093988a30a8b793489ef81b504a11894b8d7f95de0de1667848c5f0e7208","target":"record","created_at":"2026-05-17T23:39:42Z","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":"341fbf8be837980f7c9e48de6edfa18e7b72da5e8f6581f6096765ce5276a965","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-16T09:15:25Z","title_canon_sha256":"eeec01ef19753425c11cbf599911689caf110664ec7b81a67043387986642db4"},"schema_version":"1.0","source":{"id":"1711.06542","kind":"arxiv","version":4}},"canonical_sha256":"cbfe0a3a5c29b9a31a1afeb88c15b5f775ec31759d22b20d9f5449f44469a9fd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cbfe0a3a5c29b9a31a1afeb88c15b5f775ec31759d22b20d9f5449f44469a9fd","first_computed_at":"2026-05-17T23:39:42.043013Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:39:42.043013Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Upwz4lQ1gXrALv4LozBW85lmj5E7g7b9AiZTrnBm4jXcrckNG6jTGD+DHI4l9JvmflgvskpD7xToxQv/o/bKCA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:39:42.043793Z","signed_message":"canonical_sha256_bytes"},"source_id":"1711.06542","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5f96093988a30a8b793489ef81b504a11894b8d7f95de0de1667848c5f0e7208","sha256:b30c4bdfb7bc77c7c8cc91bb9e4c176e930a1e052b2c90d6c381c2edfdb2fa86"],"state_sha256":"255fb5dc58eb319f70b73e44230dd1dc37a412a84cc57b750c986c1fea9008c1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qGmXhzphhermYP/yad6vquLpKD6oB/jl0oAh/RcjGn9ASi+kbiWLu5G3js1tfB6Dj+KR6mM1xLPhZECgXMW7Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T03:04:17.316384Z","bundle_sha256":"c4e72712b2427533ed48adb5e5025a14b8e8b9732e2a197eb7025572597b83ec"}}