TY JOUR TI Didactic Complexity Evaluation of Theorems Proofs of the School Geometry Course KW didactics KW theorem proof KW logical reasoning KW semantic information KW complexity KW knowledge folding JO Standards and Monitoring in Education AU Mayer, R.V. PY 2020 IS 8 PB INFRA-M Academic Publishing LLC.