{"id":"W2609834214","doi":"10.1017/jsl.2019.73","title":"DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS","year":2020,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"Natural Sciences and Engineering Research Council of Canada; Univerzita Karlova v Praze","keywords":"Idempotence; Congruence (geometry); Mathematics; Variety (cybernetics); Sequence (biology); Class (philosophy); Polynomial; Time complexity; Type (biology); Path (computing); Pure mathematics; Algebra over a field; Discrete mathematics; Computer science; Mathematical analysis","routes":{"ca_aff":true,"ca_fund":true,"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.005007753,0.0005271992,0.001411356,0.001094603,0.002083061,0.006088356,0.001949313,0.00231068,0.006740548],"category_scores_gemma":[0.02111426,0.0007729288,0.002455785,0.0009816001,0.004625525,0.01234438,0.00286416,0.003269456,0.0006090146],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002343767,"about_ca_system_score_gemma":0.002323436,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002209399,"about_ca_topic_score_gemma":0.002406003,"domain_scores_codex":[0.9949986,0.001409252,0.0004346434,0.001209155,0.000951931,0.0009964689],"domain_scores_gemma":[0.9691482,0.02524499,0.001552075,0.001710821,0.001213089,0.001130922],"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.002566007,0.0006075698,0.01133411,0.0005668984,0.0002167281,0.00125566,0.001223075,0.1027351,0.01985904,0.8173898,0.003418649,0.03882748],"study_design_scores_gemma":[0.0002248327,0.0002183772,0.0008701098,0.00004518732,0.00006732206,0.0002434155,0.0006278646,0.1692129,0.01887786,0.8076683,0.001866866,0.00007696687],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7969589,0.0002010092,0.1919712,0.001703923,0.00008094309,0.0002760512,0.0007189572,0.0007328912,0.007356099],"genre_scores_gemma":[0.9493758,0.0001218101,0.04764412,0.0001510431,0.00007297548,0.00007851925,0.0009726585,0.00007962571,0.001503364],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006740548,"threshold_uncertainty_score":0.02648389,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03510935235772742,"score_gpt":0.2733136988233666,"score_spread":0.2382043464656392,"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."}}