{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007846151,0.0001223591,0.0001577425,0.0001183234,0.0001480553,0.00005428831,0.0005499734,0.00004798864,0.000007324276],"category_scores_gemma":[0.0001882413,0.0001184062,0.00006715735,0.0003419112,0.00003513158,0.00053516,0.0001360391,0.0001574808,0.00002828456],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000453321,"about_ca_system_score_gemma":0.00004179909,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002981088,"about_ca_topic_score_gemma":4.312243e-7,"domain_scores_codex":[0.9987739,0.00009025658,0.000297123,0.0002256351,0.0002813051,0.0003318049],"domain_scores_gemma":[0.9991338,0.0001225144,0.0001885156,0.0004387775,0.00006219462,0.00005419572],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00000279561,0.00002802565,0.00009469748,0.00002043001,0.000006949897,0.000002341258,0.0003547884,0.002599328,0.0003411284,0.9892753,0.00001945768,0.007254693],"study_design_scores_gemma":[0.001466143,0.001213684,0.01656117,0.0003169652,0.00001344073,0.0001468164,0.0002957234,0.4257947,0.2476456,0.303805,0.001842506,0.0008982865],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1537823,0.00001736963,0.7713618,0.00003162163,0.0004519252,0.00008191121,2.070777e-7,0.0001154702,0.07415741],"genre_scores_gemma":[0.6661823,6.22158e-7,0.333695,0.00008309273,0.0000228258,5.982511e-7,2.578165e-7,0.000005560045,0.000009768748],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6854703,"threshold_uncertainty_score":0.4828467,"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."}}