{"id":"W1987543317","doi":"10.1016/j.jalgebra.2007.08.025","title":"The submonoid and rational subset membership problems for graph groups","year":2007,"lang":"en","type":"article","venue":"Journal of Algebra","topic":"semigroups and automata theory","field":"Computer Science","cited_by":49,"is_retracted":false,"has_abstract":false,"ca_institutions":"Carleton University","funders":"","keywords":"Mathematics; Decidability; Combinatorics; Transitive relation; Finitely-generated abelian group; Graph; Discrete mathematics; Free group; Stallings theorem about ends of groups; Group (periodic table)","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.003073339,0.00008106392,0.0001183048,0.00006719531,0.0002345023,0.0002003526,0.0004837876,0.00003768588,0.000004176055],"category_scores_gemma":[0.00007888087,0.00004978935,0.0000929497,0.0001598667,0.0000636952,0.000457932,0.00005194029,0.0001252172,0.000001307255],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001655255,"about_ca_system_score_gemma":0.00005040109,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001194841,"about_ca_topic_score_gemma":0.00001454396,"domain_scores_codex":[0.9990269,0.00003731607,0.0003525047,0.0001020985,0.0002465137,0.0002346692],"domain_scores_gemma":[0.9986461,0.0006830454,0.0002862468,0.0001502596,0.000139994,0.00009428735],"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.00006288529,0.00003705889,0.001150404,0.00001598451,0.00005836005,0.00001265886,0.0006521744,0.00003506263,0.001314975,0.9723753,0.005785286,0.01849986],"study_design_scores_gemma":[0.0009196051,0.0003581453,0.02142699,0.00004112244,0.00001858944,0.0004743117,0.0001774683,0.00209464,0.002701504,0.9586848,0.01293328,0.0001695421],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4439465,0.00254143,0.5469879,0.004973687,0.0009319917,0.0002255053,0.000002093575,0.00003186366,0.0003590091],"genre_scores_gemma":[0.9810938,0.00008102151,0.01789595,0.0004544975,0.0003986029,0.000002760575,7.136568e-7,0.000007438836,0.00006525275],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5371472,"threshold_uncertainty_score":0.2030351,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01381376619524257,"score_gpt":0.2361503351207185,"score_spread":0.2223365689254759,"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."}}