{"id":"W2395895598","doi":"10.1016/s1571-0661(05)80579-1","title":"Preface","year":2001,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Programming language; Computer science; Metalanguage; Semantics (computer science); Variable (mathematics); Operational semantics; ENCODE; Theoretical computer science; Mathematics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001447542,0.001018125,0.0009943158,0.002658274,0.002566784,0.005116653,0.001836939,0.001989757,0.5570099],"category_scores_gemma":[0.008043495,0.0004797781,0.0008310213,0.002793476,0.0008158681,0.004629465,0.003066962,0.003011892,0.3913477],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002566367,"about_ca_system_score_gemma":0.002673234,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003426786,"about_ca_topic_score_gemma":0.0042031,"domain_scores_codex":[0.9986395,0.0002073646,0.0001177547,0.00029938,0.0006004392,0.0001355418],"domain_scores_gemma":[0.9968946,0.0005365488,0.00013973,0.000461514,0.001521592,0.0004459323],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00004265638,0.00002696222,0.0001682029,0.0001652619,0.000004427175,0.00005888686,0.0001467128,0.0001175402,0.0001789408,0.01491829,0.9255763,0.05859588],"study_design_scores_gemma":[0.000003476406,0.00001144127,0.0002120667,0.00009203298,0.000001478462,0.00005003036,0.00007767349,0.00003730677,0.00006567472,0.003393285,0.9960511,0.000004438909],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"editorial","genre_scores_codex":[0.001377189,0.009229353,0.009340804,0.0185185,0.045675,0.0004474741,0.01232818,0.002058963,0.9010245],"genre_scores_gemma":[0.007274597,0.005319023,0.004110636,0.004291115,0.006048562,0.0002550828,0.0127175,0.001119962,0.9588634],"genre_candidate":"editorial","genre_consensus":null,"teacher_disagreement_score":0.5570099,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00990933206034021,"score_gpt":0.2518749352248162,"score_spread":0.241965603164476,"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."}}