{"id":"W1999769297","doi":"10.1007/s00208-006-0767-2","title":"Varieties of finite supersolvable groups with the M. Hall property","year":2006,"lang":"en","type":"article","venue":"Mathematische Annalen","topic":"semigroups and automata theory","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"Carleton University","funders":"","keywords":"Mathematics; Variety (cybernetics); Monoid; Prime (order theory); Abelian group; Decidability; Exponent; Combinatorics; Integer (computer science); Free product; Finitely-generated abelian group; Group (periodic table); Pure mathematics; Product (mathematics); Discrete mathematics; Geometry","routes":{"ca_aff":true,"ca_fund":false,"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.0004625842,0.000149397,0.0002000981,0.00004531715,0.0001289187,0.0001211188,0.0009014335,0.00004229243,0.00005432551],"category_scores_gemma":[0.0000161387,0.00006591804,0.0000617268,0.0002595207,0.0001391136,0.0004044315,0.0001797551,0.0001058151,0.00005589538],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000006293523,"about_ca_system_score_gemma":0.00003547856,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001746264,"about_ca_topic_score_gemma":0.00003159043,"domain_scores_codex":[0.9989643,0.00006136828,0.0001998055,0.0002281308,0.0003030344,0.0002433242],"domain_scores_gemma":[0.9989214,0.0001842746,0.0001172752,0.0006688248,0.0000804474,0.00002778327],"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.00001573478,0.0002057725,0.0003106578,0.0001610056,0.000056126,0.00001768211,0.00356229,0.0002476115,0.002108671,0.9622574,0.0279438,0.00311327],"study_design_scores_gemma":[0.002600199,0.00135378,0.009904672,0.0007758448,0.0001704713,0.0004303398,0.002540878,0.2554133,0.07193382,0.543566,0.1091854,0.002125291],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1113611,0.001201563,0.8055198,0.007022884,0.00009738685,0.0005700674,0.00001236638,0.0004118889,0.07380298],"genre_scores_gemma":[0.9650487,0.00001046846,0.02436258,0.0002957433,0.00005994594,0.00003893461,0.000003336203,0.00001802581,0.01016222],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8536876,"threshold_uncertainty_score":0.268806,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009781479622519029,"score_gpt":0.1837834819705565,"score_spread":0.1740020023480374,"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."}}