{"id":"W2298489343","doi":"10.1007/978-3-319-74772-9_7","title":"Absorption and directed Jónsson terms","year":2018,"lang":"en","type":"book-chapter","venue":"Outstanding contributions to logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Congruence (geometry); Distributive property; Mathematics; Pure mathematics; Variety (cybernetics); Modular design; Computer science","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.0005559084,0.000650252,0.0004735459,0.001343694,0.00160242,0.002749887,0.0009752928,0.001039186,0.01648546],"category_scores_gemma":[0.001687575,0.0004855576,0.0005922198,0.001523372,0.002263022,0.006126305,0.002015415,0.003155638,0.005746431],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001518222,"about_ca_system_score_gemma":0.0007567252,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006754559,"about_ca_topic_score_gemma":0.0007313699,"domain_scores_codex":[0.9995572,0.0001066293,0.00002114905,0.00007761858,0.0001694239,0.00006800038],"domain_scores_gemma":[0.9995201,0.0002352321,0.0000296731,0.00007752945,0.0001001257,0.00003745509],"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.000004637698,0.000003689619,0.000008881264,0.00001583365,0.000001073228,0.00001206373,0.00009403383,0.00006943512,0.0001675896,0.9933176,0.002474915,0.003830314],"study_design_scores_gemma":[0.000003858059,0.000004170546,0.00003001625,0.0000302256,0.000004712715,0.00009774406,0.00006305831,0.0005172022,0.0004628715,0.9424686,0.05630969,0.000007839172],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.01434922,0.004113608,0.08154298,0.002762113,0.001018054,0.00002381754,0.0001132567,0.0003560217,0.895721],"genre_scores_gemma":[0.3275567,0.00526313,0.03055942,0.001450656,0.00110813,0.00009183311,0.0002524153,0.0007108902,0.6330069],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.01648546,"threshold_uncertainty_score":0.05514932,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.019521090365919,"score_gpt":0.2754528691442911,"score_spread":0.2559317787783721,"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."}}