{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001098648,0.0001899991,0.0002240618,0.000139464,0.0006177461,0.0002886866,0.001624359,0.0000968265,0.00004659636],"category_scores_gemma":[0.0001691244,0.000180182,0.00009037519,0.0001292385,0.0002337579,0.001101675,0.000376139,0.000147473,0.00002936837],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005424472,"about_ca_system_score_gemma":0.00007384305,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001006788,"about_ca_topic_score_gemma":0.0002644637,"domain_scores_codex":[0.9987361,0.00003616579,0.0001960674,0.0004531252,0.0001592278,0.0004192716],"domain_scores_gemma":[0.9983249,0.0003206855,0.0001688401,0.0009972545,0.00007828948,0.000110036],"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.00001558695,0.00005300638,0.00271971,0.00001417806,0.00001651428,0.0000378718,0.0006618357,0.0001639026,0.0002438341,0.9891171,0.0005419153,0.006414559],"study_design_scores_gemma":[0.002237715,0.0002763243,0.1131822,0.00006718706,0.00002141542,0.00001250682,0.0002979677,0.02809209,0.0008247641,0.8393326,0.0149548,0.0007004721],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06269059,0.00003765791,0.9224644,0.00301413,0.0004780464,0.0004598431,0.0000715449,0.0002098926,0.01057395],"genre_scores_gemma":[0.9913256,0.00002676875,0.006099445,0.0005101868,0.00005217799,0.00002753893,0.0000236284,0.00001281143,0.001921915],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9286349,"threshold_uncertainty_score":0.7347608,"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."}}