{"id":"W2129999028","doi":"10.1007/s00012-003-1824-2","title":"Valuations of terms","year":2003,"lang":"en","type":"article","venue":"Algebra Universalis","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Lethbridge","funders":"","keywords":"Mathematics; Valuation (finance); Universal algebra; Term (time); Algebra over a field; Lattice (music); Type (biology); Complete lattice; Pure mathematics","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.002921307,0.000611913,0.0009276956,0.002843805,0.002215942,0.00864876,0.001267648,0.001023321,0.008005849],"category_scores_gemma":[0.006527751,0.0007528225,0.001193519,0.002722537,0.004698055,0.01496028,0.003319667,0.00325959,0.001582711],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00171804,"about_ca_system_score_gemma":0.0008651526,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005969549,"about_ca_topic_score_gemma":0.0004845873,"domain_scores_codex":[0.9971512,0.0009277665,0.0002190255,0.0005623905,0.0007219481,0.0004177176],"domain_scores_gemma":[0.9973179,0.001168046,0.0001946024,0.0005714377,0.000445601,0.0003024378],"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.00001959218,0.000008224279,0.0001730565,0.00001666491,0.000006272432,0.00003111525,0.0002402077,0.0001266696,0.0003638149,0.9932214,0.0006285744,0.005164423],"study_design_scores_gemma":[0.00001094773,0.000009101388,0.0001262047,0.00001829077,0.00001343174,0.00007800813,0.0001565819,0.0007945807,0.0005681006,0.9881412,0.01007604,0.000007592581],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1802228,0.00897496,0.5418046,0.006311669,0.001496023,0.000188642,0.002152034,0.001281825,0.2575676],"genre_scores_gemma":[0.9097232,0.002834203,0.04419165,0.0005244551,0.001155411,0.0001244432,0.001143857,0.0002626345,0.04004018],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00864876,"threshold_uncertainty_score":0.02678227,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02105922557954956,"score_gpt":0.2339055139299187,"score_spread":0.2128462883503692,"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."}}