{"id":"W1993035157","doi":"10.1016/s0304-3975(02)00412-7","title":"On the equational definition of the least prefixed point","year":2003,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Mathematics; Monotonic function; Modal; Normal modal logic; Property (philosophy); Modal μ-calculus; Function (biology); Extension (predicate logic); Term (time); Calculus (dental); Modal logic; Pure mathematics; Algebra over a field; Mathematical analysis; Computer science","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.007934916,0.001021459,0.001641469,0.002884176,0.00304393,0.006142267,0.003939671,0.003889759,0.007720824],"category_scores_gemma":[0.01422657,0.001658846,0.002787472,0.004034238,0.017041,0.03580615,0.007458829,0.01424977,0.002189176],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002628671,"about_ca_system_score_gemma":0.001584539,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001846869,"about_ca_topic_score_gemma":0.001410666,"domain_scores_codex":[0.9946852,0.001951668,0.0006304584,0.001194974,0.001121996,0.0004156962],"domain_scores_gemma":[0.9922376,0.004359238,0.0003230493,0.001342918,0.001468923,0.0002681825],"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.00001086252,0.000004693454,0.00004314053,0.00001762287,0.000003292125,0.00001608729,0.0001512561,0.0001954164,0.0001345933,0.996866,0.0005871679,0.001969812],"study_design_scores_gemma":[0.000008481283,0.000008316971,0.00004134687,0.00002097695,0.000008626263,0.00004574295,0.00004557704,0.001252591,0.0001899051,0.9934438,0.004922942,0.00001168233],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01721669,0.002626406,0.9115337,0.007948243,0.0009421515,0.00007358874,0.0003963155,0.0003112853,0.05895159],"genre_scores_gemma":[0.4753402,0.004889505,0.4837452,0.006555797,0.002932458,0.0004724087,0.001259695,0.0008921616,0.02391268],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007934916,"threshold_uncertainty_score":0.04196435,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02988340147981317,"score_gpt":0.2346789825160047,"score_spread":0.2047955810361916,"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."}}