{"id":"W2315867495","doi":"10.1142/s0218196716500612","title":"The subpower membership problem for semigroups","year":2016,"lang":"en","type":"preprint","venue":"International Journal of Algebra and Computation","topic":"semigroups and automata theory","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Semigroup; Mathematics; Commutative property; Direct product; Cancellative semigroup; Nilpotent; Polynomial; Combinatorics; Discrete mathematics","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.004082409,0.0006242712,0.001331879,0.001035458,0.002477828,0.00449781,0.002238116,0.001985013,0.01021473],"category_scores_gemma":[0.01702684,0.0009474769,0.002116691,0.001114544,0.003940895,0.01979783,0.004593266,0.004729731,0.002130976],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002103675,"about_ca_system_score_gemma":0.001556269,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001155457,"about_ca_topic_score_gemma":0.0008435972,"domain_scores_codex":[0.9949034,0.001419251,0.0004299579,0.00149506,0.001149787,0.000602473],"domain_scores_gemma":[0.9806101,0.01416048,0.0006964699,0.002344884,0.001206474,0.0009814502],"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.0009368588,0.0004466695,0.003023689,0.0006959268,0.00008825722,0.0009511485,0.003527449,0.01532983,0.0100635,0.8555898,0.01048858,0.09885834],"study_design_scores_gemma":[0.0000523113,0.00005438824,0.0002246634,0.00002624694,0.00002146524,0.0002790203,0.0002950141,0.02674689,0.004208441,0.9624734,0.005594786,0.00002339725],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3853266,0.001597684,0.5566664,0.0118547,0.0004035262,0.0004095569,0.001925617,0.003177134,0.03863884],"genre_scores_gemma":[0.8726577,0.0007283345,0.1043023,0.001131415,0.0005852246,0.0003198698,0.00240928,0.0004922481,0.01737356],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01021473,"threshold_uncertainty_score":0.03417164,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01518454421207272,"score_gpt":0.2838025573647477,"score_spread":0.268618013152675,"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."}}