{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003112623,0.000763185,0.001315007,0.001846382,0.004195567,0.005144219,0.0009716006,0.00102671,0.007008503],"category_scores_gemma":[0.004585028,0.001160073,0.001383772,0.002292318,0.008703054,0.01137942,0.003850215,0.004411635,0.001045335],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001450257,"about_ca_system_score_gemma":0.001092475,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001024046,"about_ca_topic_score_gemma":0.001402619,"domain_scores_codex":[0.9973099,0.0008423228,0.0002498052,0.0005362123,0.0006631953,0.0003985717],"domain_scores_gemma":[0.9966186,0.00151314,0.0004105975,0.0005724782,0.0004421137,0.0004429992],"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.00002326384,0.0000150996,0.00006751262,0.0000106611,0.000002700803,0.00003525656,0.0002162321,0.00008883477,0.0002406003,0.9965947,0.0003986631,0.002306449],"study_design_scores_gemma":[0.00001144523,0.000005235421,0.00004538952,0.000004070202,0.000003624562,0.0000398025,0.00006234724,0.0002978522,0.0002020378,0.9969164,0.002406138,0.000005607795],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.343605,0.004531804,0.4537836,0.006134781,0.002207184,0.0001803098,0.0008543376,0.0006724082,0.1880306],"genre_scores_gemma":[0.9011481,0.001564575,0.06214791,0.0008277521,0.001363403,0.0001702047,0.0006896559,0.000202303,0.03188614],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007008503,"threshold_uncertainty_score":0.02344573,"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."}}