{"id":"W1504799708","doi":"10.46298/dmtcs.566","title":"Monadic Second-Order Classes of Forests with a Monadic Second-Order 0-1 Law","year":2012,"lang":"en","type":"article","venue":"Discrete Mathematics & Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Order (exchange); Mathematics; Law; Political science; Business","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts"],"consensus_categories":[],"category_scores_codex":[0.001994222,0.0004997464,0.0006497644,0.0002740975,0.0004392414,0.0004903573,0.003287013,0.0001277186,0.0004605196],"category_scores_gemma":[0.00009796162,0.0003523322,0.0001398718,0.001834176,0.004392658,0.001856314,0.001277275,0.0003441745,0.00008232961],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005833544,"about_ca_system_score_gemma":0.0002237828,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008291902,"about_ca_topic_score_gemma":0.00002595294,"domain_scores_codex":[0.995699,0.0001325662,0.0007247042,0.00082493,0.001275375,0.001343355],"domain_scores_gemma":[0.996137,0.0007073265,0.0003363779,0.001762604,0.0004174405,0.000639209],"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.000008316582,0.000217392,0.0001941087,0.0001343938,0.00002911101,0.000009179343,0.00256007,0.00003950307,0.0005858169,0.9948763,0.00008108311,0.001264779],"study_design_scores_gemma":[0.0006368351,0.0004374177,0.00122502,0.0002617135,0.00004100989,0.000264669,0.0001853876,0.4650779,0.008350001,0.5221682,0.0005138474,0.0008380516],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1563844,0.0001518725,0.8275194,0.0002588296,0.0003368364,0.0003688721,0.0000140892,0.0002156659,0.01475001],"genre_scores_gemma":[0.6986715,0.00000213312,0.3006309,0.0005096704,0.00008573242,0.00002175839,0.000002614111,0.00002928362,0.0000464509],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5422871,"threshold_uncertainty_score":0.9998929,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01049166566810573,"score_gpt":0.2436516902035972,"score_spread":0.2331600245354915,"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."}}