{"id":"W2005047182","doi":"10.1016/j.jalgebra.2006.03.033","title":"Elementary theory of free non-abelian groups","year":2006,"lang":"en","type":"article","venue":"Journal of Algebra","topic":"Geometric and Algebraic Topology","field":"Mathematics","cited_by":240,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Mathematics; Abelian group; Decidability; Elementary theory; Pure mathematics; Elementary abelian group; Algebra over a field; Discrete mathematics; Computer science","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.0009226288,0.0007641889,0.001015409,0.002212103,0.001923323,0.003302477,0.001325003,0.0007995375,0.0077391],"category_scores_gemma":[0.001015954,0.000376462,0.0006567702,0.001263455,0.004201302,0.006815623,0.001912737,0.002437904,0.0009022782],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001358422,"about_ca_system_score_gemma":0.0005298273,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005596968,"about_ca_topic_score_gemma":0.0006902661,"domain_scores_codex":[0.9994882,0.0001074175,0.00002578144,0.00008232721,0.000196548,0.00009969652],"domain_scores_gemma":[0.9991769,0.000348099,0.0000555284,0.0001127552,0.0001549404,0.0001517741],"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.000008206561,0.000009906641,0.00007137995,0.00001229234,0.000003523419,0.00002552895,0.0001644714,0.0001240806,0.0001802,0.9976866,0.0004634251,0.001250335],"study_design_scores_gemma":[0.000005583595,0.000005241656,0.00009458022,0.000003366602,0.000002994894,0.00002911922,0.00004342754,0.0003120628,0.0001093241,0.9968632,0.002528585,0.000002418565],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.3992754,0.007196185,0.1814943,0.007913969,0.001495578,0.00009909269,0.0005501499,0.0004687175,0.4015068],"genre_scores_gemma":[0.9476662,0.001388204,0.01068789,0.0005259073,0.0008290388,0.00005427331,0.0002616709,0.00005121547,0.03853552],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0077391,"threshold_uncertainty_score":0.02588987,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01519723602507891,"score_gpt":0.2565628080292733,"score_spread":0.2413655720041944,"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."}}