{"id":"W2156285174","doi":"10.2168/lmcs-3(2:6)2007","title":"On tractability and congruence distributivity","year":2007,"lang":"en","type":"article","venue":"Logical Methods in Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"Division of Mathematical Sciences; Hungarian Scientific Research Fund; Natural Sciences and Engineering Research Council of Canada; Isaac Newton Institute for Mathematical Sciences","keywords":"Distributivity; Distributive property; Congruence (geometry); Mathematics; Bounded function; Variety (cybernetics); Term (time); Conjecture; Sequence (biology); Pure mathematics; Class (philosophy); Discrete mathematics; Invariant (physics); Computer science","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.01052884,0.001262285,0.002295732,0.002287268,0.00315306,0.007888192,0.003503297,0.002511386,0.01575883],"category_scores_gemma":[0.07381305,0.00152071,0.004456345,0.003521604,0.01054215,0.02563619,0.00785799,0.008763256,0.002350388],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005667296,"about_ca_system_score_gemma":0.002541216,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002929247,"about_ca_topic_score_gemma":0.003545688,"domain_scores_codex":[0.9872568,0.005534227,0.0007157766,0.002897997,0.002340849,0.001254345],"domain_scores_gemma":[0.849464,0.130123,0.003772517,0.01269814,0.002710373,0.001232052],"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.0001470308,0.0001330195,0.0013984,0.0002773512,0.00006112828,0.0002483156,0.0006979208,0.01911561,0.001471011,0.9631313,0.002863047,0.01045578],"study_design_scores_gemma":[0.00002460153,0.0000166559,0.0001685787,0.00003079382,0.00001611071,0.00006257944,0.00004294522,0.02021834,0.0005432909,0.9770965,0.00176743,0.00001217208],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1740486,0.003256146,0.6775802,0.0169645,0.0002165427,0.0003732787,0.001948024,0.002784438,0.1228283],"genre_scores_gemma":[0.8362867,0.002337496,0.1367891,0.002830337,0.0008868892,0.00119337,0.002952122,0.001896789,0.01482721],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01575883,"threshold_uncertainty_score":0.05568254,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03957083179911924,"score_gpt":0.3852755727943883,"score_spread":0.3457047409952691,"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."}}