{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002082171,0.0004156517,0.0006464383,0.002413588,0.002014106,0.004693192,0.0009153451,0.000975791,0.003208233],"category_scores_gemma":[0.004012564,0.0004342476,0.001745674,0.00133178,0.005221854,0.00742749,0.002044163,0.002226161,0.000416847],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004136002,"about_ca_system_score_gemma":0.001235267,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007178646,"about_ca_topic_score_gemma":0.007528089,"domain_scores_codex":[0.9982153,0.000312968,0.0001121388,0.0003987871,0.0005604114,0.000400523],"domain_scores_gemma":[0.996557,0.001609582,0.0003675357,0.0004488328,0.0005705685,0.0004465076],"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.000009871545,0.00000596072,0.0003194282,0.00001094706,0.000002681342,0.00003441271,0.0001936989,0.0003262846,0.0003650174,0.9970023,0.0002617249,0.001467649],"study_design_scores_gemma":[0.00001908403,0.00001975332,0.001079725,0.00001876166,0.00001482189,0.0002190487,0.0001429293,0.009030505,0.001163483,0.9755659,0.01270124,0.00002465269],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3641217,0.002949567,0.5189916,0.002917119,0.0003774464,0.0001278789,0.0008137586,0.001214237,0.1084867],"genre_scores_gemma":[0.9254458,0.0004628298,0.05742424,0.000460281,0.0003923486,0.0001521533,0.0003761806,0.0001342078,0.01515203],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007178646,"threshold_uncertainty_score":0.03000891,"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."}}