{"id":"W2163543752","doi":"10.1016/s0166-218x(02)00411-0","title":"Homomorphisms of conjunctive normal forms","year":2003,"lang":"en","type":"article","venue":"Discrete Applied Mathematics","topic":"Algebraic Geometry and Number Theory","field":"Mathematics","cited_by":23,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Homomorphism; Conjunctive normal form; Combinatorics; Algebra over a field; Discrete mathematics; Pure 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.0007986628,0.0003046994,0.0006088247,0.0001141129,0.0001080686,0.00001866768,0.0002852798,0.000154,0.0007492629],"category_scores_gemma":[0.0003750964,0.00024512,0.0001725643,0.0003406823,0.0002392874,0.0001039741,0.0000742975,0.0002100836,0.0001225657],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003026582,"about_ca_system_score_gemma":0.0000473004,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":8.135234e-7,"about_ca_topic_score_gemma":7.061989e-7,"domain_scores_codex":[0.9982244,0.00003096981,0.0006723929,0.0002546025,0.0004132159,0.0004044556],"domain_scores_gemma":[0.9980336,0.0006749056,0.0004277821,0.0006585312,0.00008579635,0.0001193148],"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.00002555821,0.0002374266,0.00001904305,0.0003797264,0.0001111997,0.000002950536,0.001573265,0.000002534222,0.002112464,0.9950896,0.0002759764,0.0001702615],"study_design_scores_gemma":[0.0007046469,0.00005856223,0.00001456011,0.00004524986,0.0001138187,0.00002638924,0.003817142,0.00002905752,0.08150668,0.9129624,0.0004314424,0.0002900552],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.3804035,0.00004199057,0.1105406,0.00001791583,0.0001100644,0.0006605978,0.00003077026,0.0001292985,0.5080653],"genre_scores_gemma":[0.9250067,0.000006605567,0.07408465,0.00004975786,0.0000246926,0.00006201478,0.000009763825,0.00005935,0.0006964582],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5446032,"threshold_uncertainty_score":0.9995704,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02042071811310501,"score_gpt":0.25980433961635,"score_spread":0.239383621503245,"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."}}