{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002039905,0.0008810688,0.001133365,0.001912889,0.001832207,0.004107565,0.002358862,0.001157745,0.008438068],"category_scores_gemma":[0.009257187,0.0009706828,0.001760885,0.003053572,0.005059506,0.00669776,0.002557627,0.004855818,0.0007158185],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002863691,"about_ca_system_score_gemma":0.001273843,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005451149,"about_ca_topic_score_gemma":0.00757418,"domain_scores_codex":[0.9978412,0.0007934657,0.0002020841,0.0003692349,0.000546118,0.0002478008],"domain_scores_gemma":[0.9950051,0.003409301,0.0004131534,0.0004300272,0.0005496006,0.0001928063],"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.000008165184,0.000009310947,0.0001398678,0.00001893795,0.000006587255,0.00002076104,0.00007687166,0.001689819,0.00009583699,0.9948884,0.0004591623,0.002586298],"study_design_scores_gemma":[0.000004293147,0.00000215269,0.00004296275,0.000004225049,0.000005198133,0.00001118753,0.00001303727,0.005703676,0.00009415795,0.9933974,0.000716875,0.000004910452],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1320812,0.002734862,0.7881167,0.003441198,0.0003947101,0.00008405562,0.0004892545,0.0005816194,0.07207637],"genre_scores_gemma":[0.8458491,0.001390946,0.1257193,0.0006491707,0.0005800841,0.0001363258,0.0007620943,0.0001691449,0.02474379],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008438068,"threshold_uncertainty_score":0.02822816,"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."}}