{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01325484,0.0001691341,0.000248298,0.0001531534,0.0002019141,0.0002604575,0.001579087,0.00007536537,0.000006405297],"category_scores_gemma":[0.0008712987,0.0001269938,0.00004008412,0.001366968,0.0009972388,0.00064596,0.0008949476,0.0003164301,0.000005258863],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009540899,"about_ca_system_score_gemma":0.0000521419,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001561941,"about_ca_topic_score_gemma":0.000003021101,"domain_scores_codex":[0.9973172,0.0003490354,0.0003259494,0.0009895894,0.0004129831,0.0006052287],"domain_scores_gemma":[0.9954185,0.003485072,0.00008028842,0.0007101987,0.00006249252,0.0002434689],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.000006130845,0.0001039134,0.00157033,0.000003592065,5.662178e-7,0.00002946258,0.0001079849,0.00004468962,0.002236109,0.2592643,0.000002970886,0.73663],"study_design_scores_gemma":[0.0002207381,0.0002435708,0.3823698,0.00002451384,8.405009e-7,0.00004617741,0.000005930067,0.2373336,0.0114643,0.3679362,0.00009585829,0.0002584362],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2500682,0.00002630647,0.7485757,0.0002426562,0.0004617447,0.0001037178,8.103537e-7,0.000106044,0.0004148379],"genre_scores_gemma":[0.5038649,0.000001608057,0.4956225,0.0004853136,0.00002126906,0.000001780369,7.956126e-8,0.000001333957,0.00000116758],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7363716,"threshold_uncertainty_score":0.5178657,"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."}}