{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001980272,0.00006514985,0.00009734298,0.00007886127,0.00005927464,0.00003235784,0.0003700548,0.00003833355,0.00005289055],"category_scores_gemma":[0.00004005926,0.0000581211,0.00005422102,0.0003318386,0.00004216258,0.00026489,0.00004341637,0.00003980308,0.00005016509],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002072642,"about_ca_system_score_gemma":0.00005696284,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009638368,"about_ca_topic_score_gemma":0.00001486964,"domain_scores_codex":[0.999341,0.00008119332,0.0001174503,0.0001624076,0.0001603931,0.0001375517],"domain_scores_gemma":[0.9993949,0.00004255758,0.0000751185,0.0003708281,0.00006728011,0.00004930685],"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":[3.238473e-7,0.00002365416,0.0009510012,0.000004147675,0.00001360335,0.00000447907,0.0007274008,0.000006182586,0.0001414153,0.9947364,0.0006165264,0.002774865],"study_design_scores_gemma":[0.001567943,0.0003698719,0.003961268,0.00001076106,0.0000602902,0.00005833574,0.0008855802,0.002560871,0.0189159,0.5666432,0.4043325,0.0006335006],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009974287,0.0001263619,0.8138172,0.0002099376,0.0005498543,0.0001892072,9.847458e-7,0.0001595369,0.1749726],"genre_scores_gemma":[0.9945058,0.000005503907,0.004259914,0.00005087817,0.00001356101,0.000001798711,0.000001751371,0.000003905396,0.001156906],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9845315,"threshold_uncertainty_score":0.237011,"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."}}