{"id":"W1965558340","doi":"10.1142/s1005386707000193","title":"A Characterization of P-Compatible Varieties","year":2007,"lang":"en","type":"article","venue":"Algebra Colloquium","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Lethbridge","funders":"","keywords":"Mathematics; Variety (cybernetics); Algebraic variety; Normalization (sociology); Partition (number theory); Pure mathematics; Algebra over a field; Compatibility (geochemistry); Algebraic number; Combinatorics; Discrete mathematics","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003210341,0.0001193123,0.0001878877,0.0001381374,0.00008361696,0.00003907834,0.000524143,0.00006080657,0.00003299027],"category_scores_gemma":[0.00003049559,0.0001117517,0.00005790112,0.0006865668,0.0000603363,0.0005415639,0.000147696,0.00007835356,0.00003407288],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002292311,"about_ca_system_score_gemma":0.00005201876,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008007246,"about_ca_topic_score_gemma":0.000007703064,"domain_scores_codex":[0.9988854,0.00002594437,0.0003077993,0.000247695,0.0002491019,0.0002840871],"domain_scores_gemma":[0.9991504,0.00008193084,0.0001689434,0.0004090137,0.0001166919,0.00007300658],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00002105057,0.0001012128,0.001761477,0.00002203593,0.00001653403,0.00001190022,0.0009072621,0.000009528647,0.2581247,0.7284557,0.00008359944,0.01048503],"study_design_scores_gemma":[0.001151905,0.0004990057,0.149162,0.00004121494,0.00001976759,0.00003656972,0.0001398778,0.003094274,0.7174569,0.1138682,0.01384829,0.000682034],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3896961,0.00002998196,0.6069024,0.0001513074,0.0003188407,0.0001070884,0.000001343993,0.0001057146,0.002687239],"genre_scores_gemma":[0.9862204,0.00001088028,0.01285802,0.0003398976,0.00006316727,0.000006120062,0.000007383914,0.000008188178,0.0004859999],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6145875,"threshold_uncertainty_score":0.4557104,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009111031601453183,"score_gpt":0.2281123330053599,"score_spread":0.2190013014039068,"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."}}