{"id":"W2027839270","doi":"10.1007/s00012-005-1887-3","title":"Orthomodular lattices and permutable congruences","year":2005,"lang":"en","type":"article","venue":"Algebra Universalis","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Permutable prime; Congruence relation; Mathematics; Congruence (geometry); Variety (cybernetics); Pure mathematics; Algebra over a field; Statistics","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.00009586783,0.0001298009,0.0001377984,0.00008231893,0.0001753427,0.000122623,0.0004950269,0.00005053128,0.00007628975],"category_scores_gemma":[0.00001558322,0.0001166448,0.00003423081,0.0002657726,0.0001105255,0.00167065,0.0001899032,0.00009022529,0.00005651018],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002469088,"about_ca_system_score_gemma":0.00003478492,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000547294,"about_ca_topic_score_gemma":0.00006664722,"domain_scores_codex":[0.9990708,0.00003022302,0.0001123623,0.0003591388,0.0001577707,0.0002696625],"domain_scores_gemma":[0.9993936,0.00006461076,0.00005816221,0.0003178155,0.00004611699,0.0001197313],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000003539328,0.00003163523,0.002719698,0.000007750477,0.00002427055,0.00005320706,0.001172327,0.0001667452,0.0004183091,0.9438872,0.0004774899,0.05103781],"study_design_scores_gemma":[0.002421326,0.0004471185,0.01902475,0.00007240892,0.00008359369,0.0002800574,0.001770446,0.06489597,0.009579448,0.1223535,0.7772791,0.001792232],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8633415,0.002306321,0.104743,0.006420941,0.0002774935,0.0002128779,0.000005275314,0.0005806739,0.02211187],"genre_scores_gemma":[0.9715423,0.0001496136,0.02642566,0.0007099343,0.00007004095,0.000001771246,0.000002205075,0.000006603955,0.001091845],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8215337,"threshold_uncertainty_score":0.4756638,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007507227788094312,"score_gpt":0.2109526959673796,"score_spread":0.2034454681792853,"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."}}