{"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":"codex-gemma-dda1882f352a","candidate_categories":["sts"],"consensus_categories":[],"category_scores_codex":[0.00462957,0.0001911243,0.0002535965,0.0002624609,0.0001998161,0.0001622497,0.003343286,0.00006283854,0.00006005967],"category_scores_gemma":[0.00008277923,0.0001437942,0.00009240177,0.00137172,0.00362032,0.0006195322,0.001012909,0.0001643954,0.00002850747],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003986862,"about_ca_system_score_gemma":0.0001129948,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000268348,"about_ca_topic_score_gemma":4.01356e-7,"domain_scores_codex":[0.997348,0.00007472023,0.0004130047,0.0006383884,0.0008174499,0.0007084268],"domain_scores_gemma":[0.997954,0.0003936783,0.0001269454,0.001127262,0.0002004865,0.0001976556],"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.000009793393,0.00007692396,0.00006272303,0.00000713076,0.000003366577,0.00001053002,0.00044736,0.00001841637,0.003853745,0.8942394,0.00003163599,0.101239],"study_design_scores_gemma":[0.0002532198,0.0002496668,0.001682798,0.00004230985,0.000003831125,0.00005559941,0.00001479781,0.1398483,0.2460166,0.6113389,0.0002225784,0.0002714453],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05565318,0.00003976442,0.9288365,0.0003698904,0.000465821,0.0001505969,6.676894e-7,0.0001843393,0.01429922],"genre_scores_gemma":[0.8549079,8.576239e-7,0.1443715,0.0006006652,0.00009338582,0.00000157426,1.598763e-7,0.000009022448,0.00001497994],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7992547,"threshold_uncertainty_score":0.9990913,"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."}}