@prefix concept: <https://w3id.org/kmath/concept/> .
@prefix math: <https://w3id.org/kmath/> .
@prefix problem_type: <https://w3id.org/kmath/problem_type/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skill: <https://w3id.org/kmath/skill/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix solution_pattern: <https://w3id.org/kmath/solution_pattern/> .

solution_pattern:log_integer_value_enumeration a math:SolutionPattern ;
    rdfs:label "로그 값이 정수인 조건으로 진수 후보 나열하기"@ko ;
    skos:definition "로그 식의 값을 정수 k로 놓고 진수를 밑의 k제곱으로 바꾸어 범위 조건으로 k와 미지수를 나열하는 풀이 패턴."@ko ;
    skos:editorialNote "2026-09-28 GRIP 대수 개념서와 시발점 워크북 대수의 풀이를 분석해 추가했다(근거: GRIP 02 특강 예제 1–3, 실전 013·014 (PDF p34–35), 시발점 27번 풀이). 교사 검토가 필요하다."@ko ;
    skos:prefLabel "로그 값이 정수인 조건으로 진수 후보 나열하기"@ko ;
    math:appliesTo problem_type:exp_log_integer_reasoning ;
    math:hasStep [ ],
        [ ],
        [ ],
        [ ] ;
    math:requiresConcept concept:logarithm,
        concept:logarithm_properties ;
    math:usesSkill skill:exp_log_form_conversion,
        skill:integer_condition_analysis,
        skill:log_property_manipulation .