{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002227365,0.0001100195,0.0001093235,0.00005092049,0.0004395185,0.0002034845,0.001877903,0.00003256153,0.00004124753],"category_scores_gemma":[0.0003599315,0.00005268315,0.00007765049,0.000798002,0.001923254,0.0001927585,0.0003368108,0.0001476858,0.00006629594],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003387842,"about_ca_system_score_gemma":0.0001391461,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002476628,"about_ca_topic_score_gemma":4.869245e-7,"domain_scores_codex":[0.9980166,0.0003131687,0.0002239653,0.0003489151,0.0008006701,0.0002966788],"domain_scores_gemma":[0.9983528,0.000518959,0.0001059996,0.0007869472,0.0001633612,0.00007196496],"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.000001867655,0.00004605109,0.00003998398,0.000002660671,0.000002111311,4.59789e-7,0.0002528803,0.00004931643,0.0001339395,0.9977798,0.00003531985,0.001655534],"study_design_scores_gemma":[0.00009919601,0.000117958,0.0006217681,0.000007302865,0.000002082163,0.00001795947,0.00000791451,0.02823966,0.003633216,0.9670872,0.0000870899,0.00007865128],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009126052,0.00001064294,0.9574786,0.001321963,0.0006893881,0.0002102341,3.592869e-7,0.00004477788,0.03111797],"genre_scores_gemma":[0.9880975,4.463266e-7,0.01119974,0.0006424256,0.00003610988,0.000009480779,1.598972e-7,0.000003260208,0.0000108828],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9789714,"threshold_uncertainty_score":0.7086309,"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."}}