{"public_id":"cl_bc112cbb35a65d9b2798d0099718c170","status":"active","superseded_by_public_id":null,"corpus_id":127180855,"text":"A topological degree approach is used to obtain existence and uniqueness results for the solution.","confidence":0.93,"paper":{"corpus_id":127180855,"title":"Existence results in Banach space for a nonlinear impulsive system","url":"https://sah.borca.ai/papers/127180855"},"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_7cccb875583e7d4fef7e2f85408ee64c","name":"existence and uniqueness of the solution","description":"The property that the problem admits a solution and that the solution is unique.","types":["result"],"url":"https://sah.borca.ai/concepts/co_7cccb875583e7d4fef7e2f85408ee64c"},{"public_id":"co_89d085931c436e4aeb132be7f1ea4aed","name":"generalized impulsive fractional order differential equation","description":"A differential equation with fractional-order derivatives and impulsive effects considered in the paper.","types":["equation"],"url":"https://sah.borca.ai/concepts/co_89d085931c436e4aeb132be7f1ea4aed"},{"public_id":"co_e10bc2d2b112c638f928de2a7858ce71","name":"topological degree approach","description":"A method based on topological degree theory used to prove solvability properties.","types":["method"],"url":"https://sah.borca.ai/concepts/co_e10bc2d2b112c638f928de2a7858ce71"}],"related_claims":[],"url":"https://sah.borca.ai/claims/cl_bc112cbb35a65d9b2798d0099718c170"}