{"id":"W1764454094","doi":"10.1007/3-540-44693-1_48","title":"Regular Languages Defined by Generalized First-Order Formulas with a Bounded Number of Bound Variables","year":2001,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Bounded function; Computer science; Order (exchange); Upper and lower bounds; Discrete mathematics; 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.0009810401,0.001048119,0.001214935,0.0008775653,0.0008285022,0.003979718,0.002001981,0.001254282,0.002741677],"category_scores_gemma":[0.002456329,0.001031441,0.001329599,0.001145692,0.002840956,0.006734373,0.001462988,0.003366257,0.0008805228],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00104138,"about_ca_system_score_gemma":0.0006417643,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000571561,"about_ca_topic_score_gemma":0.0008951715,"domain_scores_codex":[0.9985461,0.0003723702,0.0001170628,0.000330146,0.0003738205,0.0002605483],"domain_scores_gemma":[0.99809,0.001043676,0.0001909341,0.0003512525,0.0002171664,0.000106942],"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.00008599224,0.00002181207,0.0001455974,0.0001309185,0.00002119239,0.0002428938,0.0007389635,0.003635199,0.008562494,0.971916,0.0009692755,0.01352981],"study_design_scores_gemma":[0.00004476611,0.00003655697,0.0001612342,0.00004595581,0.00003657176,0.0004007472,0.0001883825,0.02039902,0.007488746,0.9601218,0.01103744,0.00003890987],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2150875,0.002818402,0.7292418,0.001060371,0.0004104835,0.0001818691,0.0005044572,0.001887596,0.04880755],"genre_scores_gemma":[0.7414427,0.001131479,0.2276588,0.0004781533,0.00022363,0.0002682938,0.0005613308,0.0006772174,0.02755834],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003979718,"threshold_uncertainty_score":0.009171784,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007681388212035996,"score_gpt":0.2291199159195204,"score_spread":0.2214385277074844,"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."}}