{"id":"W2243033668","doi":"10.1007/s11225-015-9641-0","title":"Congruence Lattices of Semilattices with Operators","year":2015,"lang":"en","type":"article","venue":"Studia Logica","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Northern British Columbia","funders":"","keywords":"Semilattice; Mathematics; Congruence lattice problem; Congruence (geometry); Lattice (music); Pure mathematics; Duality (order theory); Distributive lattice; Algebraic number; Algebraic structure; Complete lattice; Discrete mathematics; Combinatorics; Algebra over a field; Distributive property; Mathematical analysis; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005528156,0.001274656,0.001672039,0.003388917,0.004414409,0.009869426,0.001751593,0.001494321,0.007221084],"category_scores_gemma":[0.00813459,0.001654819,0.002620301,0.002811427,0.007722183,0.01196711,0.004437416,0.004718902,0.001551463],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002505493,"about_ca_system_score_gemma":0.00214147,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001673755,"about_ca_topic_score_gemma":0.00161462,"domain_scores_codex":[0.9932903,0.002260509,0.0006333212,0.0009029587,0.002202302,0.000710479],"domain_scores_gemma":[0.9895601,0.005358088,0.0008810175,0.0007619192,0.001567515,0.001871379],"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.00008597266,0.00004016455,0.0001644945,0.00003317941,0.0000111105,0.00006407245,0.0003914431,0.000349119,0.001159467,0.9946154,0.0006502924,0.002435314],"study_design_scores_gemma":[0.00005234777,0.00002205546,0.000134417,0.00001161287,0.000007775157,0.00007918031,0.0001787873,0.00237376,0.0007639875,0.9936147,0.002745294,0.0000161616],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2748363,0.002652155,0.58278,0.004187263,0.001115688,0.0002815166,0.001316575,0.00101527,0.1318152],"genre_scores_gemma":[0.799356,0.001437843,0.1668126,0.0006962215,0.001460107,0.0004401345,0.001621047,0.0004192869,0.02775667],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009869426,"threshold_uncertainty_score":0.02923602,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03580985468260145,"score_gpt":0.2692624297092427,"score_spread":0.2334525750266413,"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."}}