{"id":"W2041801901","doi":"10.1016/j.tcs.2007.11.020","title":"Another proof of Soittola’s theorem","year":2007,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Mathematics; Mathematical proof; Formal power series; Analytic proof; Power series; Discrete mathematics; Algebraic number; Formal proof; Series (stratigraphy); Algebra over a field; Pure mathematics; Calculus (dental); Mathematical analysis","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.00157931,0.001149359,0.0008970599,0.00227099,0.003200452,0.002311966,0.001785102,0.001787215,0.02507024],"category_scores_gemma":[0.005173804,0.0004953428,0.002031602,0.00184367,0.003335434,0.006518271,0.004047459,0.004032539,0.003416706],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001358447,"about_ca_system_score_gemma":0.0009463486,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001567441,"about_ca_topic_score_gemma":0.001205152,"domain_scores_codex":[0.9990875,0.0001920998,0.00004807243,0.0002260311,0.0002825246,0.0001637952],"domain_scores_gemma":[0.9977848,0.001004578,0.00009631099,0.0003134118,0.0006109217,0.0001899501],"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.00006052295,0.00003579262,0.0001873111,0.0001448193,0.00002747688,0.0001897564,0.0004772136,0.0003287812,0.00135402,0.9643332,0.0188128,0.01404829],"study_design_scores_gemma":[0.00005976258,0.00003503775,0.0004343985,0.00005573238,0.00004322931,0.0003697586,0.0001534857,0.002525287,0.002375906,0.8820471,0.1118648,0.00003550372],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.02982579,0.004021012,0.4412382,0.04682488,0.009349313,0.0001844473,0.0008912765,0.001995749,0.4656694],"genre_scores_gemma":[0.6339979,0.004550757,0.1846296,0.01512688,0.003385537,0.0005507188,0.0009678745,0.0009549487,0.1558358],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02507024,"threshold_uncertainty_score":0.08386832,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008936159004620844,"score_gpt":0.2433586965183064,"score_spread":0.2344225375136856,"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."}}