@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:take_log_then_substitute a math:SolutionPattern ;
    rdfs:label "양변에 로그를 취한 뒤 치환하기"@ko ;
    skos:definition "지수에 로그나 미지수가 있는 방정식·부등식·함수에서 양변에 로그를 취해 log x에 대한 이차식으로 바꾸어 푸는 풀이 패턴."@ko ;
    skos:editorialNote "2026-09-28 GRIP 대수 개념서와 시발점 워크북 대수의 풀이를 분석해 추가했다(근거: GRIP 04-8 예제 3, 실전 016, GRIP 04-10 예제 3, 실전 020, GRIP 04-12 예제 (3), 실전 024, 시발점 Theme 9 #23). 교사 검토가 필요하다."@ko ;
    skos:prefLabel "양변에 로그를 취한 뒤 치환하기"@ko ;
    math:appliesTo problem_type:exp_log_extremum,
        problem_type:logarithmic_equation_solve,
        problem_type:logarithmic_inequality_solve ;
    math:hasStep [ ],
        [ ],
        [ ],
        [ ] ;
    math:requiresConcept concept:logarithm,
        concept:logarithmic_equation,
        concept:logarithmic_inequality ;
    math:usesSkill skill:log_property_manipulation,
        skill:monotonicity_comparison,
        skill:substitution_to_quadratic,
        skill:take_logarithm_both_sides .