{"public_id":"cl_c78acefc3f0330cfdc568d985fe5b5d7","status":"active","superseded_by_public_id":null,"corpus_id":123687202,"text":"The proof uses an energy inequality and density of the range of the operator generated by the problem.","confidence":0.95,"paper":{"corpus_id":123687202,"title":"On Existence and Uniqueness of Generalized Solutions for a Mixed-type Differential Equation","url":"https://sah.borca.ai/papers/123687202"},"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.95,"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_67fcf46ba3a3161d679995d6781b5745","name":"operator generated by the problem","description":"The operator associated with the boundary value problem and used in the functional-analytic proof.","types":["operator"],"url":"https://sah.borca.ai/concepts/co_67fcf46ba3a3161d679995d6781b5745"},{"public_id":"co_8e16c46ff0925809fbee6f83de2d9c96","name":"energy inequality","description":"An inequality that bounds solution energy and is used as an analytic tool in the proof.","types":["method"],"url":"https://sah.borca.ai/concepts/co_8e16c46ff0925809fbee6f83de2d9c96"},{"public_id":"co_a897d82f1f0c7e4f274970a81cfadcb6","name":"density of the range","description":"The property that the range of an operator is dense in the target space.","types":["operator property"],"url":"https://sah.borca.ai/concepts/co_a897d82f1f0c7e4f274970a81cfadcb6"}],"related_claims":[],"url":"https://sah.borca.ai/claims/cl_c78acefc3f0330cfdc568d985fe5b5d7"}