{"id":"W2046456520","doi":"10.1007/s00165-002-225-1","title":"On Closure UnderStuttering","year":2003,"lang":"en","type":"article","venue":"Formal Aspects of Computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Rotation formalisms in three dimensions; Computer science; Temporal logic; Linear temporal logic; Correctness; Fragment (logic); Model checking; Property (philosophy); Theory of computation; Formalism (music); Programming language; Stuttering; Theoretical computer science; Closure (psychology); Algorithm; Mathematics; Linguistics","routes":{"ca_aff":true,"ca_fund":true,"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.007388001,0.0006617404,0.001185582,0.002424105,0.003746673,0.004065557,0.001784407,0.002294434,0.008883892],"category_scores_gemma":[0.03431058,0.0007232233,0.001964664,0.001491535,0.0089584,0.0186036,0.009854094,0.005265416,0.001092139],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002708057,"about_ca_system_score_gemma":0.001296502,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002080748,"about_ca_topic_score_gemma":0.001281824,"domain_scores_codex":[0.9918106,0.002632222,0.0007980863,0.00204491,0.001814918,0.000899361],"domain_scores_gemma":[0.9737183,0.01656689,0.001632111,0.004313347,0.002906449,0.000862845],"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.00006284974,0.00002736664,0.0003960175,0.00008916925,0.00001289151,0.0002537428,0.0009441812,0.0009072792,0.0005470675,0.9802664,0.003987649,0.01250539],"study_design_scores_gemma":[0.000018141,0.0000192631,0.000127695,0.00005645257,0.00001179418,0.0001826598,0.000232095,0.004006461,0.0006832886,0.9767097,0.01793864,0.00001383468],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1034786,0.008036594,0.6809962,0.02600135,0.002659753,0.0002538575,0.0007777594,0.001489879,0.176306],"genre_scores_gemma":[0.874487,0.00315807,0.08437799,0.004466825,0.002269042,0.0004167012,0.001187933,0.0009236945,0.02871289],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008883892,"threshold_uncertainty_score":0.03907192,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02284723700528076,"score_gpt":0.2745191433185214,"score_spread":0.2516719063132407,"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."}}