{"id":"W2014657676","doi":"10.1016/j.jlap.2010.07.017","title":"Determinisation of relational substitutions in ordered categories with domain","year":2010,"lang":"en","type":"article","venue":"The Journal of Logic and Algebraic Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Converse; Unification; Substitution (logic); Mathematics; Domain (mathematical analysis); Quotient; Equivalence (formal languages); Determinacy; Context (archaeology); Pure mathematics; Equivalence class (music); Arrow; Algebra over a field; Computer science","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.005779698,0.000521683,0.001645475,0.002318998,0.003608054,0.007178601,0.002629082,0.002563789,0.005358638],"category_scores_gemma":[0.01635267,0.001960599,0.003266448,0.002003819,0.007278303,0.01430451,0.006645395,0.005653423,0.000994993],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00314237,"about_ca_system_score_gemma":0.002853252,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002247756,"about_ca_topic_score_gemma":0.002665794,"domain_scores_codex":[0.9918475,0.00223507,0.0007923156,0.001790367,0.002021407,0.001313293],"domain_scores_gemma":[0.9826788,0.01114682,0.0008559243,0.002834272,0.001788105,0.0006960414],"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.0001070281,0.00003547783,0.0005463104,0.00005297345,0.00002162127,0.0001327356,0.0006829753,0.001549633,0.001158784,0.9882287,0.0005040691,0.006979634],"study_design_scores_gemma":[0.00002348347,0.00001670314,0.0001626518,0.00001879165,0.00002578874,0.0001137705,0.0001766636,0.006226052,0.002294229,0.9886458,0.002264469,0.00003163239],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2463313,0.001429065,0.7094333,0.002342804,0.0005787255,0.000171793,0.0004329597,0.001847028,0.03743301],"genre_scores_gemma":[0.9018139,0.0004323862,0.08367602,0.0005246108,0.0002882292,0.0001214617,0.0003904761,0.0005270324,0.01222601],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007178601,"threshold_uncertainty_score":0.03056633,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01895091401367209,"score_gpt":0.2386158930023649,"score_spread":0.2196649789886928,"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."}}