{"id":"W2584613298","doi":"","title":"Eliminating redundancy in higher-order unification: a lightweight approach","year":2006,"lang":"en","type":"article","venue":"","topic":"Hermeneutics and Narrative Identity","field":"Arts and Humanities","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Unification; Computer science; Redundancy (engineering); Overhead (engineering); Logical framework; Type (biology); Order (exchange); Theoretical computer science; Algorithm; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00951981,0.001233968,0.002758955,0.003982034,0.004092034,0.006078392,0.005193794,0.002457485,0.01236625],"category_scores_gemma":[0.03144384,0.001952656,0.003813009,0.004324031,0.004619347,0.0154042,0.01644974,0.005848555,0.005209723],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001527302,"about_ca_system_score_gemma":0.004406049,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002425993,"about_ca_topic_score_gemma":0.003465556,"domain_scores_codex":[0.9870522,0.003948749,0.001274782,0.001930116,0.00441592,0.001378246],"domain_scores_gemma":[0.965719,0.01019086,0.001245136,0.01894849,0.00339288,0.0005035569],"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.000360765,0.000258079,0.001413182,0.0004951525,0.0001745046,0.0003604254,0.002913405,0.006056439,0.01019903,0.5924655,0.00734354,0.37796],"study_design_scores_gemma":[0.00005480681,0.00007646199,0.0003577628,0.0001866794,0.0002422869,0.000239925,0.000763847,0.06665398,0.01738528,0.8842105,0.02972642,0.0001021308],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009887558,0.0002255938,0.9817868,0.0003717501,0.0001565604,0.0001570468,0.0001311302,0.002205267,0.00507837],"genre_scores_gemma":[0.1840568,0.0003833834,0.7998261,0.0003805337,0.0002708884,0.0003386532,0.0007385092,0.0018428,0.01216231],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01236625,"threshold_uncertainty_score":0.0503462,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04185725955643513,"score_gpt":0.2319799733326691,"score_spread":0.190122713776234,"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."}}