{"id":"W1989809437","doi":"10.1007/s10469-006-0003-x","title":"The Word Problem for Polynilpotent Groups with a Single Primitive Defining Relation","year":2006,"lang":"en","type":"article","venue":"Algebra and Logic","topic":"semigroups and automata theory","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Decidability; Word problem (mathematics education); Word (group theory); Relation (database); Mathematics; Algebra over a field; Group (periodic table); Arithmetic; Discrete mathematics; Pure mathematics; Computer science; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001832396,0.0006040475,0.001874905,0.001011067,0.004626199,0.005756487,0.001995302,0.004588292,0.009382955],"category_scores_gemma":[0.008431284,0.000883571,0.001462097,0.001605286,0.005731407,0.01964495,0.004221251,0.003493661,0.001894455],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001415226,"about_ca_system_score_gemma":0.001394997,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001025522,"about_ca_topic_score_gemma":0.0007586213,"domain_scores_codex":[0.9982254,0.0005451027,0.0001646187,0.0004849469,0.0002472125,0.0003328731],"domain_scores_gemma":[0.9942902,0.004246358,0.0002959766,0.000530691,0.0003381777,0.0002985931],"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.0001206018,0.0000343719,0.000136803,0.00009837299,0.000007307229,0.000110182,0.000520185,0.001290927,0.0005231473,0.9882983,0.001896737,0.006963082],"study_design_scores_gemma":[0.000008655462,0.000004028582,0.00001109424,0.000004742377,0.000002825792,0.00002173098,0.00007844307,0.001694365,0.0002146858,0.997303,0.000650727,0.000005638139],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5244594,0.002018707,0.3706553,0.01533064,0.0007863787,0.0001789835,0.0008570136,0.0007665867,0.08494698],"genre_scores_gemma":[0.9067408,0.0008674028,0.05887086,0.001078156,0.0005955856,0.0002082358,0.0009190504,0.0003582894,0.03036165],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.009382955,"threshold_uncertainty_score":0.03138912,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008830095110271812,"score_gpt":0.1923504042754754,"score_spread":0.1835203091652036,"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."}}