{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009137413,0.0001620674,0.0004178602,0.00004754749,0.0002795732,0.0001119365,0.0001364077,0.00004560953,0.000405234],"category_scores_gemma":[0.00006341992,0.0001244511,0.00006011323,0.0000659638,0.0002868509,0.0000794423,0.0000224871,0.00006569157,0.000008062668],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002487937,"about_ca_system_score_gemma":0.00005424471,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008580445,"about_ca_topic_score_gemma":0.0003319026,"domain_scores_codex":[0.9986781,0.0003034849,0.0004067351,0.0001675841,0.0002263938,0.0002176884],"domain_scores_gemma":[0.9988972,0.0002237647,0.0003300579,0.0002403929,0.0002688194,0.00003979224],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00004088744,0.0001098983,0.0007431795,0.0002574673,0.0001762724,0.000001789131,0.006979706,0.0001468309,0.0005556929,0.9895328,0.001431065,0.00002443621],"study_design_scores_gemma":[0.0158053,0.001506695,0.000756116,0.004017618,0.000926992,0.0001908045,0.05105532,0.00872847,0.02164502,0.3281988,0.5639877,0.003181141],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9367104,0.0004848409,0.001614253,0.00001620557,0.0002657644,0.0002322476,0.00002669712,0.00004131799,0.06060835],"genre_scores_gemma":[0.9922008,0.00000475358,0.0003507834,0.00002320215,0.00009079342,0.000004702782,0.0000105363,0.00002429088,0.007290167],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.661334,"threshold_uncertainty_score":0.5074968,"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."}}