{"id":"W4232568134","doi":"10.24124/2007/bpgub449","title":"Semidistributive lattices, meet-semilattices, and congruence heredity.","year":2007,"lang":"en","type":"dissertation","venue":"","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Canadian Heritage; University of Northern British Columbia","funders":"","keywords":"Congruence (geometry); Heredity; Mathematics; Humanities; Philosophy; Geometry; Genetics; Biology","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0002896215,0.0003747953,0.0003810979,0.0001263877,0.0001924372,0.0002060626,0.0008458639,0.0003718372,0.00006279066],"category_scores_gemma":[0.0001022228,0.0003298587,0.00006780178,0.0003889512,0.0000718551,0.0006444242,0.0001331129,0.0003750522,0.0000460137],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006374042,"about_ca_system_score_gemma":0.0001380978,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006925599,"about_ca_topic_score_gemma":0.0006317114,"domain_scores_codex":[0.9979035,0.0000396476,0.0003641329,0.0008137709,0.0004061386,0.0004727931],"domain_scores_gemma":[0.9984782,0.0002927329,0.0002925769,0.0005078295,0.0002193722,0.0002092551],"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.00005780808,0.0001289204,0.0008009563,0.0004312958,0.0001376473,0.0003242652,0.001677325,0.00001059501,0.0008467138,0.8823591,0.007325444,0.1058999],"study_design_scores_gemma":[0.004112714,0.001341045,0.08316103,0.001967085,0.0005513213,0.0004874285,0.007551978,0.01608788,0.05640377,0.5893905,0.229013,0.009932228],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1058618,0.01660321,0.4145278,0.0005652045,0.006800201,0.001465796,0.0001055818,0.001701042,0.4523693],"genre_scores_gemma":[0.8000404,0.001703898,0.1171359,0.001815995,0.0008448577,0.00008435807,0.001411871,0.0001051045,0.0768577],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6941786,"threshold_uncertainty_score":0.9999154,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01166070046881771,"score_gpt":0.2934691712865221,"score_spread":0.2818084708177043,"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."}}