{"schema_version":"ocme-site-results-v1","locale":"en","page_type":"practice","facts":{"questions":36000,"reviewed":36000,"display_candidates":0,"knowledge":302,"guides":299,"paths":59,"batches":360,"families":1441,"atlas":302,"core":80,"evidence":9,"formal_evidence":5,"formal_subjects":4,"lean_files":6,"lean_toolchain":"leanprover/lean4:v4.30.0","question_state":"candidate","english_state":"ai_candidate","question_Lean":"NOT_RUN","canonical_truth_promotion":false},"filters":{"page":"14"},"kind":"batches","total":360,"pages":15,"page":14,"entries":[{"id":"batch-20261005-advance-20261006-r03-rate-of-change-foundations","title":{"zh-Hant":"兩點間的平均變化率基礎 · 脈衝 R03","en":"Average Rate of Change Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-05","count":100,"mko_ids":["mko-rate-of-change"],"state":"candidate_validated"},{"id":"batch-20261005-advance-20261006-r02-quadratic-function-foundations","title":{"zh-Hant":"頂點式二次函數基礎 · 脈衝 R02","en":"Vertex-Form Quadratic Function Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-05","count":100,"mko_ids":["mko-quadratic-function"],"state":"candidate_validated"},{"id":"batch-20261005-advance-20261006-r01-order-relation-foundations","title":{"zh-Hant":"實數大小與順序基礎 · 脈衝 R01","en":"Real Order Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-05","count":100,"mko_ids":["mko-order-relation"],"state":"candidate_validated"},{"id":"batch-20261004-advance-20261005-r07-variance-foundations","title":{"zh-Hant":"有限機率模型的變異數基礎 · 脈衝 R07","en":"Finite Probability Variance Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-04","count":100,"mko_ids":["mko-variance"],"state":"candidate_validated"},{"id":"batch-20261004-advance-20261005-r06-expectation-foundations","title":{"zh-Hant":"有限模型的期望值基礎 · 脈衝 R06","en":"Finite Expectation Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-04","count":100,"mko_ids":["mko-expectation"],"state":"candidate_validated"},{"id":"batch-20261004-advance-20261005-r05-random-variable-foundations","title":{"zh-Hant":"有限樣本空間的實值隨機變數基礎 · 脈衝 R05","en":"Finite Random Variable Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-04","count":100,"mko_ids":["mko-random-variable"],"state":"candidate_validated"},{"id":"batch-20261004-advance-20261005-r04-inverse-function-foundations","title":{"zh-Hant":"雙射的反函數基礎 · 脈衝 R04","en":"Inverse Function Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-04","count":100,"mko_ids":["mko-inverse-function"],"state":"candidate_validated"},{"id":"batch-20261004-advance-20261005-r03-bijective-foundations","title":{"zh-Hant":"雙射與唯一原像基礎 · 脈衝 R03","en":"Bijectivity Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-04","count":100,"mko_ids":["mko-bijective"],"state":"candidate_validated"},{"id":"batch-20261004-advance-20261005-r02-surjective-foundations","title":{"zh-Hant":"滿射與陪域覆蓋基礎 · 脈衝 R02","en":"Surjectivity Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-04","count":100,"mko_ids":["mko-surjective"],"state":"candidate_validated"},{"id":"batch-20261004-advance-20261005-r01-injective-foundations","title":{"zh-Hant":"單射與不同輸入的辨識基礎 · 脈衝 R01","en":"Injectivity Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-04","count":100,"mko_ids":["mko-injective"],"state":"candidate_validated"},{"id":"batch-20261003-advance-20261004-r07-conditional-probability-foundations","title":{"zh-Hant":"有限模型的條件機率基礎 · 脈衝 R07","en":"Finite Conditional Probability Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-03","count":100,"mko_ids":["mko-conditional-probability"],"state":"candidate_validated"},{"id":"batch-20261003-advance-20261004-r06-system-linear-equations-foundations","title":{"zh-Hant":"二元聯立一次方程組與退化邊界基礎 · 脈衝 R06","en":"Two-Variable Linear System Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-03","count":100,"mko_ids":["mko-system-linear-equations"],"state":"candidate_validated"},{"id":"batch-20261003-advance-20261004-r05-vector-foundations","title":{"zh-Hant":"固定基底下的平面向量基礎 · 脈衝 R05","en":"Plane Vectors in a Fixed Basis"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-03","count":100,"mko_ids":["mko-vector"],"state":"candidate_validated"},{"id":"batch-20261003-advance-20261004-r04-graph-foundations","title":{"zh-Hant":"有限簡單無向圖基礎 · 脈衝 R04","en":"Finite Simple Undirected Graph Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-03","count":100,"mko_ids":["mko-graph"],"state":"candidate_validated"},{"id":"batch-20261003-advance-20261004-r03-relation-foundations","title":{"zh-Hant":"二元關係與集合投影基礎 · 脈衝 R03","en":"Binary Relation Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-03","count":100,"mko_ids":["mko-relation"],"state":"candidate_validated"},{"id":"batch-20261003-advance-20261004-r02-counterexample-foundations","title":{"zh-Hant":"反例與論域資格基礎 · 脈衝 R02","en":"Counterexamples and Domain Eligibility"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-03","count":100,"mko_ids":["mko-counterexample"],"state":"candidate_validated"},{"id":"batch-20261003-advance-20261004-r01-quantifier-foundations","title":{"zh-Hant":"量詞與明示論域基礎 · 脈衝 R01","en":"Quantifiers and Explicit Finite Domains"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-03","count":100,"mko_ids":["mko-quantifier"],"state":"candidate_validated"},{"id":"batch-20261003-r07-probability-foundations","title":{"zh-Hant":"有限樣本空間上的機率基礎 · 脈衝 R07","en":"Finite Probability Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-03","count":100,"mko_ids":["mko-probability"],"state":"candidate_validated"},{"id":"batch-20261003-r06-function-graph-foundations","title":{"zh-Hant":"實值函數圖形基礎 · 脈衝 R06","en":"Real-Valued Function Graph Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-03","count":100,"mko_ids":["mko-function-graph"],"state":"candidate_validated"},{"id":"batch-20261003-r05-linear-function-foundations","title":{"zh-Hant":"仿射函數與一次函數基礎 · 脈衝 R05","en":"Affine Function Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-03","count":100,"mko_ids":["mko-linear-function"],"state":"candidate_validated"},{"id":"batch-20261003-r04-quadratic-equation-foundations","title":{"zh-Hant":"一元實二次方程式基礎 · 脈衝 R04","en":"Real Quadratic Equation Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-03","count":100,"mko_ids":["mko-quadratic-equation"],"state":"candidate_validated"},{"id":"batch-20261003-r03-factorization-foundations","title":{"zh-Hant":"有理係數多項式因式分解基礎 · 脈衝 R03","en":"Polynomial Factorization Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-03","count":100,"mko_ids":["mko-factorization"],"state":"candidate_validated"},{"id":"batch-20261003-r02-polynomial-foundations","title":{"zh-Hant":"一元有理係數多項式基礎 · 脈衝 R02","en":"Univariate Polynomial Foundations"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-03","count":100,"mko_ids":["mko-polynomial"],"state":"candidate_validated"},{"id":"batch-20261003-r01-power-root-foundations","title":{"zh-Hant":"自然數冪與主平方根基礎 · 脈衝 R01","en":"Natural-Number Powers and Principal Square Roots"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-03","count":100,"mko_ids":["mko-power-root"],"state":"candidate_validated"}],"title":"Question batches"}