{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:JIALMCLHNA3L7JTM5DZYX52QWF","short_pith_number":"pith:JIALMCLH","schema_version":"1.0","canonical_sha256":"4a00b609676836bfa66ce8f38bf750b16e626e3e479ad3be5257f27785f5a2b4","source":{"kind":"arxiv","id":"1401.3475","version":1},"attestation_state":"computed","paper":{"title":"Prime Implicates and Prime Implicants: From Propositional to Modal Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Meghyn Bienvenu","submitted_at":"2014-01-15T05:31:28Z","abstract_excerpt":"Prime implicates and prime implicants have proven relevant to a number of areas of artificial intelligence, most notably abductive reasoning and knowledge compilation. The purpose of this paper is to examine how these notions might be appropriately extended from propositional logic to the modal logic K. We begin the paper by considering a number of potential definitions of clauses and terms for K. The different definitions are evaluated with respect to a set of syntactic, semantic, and complexity-theoretic properties characteristic of the propositional definition.  We then compare the definiti"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1401.3475","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-15T05:31:28Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"8f9821eece2c2080625699704ef85278e837fa249716dfc63cc6d692299adaeb","abstract_canon_sha256":"45d24b3eba11b97b00221ecf7a53afbd539c7af40d67ccca232f36171db69a0b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:02:08.815697Z","signature_b64":"fj8pHjT1FJde9WtrSdvzglzZiFVvoT9b+RZbqQI4evsjhLjJC0nsnh9h3grLxD7i/IVchT2F+hZTIIng/6v7Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4a00b609676836bfa66ce8f38bf750b16e626e3e479ad3be5257f27785f5a2b4","last_reissued_at":"2026-05-18T03:02:08.815011Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:02:08.815011Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Prime Implicates and Prime Implicants: From Propositional to Modal Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Meghyn Bienvenu","submitted_at":"2014-01-15T05:31:28Z","abstract_excerpt":"Prime implicates and prime implicants have proven relevant to a number of areas of artificial intelligence, most notably abductive reasoning and knowledge compilation. The purpose of this paper is to examine how these notions might be appropriately extended from propositional logic to the modal logic K. We begin the paper by considering a number of potential definitions of clauses and terms for K. The different definitions are evaluated with respect to a set of syntactic, semantic, and complexity-theoretic properties characteristic of the propositional definition.  We then compare the definiti"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3475","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1401.3475","created_at":"2026-05-18T03:02:08.815122+00:00"},{"alias_kind":"arxiv_version","alias_value":"1401.3475v1","created_at":"2026-05-18T03:02:08.815122+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3475","created_at":"2026-05-18T03:02:08.815122+00:00"},{"alias_kind":"pith_short_12","alias_value":"JIALMCLHNA3L","created_at":"2026-05-18T12:28:33.132498+00:00"},{"alias_kind":"pith_short_16","alias_value":"JIALMCLHNA3L7JTM","created_at":"2026-05-18T12:28:33.132498+00:00"},{"alias_kind":"pith_short_8","alias_value":"JIALMCLH","created_at":"2026-05-18T12:28:33.132498+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/JIALMCLHNA3L7JTM5DZYX52QWF","json":"https://pith.science/pith/JIALMCLHNA3L7JTM5DZYX52QWF.json","graph_json":"https://pith.science/api/pith-number/JIALMCLHNA3L7JTM5DZYX52QWF/graph.json","events_json":"https://pith.science/api/pith-number/JIALMCLHNA3L7JTM5DZYX52QWF/events.json","paper":"https://pith.science/paper/JIALMCLH"},"agent_actions":{"view_html":"https://pith.science/pith/JIALMCLHNA3L7JTM5DZYX52QWF","download_json":"https://pith.science/pith/JIALMCLHNA3L7JTM5DZYX52QWF.json","view_paper":"https://pith.science/paper/JIALMCLH","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1401.3475&json=true","fetch_graph":"https://pith.science/api/pith-number/JIALMCLHNA3L7JTM5DZYX52QWF/graph.json","fetch_events":"https://pith.science/api/pith-number/JIALMCLHNA3L7JTM5DZYX52QWF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JIALMCLHNA3L7JTM5DZYX52QWF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JIALMCLHNA3L7JTM5DZYX52QWF/action/storage_attestation","attest_author":"https://pith.science/pith/JIALMCLHNA3L7JTM5DZYX52QWF/action/author_attestation","sign_citation":"https://pith.science/pith/JIALMCLHNA3L7JTM5DZYX52QWF/action/citation_signature","submit_replication":"https://pith.science/pith/JIALMCLHNA3L7JTM5DZYX52QWF/action/replication_record"}},"created_at":"2026-05-18T03:02:08.815122+00:00","updated_at":"2026-05-18T03:02:08.815122+00:00"}