{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004748809,0.0006788999,0.001909122,0.003927372,0.005682382,0.008684414,0.001786827,0.001732903,0.009705566],"category_scores_gemma":[0.01531402,0.00123089,0.00155295,0.003942091,0.01311536,0.01519732,0.006428365,0.006300724,0.001281415],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002639586,"about_ca_system_score_gemma":0.001309689,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001758335,"about_ca_topic_score_gemma":0.00125913,"domain_scores_codex":[0.9934168,0.001630559,0.0006897553,0.001302293,0.002057064,0.0009036182],"domain_scores_gemma":[0.9887874,0.005153879,0.001132565,0.001623251,0.001626967,0.001676009],"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.00001860298,0.00000927348,0.00006536844,0.00001143481,0.000003169939,0.00001503311,0.0001787155,0.000147182,0.0001271329,0.99725,0.0003256807,0.001848473],"study_design_scores_gemma":[0.00001391791,0.000005674869,0.00004546583,0.000007119802,0.000004212787,0.00002710956,0.0001248194,0.0004728116,0.0002087907,0.9967211,0.002363065,0.000005909948],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2375043,0.003825438,0.4926191,0.008622525,0.001725253,0.0001772217,0.0006762045,0.0009863133,0.2538637],"genre_scores_gemma":[0.9228082,0.001050358,0.04806171,0.0006352733,0.001095236,0.000182243,0.0004185395,0.000272936,0.0254755],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009705566,"threshold_uncertainty_score":0.03246838,"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."}}