{"public_id":"cl_690baebc540878ddba2fae995e89f277","status":"active","superseded_by_public_id":null,"corpus_id":118957506,"text":"Undergraduates in a transition-to-proof course use examples for specific purposes while successfully constructing proofs, and those purposes align with purposes described by mathematicians.","confidence":0.94,"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.94,"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_8dd8453acad0d6be6a7e694bfc5587fa","name":"proof construction","description":"The process of developing a mathematical proof.","types":["mathematical activity"],"url":"https://sah.borca.ai/concepts/co_8dd8453acad0d6be6a7e694bfc5587fa"},{"public_id":"co_95ed91d98a3544dcbd647583932745a6","name":"undergraduates","description":"Students enrolled in a university-level undergraduate program who participated in the study.","types":["population"],"url":"https://sah.borca.ai/concepts/co_95ed91d98a3544dcbd647583932745a6"},{"public_id":"co_fd14ec5fa9968abc48d848997202d502","name":"transition-to-proof course","description":"A university mathematics course designed to help students move into formal proof-based reasoning.","types":["course"],"url":"https://sah.borca.ai/concepts/co_fd14ec5fa9968abc48d848997202d502"}],"related_claims":[],"url":"https://sah.borca.ai/claims/cl_690baebc540878ddba2fae995e89f277"}