{"id":"W2140984997","doi":"10.1155/s0161171203202118","title":"Complexity of terms, composition, and hypersubstitution","year":2003,"lang":"en","type":"article","venue":"International Journal of Mathematics and Mathematical Sciences","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Lethbridge","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Corollary; Normalization (sociology); Composition (language); Term (time); Computational complexity theory; Variety (cybernetics); Variable (mathematics); Discrete mathematics; Combinatorics; Algorithm; Statistics; Mathematical analysis","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007181246,0.00006572922,0.0001671952,0.0001067952,0.00006532244,0.0001135143,0.0003351851,0.00002011667,0.00001238089],"category_scores_gemma":[0.0001576989,0.00004554059,0.00003805764,0.00009462038,0.0004176506,0.0003463516,0.00007016643,0.00004950141,0.000001309341],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001094268,"about_ca_system_score_gemma":0.00004003077,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001446458,"about_ca_topic_score_gemma":3.57419e-7,"domain_scores_codex":[0.9990128,0.00002474325,0.0003938453,0.00008812843,0.0004025364,0.00007797384],"domain_scores_gemma":[0.9992136,0.0002129506,0.0003047792,0.00005414238,0.000150386,0.00006408503],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000001249242,0.0001101501,0.00006387259,0.00002375911,0.00001601784,0.000002973769,0.000460753,0.0000125312,0.001848866,0.9947796,0.0000155177,0.002664654],"study_design_scores_gemma":[0.0002866024,0.00009570766,0.0003861553,0.0001369049,0.000009931581,0.0006523381,0.0001365016,0.01877398,0.003775026,0.9755877,0.0000882043,0.00007093208],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4084499,0.0001097472,0.5878798,0.0009571309,0.0001816455,0.00004559355,0.000001204526,0.000006682175,0.002368263],"genre_scores_gemma":[0.7645548,0.0000273631,0.2353574,0.00003645309,0.00001796568,3.679773e-7,9.149507e-8,0.000001103982,0.000004407706],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.3561049,"threshold_uncertainty_score":0.1857091,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04219248095249311,"score_gpt":0.2907516371752361,"score_spread":0.2485591562227429,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}