{"id":"W1982284230","doi":"10.1081/agb-120015672","title":"AXIOMATISABILITY OF WEAKLY FLAT, FLAT, AND PROJECTIVE<i>S</i>-ACTS","year":2002,"lang":"en","type":"article","venue":"Communications in Algebra","topic":"semigroups and automata theory","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Wilfrid Laurier University","funders":"Natural Sciences and Engineering Research Council of Canada; Wilfrid Laurier University","keywords":"Mathematics; Class (philosophy); Order (exchange); Pure mathematics; Projective test; Computer science; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":true,"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.002029791,0.0003990398,0.0005007164,0.001088861,0.001634471,0.002708992,0.0007167643,0.0006787666,0.004853199],"category_scores_gemma":[0.004558177,0.0005057277,0.001329517,0.0004554772,0.005047758,0.00315375,0.002385405,0.001452743,0.0005069649],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001157127,"about_ca_system_score_gemma":0.001369067,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002002414,"about_ca_topic_score_gemma":0.002049451,"domain_scores_codex":[0.9968404,0.0007520882,0.0004436944,0.0008448579,0.0005888069,0.0005301557],"domain_scores_gemma":[0.991981,0.003178091,0.0008903748,0.001335762,0.001344168,0.001270588],"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.0005068379,0.0001229431,0.01740574,0.0001958351,0.00009403315,0.001516205,0.002751663,0.005403801,0.01829875,0.9307958,0.001798899,0.02110955],"study_design_scores_gemma":[0.000175397,0.0005701613,0.02072532,0.0001146672,0.0001724348,0.00221804,0.002542427,0.03376511,0.04945426,0.8639955,0.0261006,0.0001661689],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8305283,0.0002885039,0.1306548,0.0008531573,0.0001095325,0.000123973,0.0007425898,0.00129768,0.03540166],"genre_scores_gemma":[0.9870715,0.00005298741,0.009214574,0.00009991505,0.00003174789,0.00003021776,0.0005492729,0.00004292165,0.002906868],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004853199,"threshold_uncertainty_score":0.01623553,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04113814220175101,"score_gpt":0.2761499688212992,"score_spread":0.2350118266195482,"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."}}