{"id":"W2613955803","doi":"","title":"Rewriting and Multisets in Rho-calculus and ELAN","year":2001,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Rewriting; Confluence; Lambda calculus; Syntax; Computer science; Semantics (computer science); Calculus (dental); Simple (philosophy); Programming language; Typed lambda calculus; Operational semantics; Simply typed lambda calculus; Mathematics; Artificial intelligence","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.00427029,0.0005316931,0.0008484065,0.001372348,0.002038437,0.003515699,0.001129914,0.001358305,0.003537199],"category_scores_gemma":[0.003394689,0.0005229997,0.001355589,0.00126296,0.006360719,0.005815712,0.003491735,0.003348803,0.001194638],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002047824,"about_ca_system_score_gemma":0.001693083,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002047842,"about_ca_topic_score_gemma":0.001604879,"domain_scores_codex":[0.9960669,0.001352676,0.0003011532,0.0006411172,0.001248773,0.0003894139],"domain_scores_gemma":[0.9983882,0.0007713756,0.0001467524,0.0003447179,0.0002370275,0.0001118891],"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.000005142732,0.000004494825,0.00002388647,0.0000128285,0.000002362157,0.00004967137,0.0001828916,0.0003865313,0.0002400813,0.9960777,0.0002809594,0.002733444],"study_design_scores_gemma":[0.000009239883,0.00001254474,0.0000735481,0.00001717588,0.000007899915,0.0001086894,0.00005862206,0.002976485,0.00120675,0.9723594,0.02315122,0.00001842673],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02538511,0.005404624,0.8366282,0.003205697,0.001000648,0.0001240701,0.0002180678,0.001041079,0.1269925],"genre_scores_gemma":[0.528721,0.003040754,0.4053947,0.002324925,0.001292531,0.0004700714,0.0003043028,0.0006079714,0.05784377],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00427029,"threshold_uncertainty_score":0.02258372,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01160930059436994,"score_gpt":0.2341510372011131,"score_spread":0.2225417366067432,"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."}}