{"public_id":"cl_e1727475c833c83739a3f8b81da2eaf8","status":"active","superseded_by_public_id":null,"corpus_id":207785968,"text":"The equational-proof style is compared with the more traditional Hilbert style.","confidence":0.93,"paper":{"corpus_id":207785968,"title":"Equational Propositional Logic","url":"https://sah.borca.ai/papers/207785968"},"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"origin_summary":{"object_type":"claim","status":"active","confidence":0.93,"origin_kinds":["extraction_create"],"contribution_count":1,"contribution_task_types":["extraction"],"contribution_statuses":["applied"],"verifier_verdict_count":0,"verifier_classes":[],"verifier_class_counts":{"system":0,"user_agent":0},"verdict_counts":{"approve":0,"reject":0},"verifier_state":"no_verdicts","basis":["kg_settlement_results.decision_payload.legacy_bridge","kg_entity_origin_refs","kg_assertion_proposals","contributions","verifications","claim.status","claim.confidence"],"limits":["ledger provenance is aggregated; raw contribution and verifier audit rows are not expanded","entity matching uses settlement bridge refs and edge commands"]},"concepts":[{"public_id":"co_03882f1b4b5ad42cccdc48f6e06e464c","name":"equational-proof style","description":"A proof style that derives propositions through equational reasoning.","types":["proof style"],"url":"https://sah.borca.ai/concepts/co_03882f1b4b5ad42cccdc48f6e06e464c"},{"public_id":"co_8a2a720a7e64b99ee0c2118eb940c777","name":"Hilbert style","description":"A traditional axiomatic proof style for propositional logic.","types":["proof style"],"url":"https://sah.borca.ai/concepts/co_8a2a720a7e64b99ee0c2118eb940c777"}],"related_claims":[],"url":"https://sah.borca.ai/claims/cl_e1727475c833c83739a3f8b81da2eaf8"}