{"id":"W1845283042","doi":"10.1007/3-540-47922-8_37","title":"Relaxed Unification — Proposal","year":2002,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Unification; Computer science; Imperfect; Theoretical computer science; Algorithm; Programming language; Philosophy","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.007327011,0.001069821,0.001847709,0.002751445,0.004212002,0.004997073,0.005877392,0.005204714,0.01991099],"category_scores_gemma":[0.01662469,0.001371589,0.002725114,0.003785207,0.007144585,0.02195079,0.01094399,0.008689186,0.005884066],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001684019,"about_ca_system_score_gemma":0.002673443,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001636953,"about_ca_topic_score_gemma":0.001031355,"domain_scores_codex":[0.9922111,0.002528475,0.0004151209,0.002269241,0.001456501,0.001119565],"domain_scores_gemma":[0.9921131,0.002107535,0.0001982502,0.004119713,0.0009773406,0.0004840522],"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.00008699984,0.00003353458,0.00009925399,0.00007974734,0.00002043543,0.00004944632,0.0002679252,0.0005312864,0.0004511562,0.9676487,0.00675853,0.02397278],"study_design_scores_gemma":[0.00004756806,0.00002496926,0.0001184935,0.00005539842,0.00004004491,0.0001143038,0.0001245091,0.004715315,0.001065505,0.9686245,0.02503822,0.00003118284],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03348888,0.00340159,0.7734014,0.01634994,0.00574791,0.0004304813,0.0006693393,0.002984615,0.1635258],"genre_scores_gemma":[0.4850596,0.002167518,0.3963898,0.007376065,0.005824332,0.001319234,0.002803237,0.002162068,0.09689815],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01991099,"threshold_uncertainty_score":0.06660891,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02312842810213149,"score_gpt":0.2409428286011721,"score_spread":0.2178144004990406,"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."}}