{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001167234,0.0004990656,0.0007123676,0.001514182,0.001856781,0.003041063,0.0009205921,0.0008395931,0.00940898],"category_scores_gemma":[0.001871552,0.0005294005,0.001131584,0.001665042,0.002578498,0.006164278,0.001865565,0.003324772,0.001417427],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001259018,"about_ca_system_score_gemma":0.0006950307,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000880548,"about_ca_topic_score_gemma":0.0009841842,"domain_scores_codex":[0.9992014,0.0001698784,0.00005978355,0.0001705423,0.0002484415,0.0001500044],"domain_scores_gemma":[0.9990981,0.0004001288,0.00005704111,0.0001064427,0.0002539227,0.00008437385],"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.00002724756,0.00001828938,0.00008195612,0.00002858558,0.000005628217,0.00004245333,0.0001762206,0.0002783439,0.0005223159,0.9895844,0.0009798071,0.008254714],"study_design_scores_gemma":[0.000007034588,0.00000762673,0.00005500874,0.000006452334,0.000006358761,0.00003396241,0.0000349844,0.001678305,0.0003096493,0.9954389,0.002416934,0.000004964891],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1337962,0.001615279,0.6754307,0.00253662,0.000569671,0.0001092767,0.0007232536,0.001008316,0.1842107],"genre_scores_gemma":[0.8864322,0.0006998142,0.07772299,0.000734591,0.0005164389,0.0001312958,0.0006818362,0.0001938425,0.03288707],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00940898,"threshold_uncertainty_score":0.0314762,"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."}}