{"id":"W2026224392","doi":"10.1016/s0022-4049(01)00098-6","title":"Free μ-lattices","year":2002,"lang":"en","type":"article","venue":"Journal of Pure and Applied Algebra","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":34,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Unary operation; Mathematics; Decidability; Equivalence relation; Lattice (music); Combinatorics; Partially ordered set; Class (philosophy); Equivalence (formal languages); Discrete mathematics; Computer science; Physics","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.000147522,0.0001069044,0.0001953808,0.00008468225,0.00008694171,0.0001039582,0.0006415966,0.00004945225,0.00006440402],"category_scores_gemma":[0.00001916096,0.00007666701,0.00005639716,0.0001761524,0.00003832893,0.0004062447,0.0001352668,0.0002050436,0.0000178951],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008034875,"about_ca_system_score_gemma":0.000008184882,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":1.303331e-7,"about_ca_topic_score_gemma":5.63972e-7,"domain_scores_codex":[0.999184,0.0000132674,0.0002604734,0.0001375344,0.0002280853,0.0001766201],"domain_scores_gemma":[0.9993008,0.00006637081,0.0002297544,0.0002376066,0.00004122558,0.0001241763],"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.000008656213,0.0001113105,0.0001663326,0.00001865971,0.00004649211,0.00008223586,0.0009663541,0.00004691401,0.002329757,0.8125024,0.01177128,0.1719496],"study_design_scores_gemma":[0.002140789,0.0004464753,0.002872414,0.00004839386,0.00004887603,0.0007673216,0.0002585374,0.001750621,0.00485332,0.9404075,0.0459148,0.0004909194],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5003417,0.01230342,0.4208289,0.01626244,0.001102839,0.0002727716,0.000003948986,0.0001660019,0.04871796],"genre_scores_gemma":[0.9790584,0.0002129833,0.01924264,0.001043622,0.0002798853,0.000001175589,8.356056e-8,0.000005808755,0.0001554217],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4787167,"threshold_uncertainty_score":0.312639,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01730136863860692,"score_gpt":0.2263319497077195,"score_spread":0.2090305810691126,"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."}}