{"id":"W2056872402","doi":"10.1007/s00012-006-1994-9","title":"An implication basis for linear forms","year":2006,"lang":"en","type":"article","venue":"Algebra Universalis","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Mathematics; Combinatorics; Abelian group; Variety (cybernetics); Regular polygon; Algebraic number; Lemma (botany); Algebra over a field; Geometry; Pure mathematics; Mathematical analysis","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.00008509877,0.0001175315,0.0001090866,0.00009306441,0.0001669106,0.00005655306,0.0006465943,0.00006235677,0.00001400318],"category_scores_gemma":[0.00001199362,0.0001073695,0.00007258597,0.0003083494,0.00003275257,0.001207057,0.00005489677,0.0000498119,0.00002365667],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005507687,"about_ca_system_score_gemma":0.00003543646,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007905167,"about_ca_topic_score_gemma":0.00003512429,"domain_scores_codex":[0.9991186,0.0000168281,0.0001351993,0.0003536919,0.0001127641,0.0002629532],"domain_scores_gemma":[0.9991502,0.00007066498,0.00007579385,0.0005402011,0.00009123543,0.00007192071],"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.00000589421,0.00004953018,0.0001648692,0.000004384769,0.000005136377,0.000002340058,0.00009372985,0.0002267408,0.002549967,0.9817806,0.0006380375,0.01447874],"study_design_scores_gemma":[0.001552605,0.0006716058,0.01092923,0.00001748426,0.0000388345,0.00002402023,0.0002493905,0.09689435,0.03563023,0.7390618,0.1140135,0.0009169221],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04987491,0.00003269321,0.9461396,0.0007450518,0.00008830574,0.0002166826,0.00001288448,0.0003159317,0.002573941],"genre_scores_gemma":[0.925697,0.000006083709,0.07347739,0.0003117329,0.0001285017,0.00001607656,0.00005444048,0.00001235763,0.000296432],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8758221,"threshold_uncertainty_score":0.4378401,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009536144497471389,"score_gpt":0.2436161350869697,"score_spread":0.2340799905894983,"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."}}