@prefix concept: <https://w3id.org/kmath/concept/> .
@prefix difficulty_band: <https://w3id.org/kmath/difficulty_band/> .
@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#> .

problem_type:exp_log_integer_reasoning a math:ProblemType ;
    rdfs:label "지수와 로그의 정수 조건 추론"@ko ;
    skos:definition "지수나 로그를 포함한 식의 값이 정수 또는 자연수가 되는 조건을 추론하는 문항 유형."@ko ;
    skos:editorialNote "2026-09-28 운영 DB 대수 문항의 세부 유형(type_name) '로그의 성질 활용6 (정수론)', '추론과 활용3 (추론과 정수론)', '활용2 (정수론)'에 해당하는 111문항을 근거로 추가했다. 난이도는 DB 난이도 중앙값 2을 기준으로 정했다. 도메인 전문가 검토가 필요하다."@ko ;
    skos:example "log₂ n이 자연수가 되도록 하는 100 이하의 자연수 n의 개수를 구하시오."@ko ;
    skos:prefLabel "지수와 로그의 정수 조건 추론"@ko ;
    math:difficultyBand difficulty_band:intermediate ;
    math:requiresSkill skill:integer_condition_analysis,
        skill:log_property_manipulation ;
    math:targets concept:exponent,
        concept:logarithm .