{"id":"W2726927860","doi":"10.7146/brics.v7i28.20161","title":"Free mu-lattices","year":2000,"lang":"en","type":"article","venue":"BRICS Report Series","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Montréal","funders":"Université du Québec à Montréal","keywords":"Unary operation; Decidability; Combinatorics; Equivalence relation; Mathematics; Lattice (music); Partially ordered set; Discrete mathematics; Physics","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.001332363,0.0004595433,0.000602419,0.001421402,0.002241754,0.003596968,0.001037849,0.0005734551,0.008613776],"category_scores_gemma":[0.002557877,0.0005128583,0.0009586329,0.001023844,0.003521591,0.006034737,0.002804978,0.001609298,0.0008726165],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001982269,"about_ca_system_score_gemma":0.001090468,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001917057,"about_ca_topic_score_gemma":0.00161767,"domain_scores_codex":[0.9982793,0.000283882,0.0001103886,0.0004371742,0.0005826291,0.0003066017],"domain_scores_gemma":[0.9980541,0.0006789977,0.0001988858,0.0004116531,0.0003554304,0.0003009143],"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.00004076822,0.0000109435,0.0002581193,0.00003871569,0.000008293884,0.00004836832,0.0001788708,0.0006433482,0.001054219,0.9909443,0.0005739261,0.006200206],"study_design_scores_gemma":[0.00002344251,0.00004185257,0.0004000093,0.0000302418,0.00001530214,0.000232449,0.0002409465,0.004539877,0.002574588,0.957352,0.03452539,0.00002382712],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2776759,0.003476435,0.5744346,0.001654149,0.0003945612,0.0002374508,0.002563118,0.001437372,0.1381263],"genre_scores_gemma":[0.8915539,0.0007251942,0.07933464,0.0003726549,0.0002323559,0.000215285,0.001144968,0.0001837741,0.02623719],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008613776,"threshold_uncertainty_score":0.02881593,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01541366673359561,"score_gpt":0.2429280225979744,"score_spread":0.2275143558643788,"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."}}