{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:ESBP7JNHWSAOHGTLF7HVL6NNKH","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":"920913b15f2472f92dfafda0c74bbe49c782ebec29687add2baeae5cbdb9aefb","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-02-19T11:14:50Z","title_canon_sha256":"bd9ebae38e59482ef2a33e7e719cc8b05929ff754853ce6e8dbb0fb25de43666"},"schema_version":"1.0","source":{"id":"1202.4144","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1202.4144","created_at":"2026-05-18T04:02:00Z"},{"alias_kind":"arxiv_version","alias_value":"1202.4144v1","created_at":"2026-05-18T04:02:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1202.4144","created_at":"2026-05-18T04:02:00Z"},{"alias_kind":"pith_short_12","alias_value":"ESBP7JNHWSAO","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"ESBP7JNHWSAOHGTL","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"ESBP7JNH","created_at":"2026-05-18T12:27:04Z"}],"graph_snapshots":[{"event_id":"sha256:678375cd545da301e18adda6a00bffb758a89bd25d221a89eb30d2eb5d22b09e","target":"graph","created_at":"2026-05-18T04:02:00Z","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":"The KE inference system is a tableau method developed by Marco Mondadori which was presented as an improvement, in the computational efficiency sense, over Analytic Tableaux. In the literature, there is no description of a theorem prover based on the KE method for the C1 paraconsistent logic. Paraconsistent logics have several applications, such as in robot control and medicine. These applications could benefit from the existence of such a prover. We present a sound and complete KE system for C1, an informal specification of a strategy for the C1 prover as well as problem families that can be ","authors_text":"Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-02-19T11:14:50Z","title":"Towards an efficient prover for the C1 paraconsistent logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1202.4144","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:f7f23420a1dd06e82d5101ecad7d8dbd4626bb2f51973a6eca90a5a7eb4727c0","target":"record","created_at":"2026-05-18T04:02:00Z","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":"920913b15f2472f92dfafda0c74bbe49c782ebec29687add2baeae5cbdb9aefb","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-02-19T11:14:50Z","title_canon_sha256":"bd9ebae38e59482ef2a33e7e719cc8b05929ff754853ce6e8dbb0fb25de43666"},"schema_version":"1.0","source":{"id":"1202.4144","kind":"arxiv","version":1}},"canonical_sha256":"2482ffa5a7b480e39a6b2fcf55f9ad51c0ee39ab092f41323c848c7e8aef9d03","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2482ffa5a7b480e39a6b2fcf55f9ad51c0ee39ab092f41323c848c7e8aef9d03","first_computed_at":"2026-05-18T04:02:00.126506Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:02:00.126506Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"K7H9O3UTaQSX8gN0PR5gLbkdmWJe+R6zrE3GCoHo+ZPcs1Ur+j9kSKHRNncF9ccpvmRIvJ1Pu1zO4L2o1Nv2DA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:02:00.127169Z","signed_message":"canonical_sha256_bytes"},"source_id":"1202.4144","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f7f23420a1dd06e82d5101ecad7d8dbd4626bb2f51973a6eca90a5a7eb4727c0","sha256:678375cd545da301e18adda6a00bffb758a89bd25d221a89eb30d2eb5d22b09e"],"state_sha256":"f152075571d707b9813e08eda66d08c26213203e6d9550570c53935f0aa4bdf2"}