{"id":"W2161913867","doi":"10.1016/j.jalgebra.2006.05.020","title":"On the rational subset problem for groups","year":2006,"lang":"en","type":"article","venue":"Journal of Algebra","topic":"semigroups and automata theory","field":"Computer Science","cited_by":55,"is_retracted":false,"has_abstract":false,"ca_institutions":"Carleton University","funders":"Centro de Matemática Universidade do Porto; Natural Sciences and Engineering Research Council of Canada; European Science Foundation","keywords":"Decidability; Mathematics; Free product; Monoid; Abelian group; Combinatorics; Discrete mathematics; Free monoid; Commutative property; Group (periodic table); Direct product","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003312712,0.000905205,0.002948528,0.001547458,0.003414948,0.006887977,0.001949101,0.003830278,0.01382967],"category_scores_gemma":[0.01325551,0.0009072566,0.001715388,0.002611351,0.006305016,0.0219959,0.004081188,0.004872259,0.001141431],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002269457,"about_ca_system_score_gemma":0.001210126,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001918348,"about_ca_topic_score_gemma":0.001565389,"domain_scores_codex":[0.9981118,0.0007540946,0.0001260435,0.000367201,0.0003307157,0.0003101564],"domain_scores_gemma":[0.9871469,0.01105525,0.0002997345,0.0007108212,0.0003687669,0.0004186037],"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.0001822003,0.00006232665,0.0003708201,0.0001248906,0.00002481472,0.0001230065,0.0005850073,0.004259087,0.0003944402,0.9766797,0.006438719,0.01075514],"study_design_scores_gemma":[0.00002954515,0.000008903397,0.00006236489,0.00001594933,0.000008291989,0.00003828977,0.0002018839,0.005788612,0.0001377493,0.9917879,0.001913,0.000007682685],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4030577,0.007040416,0.3746838,0.05101499,0.001025593,0.0002083349,0.0009014087,0.0007209629,0.1613468],"genre_scores_gemma":[0.9100628,0.003712878,0.0550213,0.001649964,0.001382946,0.0001650336,0.001382673,0.0003201449,0.02630223],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01382967,"threshold_uncertainty_score":0.04626489,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009193522760611693,"score_gpt":0.2132131024672273,"score_spread":0.2040195797066156,"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."}}