{"id":"W2013323319","doi":"10.1007/s11083-004-0024-9","title":"Semilattice Operations Generated by Lattice Terms","year":2004,"lang":"en","type":"article","venue":"Order","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Semilattice; Mathematics; Lattice (music); Bounded function; Congruence lattice problem; Ternary operation; Combinatorics; Modular design; Distributive lattice; Discrete mathematics; Algebra over a field; Pure mathematics; Distributive property; Computer science; Physics; Mathematical analysis","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.001654252,0.0006941097,0.0007817284,0.002529975,0.001743355,0.00468868,0.001017628,0.0007561558,0.01139584],"category_scores_gemma":[0.002702082,0.0006972824,0.001219478,0.001666185,0.002810301,0.009449536,0.002651053,0.002301774,0.003647288],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000982606,"about_ca_system_score_gemma":0.0008931243,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004360622,"about_ca_topic_score_gemma":0.0006283835,"domain_scores_codex":[0.9981927,0.0004448602,0.0001730726,0.0002796037,0.0006716773,0.0002381079],"domain_scores_gemma":[0.9970685,0.001206022,0.0002685776,0.0004364474,0.000557608,0.0004629368],"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.0001192043,0.00005283079,0.0001498659,0.00005353471,0.00001070575,0.0001164528,0.0004349936,0.0003285434,0.003646042,0.981636,0.001583518,0.01186824],"study_design_scores_gemma":[0.00005307251,0.0000470737,0.0001285332,0.00002354039,0.00001705456,0.0003152349,0.0002231002,0.00417331,0.006907041,0.9715308,0.01655129,0.00002997928],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1773026,0.001558706,0.7021165,0.001750792,0.001023875,0.000181761,0.001103919,0.002128716,0.1128332],"genre_scores_gemma":[0.7629952,0.001189982,0.1692326,0.0007484226,0.0009735189,0.0003021788,0.001564355,0.0008944803,0.06209919],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01139584,"threshold_uncertainty_score":0.03812289,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01041645394985028,"score_gpt":0.2429733818461717,"score_spread":0.2325569278963214,"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."}}