{"id":"W1509531246","doi":"10.1007/978-3-540-78913-0_19","title":"Determinisation of Relational Substitutions in Ordered Categories with Domain","year":2008,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Morphism; Unification; Domain (mathematical analysis); Determinacy; Mathematics; Pure mathematics; Computer science; Algebra over a field; 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.0004783482,0.0002921232,0.0003875319,0.0006821748,0.000178403,0.0001113403,0.001112524,0.0002218896,0.000005556938],"category_scores_gemma":[0.00004087261,0.0002369914,0.00005892161,0.0007010052,0.0009602301,0.0004927218,0.0002569057,0.0003722719,0.000009906145],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001966984,"about_ca_system_score_gemma":0.0009036941,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001037214,"about_ca_topic_score_gemma":0.0005754657,"domain_scores_codex":[0.9976002,0.00003655193,0.0004985098,0.0007764201,0.0007396707,0.0003486315],"domain_scores_gemma":[0.9984703,0.000230711,0.0003313679,0.000672647,0.0002251808,0.00006976676],"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.00001644026,0.0000693595,0.003575384,0.00006318808,0.00001494292,0.0001875475,0.006141525,0.0295602,0.00004203862,0.8668131,0.00001316635,0.09350315],"study_design_scores_gemma":[0.001537975,0.0007910283,0.008411916,0.0002992062,0.0000137244,0.0007482293,0.000002950085,0.1295018,0.0008300683,0.8497497,0.006614088,0.001499326],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0006557813,0.0003140829,0.9944222,0.000158412,0.0005539554,0.0003525394,0.000001307233,0.00005952683,0.003482205],"genre_scores_gemma":[0.8317629,0.00002065337,0.1679002,0.00006964609,0.0001020007,0.00001129123,0.00000745428,0.00001103541,0.0001148286],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8311071,"threshold_uncertainty_score":0.9664229,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02407508354193302,"score_gpt":0.2321248803098227,"score_spread":0.2080497967678897,"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."}}