{"id":"W1993886628","doi":"10.1016/j.tcs.2008.12.049","title":"Affine systems of equations and counting infinitary logic","year":2009,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":79,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Mathematics; Unary operation; Discrete mathematics; Constraint satisfaction problem; Affine transformation; Counting problem; Abelian group; Datalog; Algebra over a field; Pure mathematics; Computer science; Theoretical computer science","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.0007210198,0.00008086475,0.0001226343,0.0001579587,0.0001885123,0.0001979841,0.0004798601,0.00002723378,0.00001483177],"category_scores_gemma":[0.0001081517,0.00006866446,0.00001877419,0.0007027502,0.000869533,0.0005046168,0.0001626591,0.00007380125,0.000005368766],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001775109,"about_ca_system_score_gemma":0.00006418047,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003124241,"about_ca_topic_score_gemma":3.040503e-7,"domain_scores_codex":[0.9989309,0.00004408809,0.00022503,0.00028189,0.000325168,0.0001929212],"domain_scores_gemma":[0.999177,0.000206694,0.0000711274,0.0002758868,0.0001744956,0.0000947552],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[9.968395e-7,0.00001431692,0.00008787848,0.000002900537,8.123487e-7,0.000001029785,0.0001323597,0.002537407,0.0003391601,0.9562262,0.000004320312,0.04065267],"study_design_scores_gemma":[0.0001118319,0.0001204134,0.00535435,0.00002108828,0.00000222543,0.00002285083,0.000007413964,0.941218,0.0001990972,0.05284569,0.00000943404,0.00008761976],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01028564,0.00003195388,0.985191,0.0009982694,0.0002201065,0.00009675758,6.958632e-7,0.00008869259,0.003086827],"genre_scores_gemma":[0.8869597,0.000004817036,0.1127244,0.0002762716,0.0000296497,7.972748e-7,4.06362e-7,0.000001239505,0.000002758852],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9386806,"threshold_uncertainty_score":0.3203831,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01276918873415195,"score_gpt":0.2434179504003676,"score_spread":0.2306487616662157,"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."}}