{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004484913,0.0006563425,0.002231712,0.001312406,0.003503731,0.007379173,0.003016146,0.003630245,0.007707159],"category_scores_gemma":[0.01982185,0.0008864736,0.001677631,0.002241544,0.00619476,0.02171495,0.003572956,0.004025326,0.000643901],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002437512,"about_ca_system_score_gemma":0.001374563,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002291156,"about_ca_topic_score_gemma":0.001703788,"domain_scores_codex":[0.9969147,0.001233972,0.0002582165,0.000708278,0.000557937,0.0003268074],"domain_scores_gemma":[0.9740227,0.02162101,0.0008393468,0.001709568,0.0007958954,0.001011319],"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.0003591148,0.0001884206,0.001248774,0.0002338108,0.00004686289,0.0001927723,0.002471612,0.009564146,0.001070906,0.9578976,0.004372405,0.02235363],"study_design_scores_gemma":[0.00003578971,0.0000166457,0.0001251841,0.00001519071,0.00001299193,0.00005905428,0.0004704997,0.01551731,0.0004504425,0.9822816,0.001002271,0.00001305187],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6507105,0.002031793,0.2984479,0.01464101,0.000283078,0.0002117912,0.0009664478,0.0005192142,0.03218836],"genre_scores_gemma":[0.9521914,0.0007207521,0.03668882,0.0004080129,0.0003724681,0.0001302767,0.001055754,0.0001053604,0.008327222],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007707159,"threshold_uncertainty_score":0.025783,"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."}}