{"id":"W2006811440","doi":"10.1016/s0893-9659(03)00077-6","title":"Relaxed unification—Proposal","year":2003,"lang":"en","type":"article","venue":"Applied Mathematics Letters","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Unification; Imperfect; Preprocessor; Mathematics; Fuzzy logic; Perfect information; Algorithm; Computer science; Theoretical computer science; Mathematical economics; Artificial intelligence; Programming language","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.000384656,0.0001651188,0.0001771202,0.00007069697,0.0001378633,0.0001276794,0.000658571,0.00005970716,0.00002993785],"category_scores_gemma":[0.0000623211,0.0001423973,0.00005646238,0.0003028149,0.0000641239,0.0001171026,0.00007481524,0.0001344773,0.000757108],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000432346,"about_ca_system_score_gemma":0.00004993613,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":8.792165e-7,"about_ca_topic_score_gemma":8.121702e-7,"domain_scores_codex":[0.9988677,0.00002339461,0.0002527118,0.0003205067,0.0002347075,0.0003010129],"domain_scores_gemma":[0.9988598,0.0001344827,0.000127631,0.0007579797,0.00003227349,0.00008780901],"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":[4.196021e-7,0.00007289895,0.00001224943,0.00002503835,0.00001162522,0.000003560554,0.00123595,0.00001098248,0.02036669,0.9725264,0.005172998,0.0005611678],"study_design_scores_gemma":[0.002344217,0.00008537801,0.0005275261,0.0000717444,0.00008506544,0.0001707845,0.0006788779,0.01075172,0.106253,0.807763,0.06924894,0.002019733],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00941344,0.00002332159,0.8374037,0.001164374,0.0001959058,0.0002444928,3.377617e-7,0.0002739078,0.1512805],"genre_scores_gemma":[0.4420886,0.000005170133,0.5560558,0.001263135,0.00004537057,0.00005607142,0.000002199832,0.0000210815,0.0004625364],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4326752,"threshold_uncertainty_score":0.9731343,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01300726744196283,"score_gpt":0.2147539292728896,"score_spread":0.2017466618309268,"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."}}