{"id":"W2560956831","doi":"10.1007/s00224-002-1035-9","title":"Regular Languages Defined by Generalized First-Order Formulas with a Bounded Number of Bound Variables","year":2003,"lang":"en","type":"article","venue":"Theory of Computing Systems","topic":"Hermeneutics and Narrative Identity","field":"Arts and Humanities","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Bounded function; Computer science; Upper and lower bounds; Order (exchange); 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.002898295,0.001097372,0.001761546,0.001763281,0.001998201,0.007557255,0.003447891,0.002034508,0.003517485],"category_scores_gemma":[0.00929779,0.001685466,0.002275393,0.002313042,0.005938747,0.0136392,0.003359917,0.005928107,0.0007332374],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003384758,"about_ca_system_score_gemma":0.002021435,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002928125,"about_ca_topic_score_gemma":0.003198901,"domain_scores_codex":[0.9946526,0.001660474,0.0004875262,0.001059697,0.001204323,0.0009352306],"domain_scores_gemma":[0.9914469,0.004856651,0.0006592499,0.00152703,0.001089149,0.0004211398],"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.00005097981,0.00001600077,0.0001273921,0.00004661651,0.0000178247,0.00008427857,0.0004626312,0.00219639,0.0008597745,0.9918584,0.0004514847,0.003828183],"study_design_scores_gemma":[0.00002657723,0.00001032897,0.00004743292,0.00001934115,0.00002260981,0.00005881897,0.0001236585,0.01286837,0.001020113,0.9832699,0.002516282,0.00001664034],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1112643,0.001040602,0.8612643,0.002024479,0.0002081575,0.000145532,0.0005901736,0.00117688,0.02228549],"genre_scores_gemma":[0.7435294,0.0006179154,0.2399246,0.000912918,0.0002376171,0.0003325771,0.0007525359,0.0004720018,0.01322042],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007557255,"threshold_uncertainty_score":0.02455825,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01443799533799026,"score_gpt":0.2340439313308782,"score_spread":0.2196059359928879,"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."}}