@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:least_index_by_general_term_inequality a math:SolutionPattern ;
    rdfs:label "일반항 부등식으로 항 번호 찾기"@ko ;
    skos:definition "일반항(또는 부분합)을 구한 뒤 조건을 부등식으로 세워 n에 대해 풀고, 자연수 조건으로 처음 만족하는 항 번호나 만족하는 항의 개수를 구하는 전략."@ko ;
    skos:editorialNote "2026-09-28 GRIP 대수 개념서와 시발점 워크북 대수의 풀이를 분석해 추가했다(근거: GRIP 08-3 예제1·실전 005, 08-8 실전 018, 08-10 예제1·실전 023, 08-12 실전 028, 시발점 Theme 23 #1, #3, Theme 24 #8, Theme 28 #2). 교사 검토가 필요하다."@ko ;
    skos:prefLabel "일반항 부등식으로 항 번호 찾기"@ko ;
    math:appliesTo problem_type:arithmetic_sequence_general_term,
        problem_type:geometric_sequence_general_term,
        problem_type:sum_general_term_relation ;
    math:hasStep [ ],
        [ ],
        [ ],
        [ ] ;
    math:requiresConcept concept:arithmetic_sequence,
        concept:geometric_sequence,
        concept:linear_inequality ;
    math:usesSkill skill:general_term_setup,
        skill:index_range_by_inequality .

