{"id":"W2594244112","doi":"10.2307/2586531","title":"A finite basis theorem for residually finite, congruence meet-semidistributive varieties","year":2000,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":41,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Congruence (geometry); Mathematics; Variety (cybernetics); Pure mathematics; Finitely-generated abelian group; Algebra over a field; Discrete mathematics; 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.0007907827,0.0002432172,0.0004800592,0.000140193,0.0002310064,0.0001626838,0.001294602,0.0001262092,0.0001855199],"category_scores_gemma":[0.0006973513,0.0001756733,0.0002580309,0.0004631262,0.0001733168,0.0007491341,0.00009068415,0.0002770544,0.00002938791],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007165383,"about_ca_system_score_gemma":0.0002203978,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003966687,"about_ca_topic_score_gemma":0.000002625745,"domain_scores_codex":[0.9980091,0.0001367639,0.000663056,0.0003030812,0.0004138938,0.0004740431],"domain_scores_gemma":[0.9971274,0.001381885,0.0004651418,0.0003863486,0.0004540693,0.0001851611],"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.0003159993,0.0002789243,0.0004341415,0.00004867939,0.0001652506,0.0002488523,0.002484798,0.01079664,0.0005467692,0.9245266,0.004296575,0.05585681],"study_design_scores_gemma":[0.001242815,0.001151775,0.002174788,0.00008695051,0.00005032439,0.0002749703,0.0002071778,0.004549904,0.002325149,0.9735354,0.01399416,0.0004065457],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02385336,0.001415844,0.9596629,0.003394949,0.0005022628,0.0003285301,0.00004288645,0.0001003443,0.01069892],"genre_scores_gemma":[0.9614234,0.0004147394,0.03536341,0.001706525,0.0002862003,0.00001427319,0.000002900871,0.00001328193,0.0007752561],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.93757,"threshold_uncertainty_score":0.7163749,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01719232462789122,"score_gpt":0.2566598042498143,"score_spread":0.2394674796219231,"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."}}