{"id":"W2730432623","doi":"10.1007/s00012-018-0487-y","title":"Some preliminary results on the set of principal congruences of a finite lattice","year":2018,"lang":"en","type":"article","venue":"Algebra Universalis","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Congruence relation; Congruence lattice problem; Mathematics; Distributive lattice; Lattice (music); Congruence (geometry); Isomorphism (crystallography); Pure mathematics; Distributive property; Finite set; Combinatorics; Discrete mathematics; Mathematical analysis; Geometry; Physics; Crystal structure; Crystallography","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.0002741015,0.0001250315,0.0001726857,0.0000965974,0.0001056843,0.00001643797,0.00111119,0.00005585391,0.00002121703],"category_scores_gemma":[0.0002428568,0.00008597979,0.0000671802,0.0004341583,0.0004594099,0.0004583278,0.0002760231,0.0001069255,0.00002997683],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001698507,"about_ca_system_score_gemma":0.00007500156,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006307175,"about_ca_topic_score_gemma":0.00001072832,"domain_scores_codex":[0.9988518,0.0001176852,0.0002513309,0.0002923375,0.0002764339,0.0002104015],"domain_scores_gemma":[0.9979028,0.0009225181,0.0002614113,0.0007003671,0.0001597405,0.00005317577],"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.0001921872,0.00004223061,0.00006782167,0.00001076763,0.00003160475,0.00001502799,0.002823816,0.00009054431,0.0001890896,0.9945297,0.0004688044,0.00153846],"study_design_scores_gemma":[0.005300245,0.01806567,0.02463854,0.0006970086,0.0001684245,0.00004242105,0.004633601,0.04485174,0.1497394,0.7162525,0.0341155,0.001494957],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9681094,0.0001463202,0.01161656,0.003639254,0.0005097883,0.0003716269,0.0000885206,0.0001348175,0.01538374],"genre_scores_gemma":[0.9965751,0.00002663955,0.002618534,0.0003896903,0.00009701742,0.0000017692,0.000003805473,0.000005532068,0.0002819094],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2782771,"threshold_uncertainty_score":0.3506154,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02702203790602267,"score_gpt":0.2521842133965554,"score_spread":0.2251621754905327,"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."}}