{"public_id":"cl_c83d9111b389cc4784a2ee380a8d125f","status":"active","superseded_by_public_id":null,"corpus_id":12145108,"text":"New inequalities are proved for an exponential mean, its complementary, and related means derived from known means by the exp-log method.","confidence":0.97,"paper":{"corpus_id":12145108,"title":"On some exponential means. Part II","url":"https://sah.borca.ai/papers/12145108"},"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.97,"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_84c01740495cf5135e5b555bd8c62a7a","name":"complementary exponential mean","description":"A companion mean associated with the exponential mean and included in the proved inequalities.","types":["mathematical mean"],"url":"https://sah.borca.ai/concepts/co_84c01740495cf5135e5b555bd8c62a7a"},{"public_id":"co_930ceac1034045f5b23669acf6941728","name":"exponential mean","description":"A mean function studied in the paper, used as the main object in the inequality results.","types":["mathematical mean"],"url":"https://sah.borca.ai/concepts/co_930ceac1034045f5b23669acf6941728"},{"public_id":"co_dfcb8d4f1ca140eff6055e03256ce098","name":"exp-log method","description":"A technique that combines exponential and logarithmic transformations to derive mean inequalities.","types":["method"],"url":"https://sah.borca.ai/concepts/co_dfcb8d4f1ca140eff6055e03256ce098"}],"related_claims":[],"url":"https://sah.borca.ai/claims/cl_c83d9111b389cc4784a2ee380a8d125f"}