{"id":"W2768006416","doi":"10.1007/s00012-017-0475-7","title":"Simpler Maltsev conditions for (weak) difference terms in locally finite varieties","year":2017,"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 Waterloo","funders":"","keywords":"Mathematics; Class (philosophy); Variety (cybernetics); Simple (philosophy); Term (time); Algebra over a field; Significant difference; Pure mathematics; Finite difference; Mathematical analysis; Computer science; Statistics; Artificial intelligence","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.002893623,0.0006463594,0.001355526,0.002602376,0.002549001,0.003938728,0.001841614,0.002337066,0.01698478],"category_scores_gemma":[0.00701828,0.0007182183,0.001954734,0.001406591,0.005336858,0.014947,0.005265623,0.005806555,0.001810439],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00221201,"about_ca_system_score_gemma":0.001077544,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001084278,"about_ca_topic_score_gemma":0.001573207,"domain_scores_codex":[0.9984047,0.0003363615,0.0001685078,0.0003257666,0.0004428687,0.0003217564],"domain_scores_gemma":[0.9968887,0.001409243,0.0001651518,0.0005122279,0.0006238967,0.0004007905],"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.00002781329,0.00001401127,0.0001234994,0.00002081022,0.000003686927,0.0000347243,0.0001887314,0.0001239547,0.0005517832,0.9971367,0.0004283168,0.001345932],"study_design_scores_gemma":[0.0000239188,0.00001640788,0.0001931765,0.00001331033,0.000008370481,0.00004237767,0.0001343596,0.0009553158,0.0005699557,0.9956291,0.002400442,0.00001333249],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.406416,0.001851761,0.3505454,0.007478811,0.001549963,0.0002635507,0.001216286,0.0008169048,0.2298613],"genre_scores_gemma":[0.9325412,0.000430154,0.03817888,0.001121756,0.0007057802,0.0001540488,0.0006412742,0.0002983474,0.02592847],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01698478,"threshold_uncertainty_score":0.0568198,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02253102890550734,"score_gpt":0.2690796457387276,"score_spread":0.2465486168332203,"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."}}