{"public_id":"cl_fac673cc0c97e325a0f50b33965bb194","status":"active","superseded_by_public_id":null,"corpus_id":118957506,"text":"In ineffective cases, the purposes for using examples are appropriate, but the implementation of the strategies is inadequate in one of two specific ways.","confidence":0.93,"paper":{"corpus_id":118957506,"title":"Undergraduates’ Example Use in Proof Construction: Purposes and Effectiveness","url":"https://sah.borca.ai/papers/118957506"},"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_46b68b12b7134bc0c3960c7b61f2b8bc","name":"examples","description":"Specific illustrative cases used during proof attempts to support reasoning or testing.","types":["reasoning resource"],"url":"https://sah.borca.ai/concepts/co_46b68b12b7134bc0c3960c7b61f2b8bc"},{"public_id":"co_7173f7cbafc008affe1e275054523b33","name":"strategy implementation","description":"The way a student's intended example-use strategy is carried out in practice.","types":["methodological aspect"],"url":"https://sah.borca.ai/concepts/co_7173f7cbafc008affe1e275054523b33"},{"public_id":"co_8dd8453acad0d6be6a7e694bfc5587fa","name":"proof construction","description":"The process of developing a mathematical proof.","types":["mathematical activity"],"url":"https://sah.borca.ai/concepts/co_8dd8453acad0d6be6a7e694bfc5587fa"}],"related_claims":[],"url":"https://sah.borca.ai/claims/cl_fac673cc0c97e325a0f50b33965bb194"}