{"id":"W2092737163","doi":"10.1007/s00012-011-0139-y","title":"Lattice tolerances and congruences","year":2011,"lang":"en","type":"article","venue":"Algebra Universalis","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Congruence relation; Mathematics; Homomorphic encryption; Congruence lattice problem; Lattice (music); Congruence (geometry); Pure mathematics; Algebra over a field; Distributive lattice; Computer science; Geometry","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.00007083885,0.0001078272,0.0001153537,0.00006409581,0.0001181761,0.00004721001,0.0005109457,0.00004002654,0.00007620227],"category_scores_gemma":[0.00001432008,0.0000940879,0.00002669254,0.0002383721,0.0001395053,0.001073543,0.0001489444,0.00007152891,0.00003627866],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000009674992,"about_ca_system_score_gemma":0.00002337323,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001424257,"about_ca_topic_score_gemma":0.00003613744,"domain_scores_codex":[0.9992587,0.00003463901,0.00009455335,0.0002963078,0.000109647,0.00020617],"domain_scores_gemma":[0.9994847,0.00006233983,0.0000530785,0.0002630774,0.00004083747,0.00009593848],"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.000004842763,0.00001814612,0.001955591,0.000004635916,0.00001380177,0.0000545359,0.002559714,0.000001060399,0.00007057071,0.9782525,0.0001548351,0.01690977],"study_design_scores_gemma":[0.002019662,0.0007557401,0.0798932,0.00008275834,0.00007215347,0.0001980904,0.003483368,0.005341427,0.01194043,0.8332288,0.06134859,0.001635823],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6701682,0.001538148,0.1897155,0.001176476,0.0007686121,0.0002433662,0.000004746452,0.0007016992,0.1356832],"genre_scores_gemma":[0.9676059,0.0001079389,0.03134685,0.0005365266,0.00002404663,0.000001692302,6.59719e-7,0.000004596871,0.0003718013],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2974377,"threshold_uncertainty_score":0.3836793,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02258375668873851,"score_gpt":0.2045916586948642,"score_spread":0.1820079020061257,"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."}}