{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001194095,0.00008784307,0.0001684591,0.0001025077,0.0001277297,0.00005477787,0.0003018115,0.0000539109,0.000002866495],"category_scores_gemma":[0.00006844823,0.00004744955,0.00003276417,0.0002871167,0.0002400259,0.0003200068,0.00004809794,0.000258148,7.46852e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001073865,"about_ca_system_score_gemma":0.0001172193,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003722209,"about_ca_topic_score_gemma":0.0001067666,"domain_scores_codex":[0.9990842,0.00008737644,0.0003605512,0.00008806344,0.0002261448,0.0001536174],"domain_scores_gemma":[0.9991192,0.0001552566,0.0004014554,0.0001495107,0.0001275088,0.00004703259],"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.0000298039,0.00006794045,0.01468509,0.00001791637,0.00002136857,0.00001772422,0.003590514,0.00002810809,0.0006257928,0.9466055,0.000006104634,0.03430412],"study_design_scores_gemma":[0.002900125,0.00179079,0.09308285,0.00006590222,0.00008265572,0.003619889,0.003483227,0.001309703,0.0009376711,0.8839134,0.008342486,0.0004713148],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5975649,0.0003748316,0.4008316,0.0005927467,0.0001861922,0.0001624719,1.265876e-7,0.00001515631,0.0002719501],"genre_scores_gemma":[0.9713807,0.00001434291,0.02850583,0.00002210488,0.00005565957,0.000003593821,5.562844e-7,0.000003049557,0.00001416814],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3738157,"threshold_uncertainty_score":0.1934936,"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."}}