{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:CMX5QGAW6Q3ONK3MJZTZGVBFNB","short_pith_number":"pith:CMX5QGAW","canonical_record":{"source":{"id":"1608.01338","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-08-03T20:26:20Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"449ad3174a36790dd0e5504dda082d6f833d7c2cb98c6cd2ed7b188328bf4f05","abstract_canon_sha256":"1c5bc669a3fc59c2bfdab899d26bbab9b358a3e73750d390b74252b7b7101528"},"schema_version":"1.0"},"canonical_sha256":"132fd81816f436e6ab6c4e679354256860d2652d2d5d77c09375a3a9d8bc0d19","source":{"kind":"arxiv","id":"1608.01338","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.01338","created_at":"2026-05-18T01:09:44Z"},{"alias_kind":"arxiv_version","alias_value":"1608.01338v2","created_at":"2026-05-18T01:09:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.01338","created_at":"2026-05-18T01:09:44Z"},{"alias_kind":"pith_short_12","alias_value":"CMX5QGAW6Q3O","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_16","alias_value":"CMX5QGAW6Q3ONK3M","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_8","alias_value":"CMX5QGAW","created_at":"2026-05-18T12:30:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:CMX5QGAW6Q3ONK3MJZTZGVBFNB","target":"record","payload":{"canonical_record":{"source":{"id":"1608.01338","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-08-03T20:26:20Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"449ad3174a36790dd0e5504dda082d6f833d7c2cb98c6cd2ed7b188328bf4f05","abstract_canon_sha256":"1c5bc669a3fc59c2bfdab899d26bbab9b358a3e73750d390b74252b7b7101528"},"schema_version":"1.0"},"canonical_sha256":"132fd81816f436e6ab6c4e679354256860d2652d2d5d77c09375a3a9d8bc0d19","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:09:44.912472Z","signature_b64":"WNhyZJHWEKGo/hoh6WQS8pZ/cAGP1XGR/YEIAmrtvdTj9V3CoXhuo4FCncaq5e8rjWrIWDPaaomIw7Ird4WODg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"132fd81816f436e6ab6c4e679354256860d2652d2d5d77c09375a3a9d8bc0d19","last_reissued_at":"2026-05-18T01:09:44.911887Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:09:44.911887Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1608.01338","source_version":2,"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:09:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EMWKNXewS1aO3zdq5vIF/7DVThUUQJKbkbujDq1GulmLFsPPGHHeZQeppYdTnscgGK31lhFqifmIvBa7EHe7AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T09:13:10.100091Z"},"content_sha256":"a3305f29087d2603586aea3bc7cad9f62fc75fb40fa612b66125adeaef8a9ddc","schema_version":"1.0","event_id":"sha256:a3305f29087d2603586aea3bc7cad9f62fc75fb40fa612b66125adeaef8a9ddc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:CMX5QGAW6Q3ONK3MJZTZGVBFNB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Paraconsistency and Word Puzzles","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Michael Kifer, Paul Fodor, Tiantian Gao","submitted_at":"2016-08-03T20:26:20Z","abstract_excerpt":"Word puzzles and the problem of their representations in logic languages have received considerable attention in the last decade (Ponnuru et al. 2004; Shapiro 2011; Baral and Dzifcak 2012; Schwitter 2013). Of special interest is the problem of generating such representations directly from natural language (NL) or controlled natural language (CNL). An interesting variation of this problem, and to the best of our knowledge, scarcely explored variation in this context, is when the input information is inconsistent. In such situations, the existing encodings of word puzzles produce inconsistent re"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.01338","kind":"arxiv","version":2},"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:09:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UqdPA02Ks1u0XbRpt8Lmy50VO7ulAst8gVoeUm0DNhGp6s/IlkxalEzZWuNcRALtXHz2fQ+0VnzEWNRjnDRLDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T09:13:10.100782Z"},"content_sha256":"0353641f227d65418e1d360a3012f73ad270d8f6601642daa21dba2f5a66bdbe","schema_version":"1.0","event_id":"sha256:0353641f227d65418e1d360a3012f73ad270d8f6601642daa21dba2f5a66bdbe"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CMX5QGAW6Q3ONK3MJZTZGVBFNB/bundle.json","state_url":"https://pith.science/pith/CMX5QGAW6Q3ONK3MJZTZGVBFNB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CMX5QGAW6Q3ONK3MJZTZGVBFNB/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-27T09:13:10Z","links":{"resolver":"https://pith.science/pith/CMX5QGAW6Q3ONK3MJZTZGVBFNB","bundle":"https://pith.science/pith/CMX5QGAW6Q3ONK3MJZTZGVBFNB/bundle.json","state":"https://pith.science/pith/CMX5QGAW6Q3ONK3MJZTZGVBFNB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CMX5QGAW6Q3ONK3MJZTZGVBFNB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:CMX5QGAW6Q3ONK3MJZTZGVBFNB","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":"1c5bc669a3fc59c2bfdab899d26bbab9b358a3e73750d390b74252b7b7101528","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-08-03T20:26:20Z","title_canon_sha256":"449ad3174a36790dd0e5504dda082d6f833d7c2cb98c6cd2ed7b188328bf4f05"},"schema_version":"1.0","source":{"id":"1608.01338","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.01338","created_at":"2026-05-18T01:09:44Z"},{"alias_kind":"arxiv_version","alias_value":"1608.01338v2","created_at":"2026-05-18T01:09:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.01338","created_at":"2026-05-18T01:09:44Z"},{"alias_kind":"pith_short_12","alias_value":"CMX5QGAW6Q3O","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_16","alias_value":"CMX5QGAW6Q3ONK3M","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_8","alias_value":"CMX5QGAW","created_at":"2026-05-18T12:30:09Z"}],"graph_snapshots":[{"event_id":"sha256:0353641f227d65418e1d360a3012f73ad270d8f6601642daa21dba2f5a66bdbe","target":"graph","created_at":"2026-05-18T01:09: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":"Word puzzles and the problem of their representations in logic languages have received considerable attention in the last decade (Ponnuru et al. 2004; Shapiro 2011; Baral and Dzifcak 2012; Schwitter 2013). Of special interest is the problem of generating such representations directly from natural language (NL) or controlled natural language (CNL). An interesting variation of this problem, and to the best of our knowledge, scarcely explored variation in this context, is when the input information is inconsistent. In such situations, the existing encodings of word puzzles produce inconsistent re","authors_text":"Michael Kifer, Paul Fodor, Tiantian Gao","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-08-03T20:26:20Z","title":"Paraconsistency and Word Puzzles"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.01338","kind":"arxiv","version":2},"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:a3305f29087d2603586aea3bc7cad9f62fc75fb40fa612b66125adeaef8a9ddc","target":"record","created_at":"2026-05-18T01:09: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":"1c5bc669a3fc59c2bfdab899d26bbab9b358a3e73750d390b74252b7b7101528","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-08-03T20:26:20Z","title_canon_sha256":"449ad3174a36790dd0e5504dda082d6f833d7c2cb98c6cd2ed7b188328bf4f05"},"schema_version":"1.0","source":{"id":"1608.01338","kind":"arxiv","version":2}},"canonical_sha256":"132fd81816f436e6ab6c4e679354256860d2652d2d5d77c09375a3a9d8bc0d19","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"132fd81816f436e6ab6c4e679354256860d2652d2d5d77c09375a3a9d8bc0d19","first_computed_at":"2026-05-18T01:09:44.911887Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:09:44.911887Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WNhyZJHWEKGo/hoh6WQS8pZ/cAGP1XGR/YEIAmrtvdTj9V3CoXhuo4FCncaq5e8rjWrIWDPaaomIw7Ird4WODg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:09:44.912472Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.01338","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a3305f29087d2603586aea3bc7cad9f62fc75fb40fa612b66125adeaef8a9ddc","sha256:0353641f227d65418e1d360a3012f73ad270d8f6601642daa21dba2f5a66bdbe"],"state_sha256":"fbb4b5c436c2c8e8f43982afdcb387d8101d2b8606c776785a1f3b3d4343eaf2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gj7jGg4l7nymIEnbGQPr6b77CEbBAGLjYOiZKf2Dw1rstUwQPyFbnnHscChXKyCdDNNCJDm9k89vgQreEbfrCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T09:13:10.104414Z","bundle_sha256":"f9a64658043e40d53d543c970dcad7db937e855026706025bc5a9759fc9bb9e5"}}