{"id":"W2246357599","doi":"","title":"Rewriting and Multisets in the Rewriting Calculus and ELAN","year":2000,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Rewriting; Confluence; Lambda calculus; Calculus (dental); Church encoding; Syntax; Typed lambda calculus; Mathematics; Simply typed lambda calculus; Simple (philosophy); Programming language; Computer science; Semantics (computer science); Algebra over a field; Pure 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.003265617,0.0006429373,0.0009912787,0.001989757,0.002555162,0.003474778,0.001017311,0.001404703,0.006474106],"category_scores_gemma":[0.004091758,0.0007229049,0.001193319,0.001939573,0.004099213,0.007862106,0.002275941,0.003663869,0.001343558],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002725365,"about_ca_system_score_gemma":0.001105474,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002869706,"about_ca_topic_score_gemma":0.003208688,"domain_scores_codex":[0.9977647,0.0009327016,0.0001747473,0.000358169,0.0005634669,0.0002062371],"domain_scores_gemma":[0.9982433,0.001138632,0.0000970919,0.0001743747,0.0002541825,0.00009243147],"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.00001460433,0.00001070421,0.00006527155,0.00002696844,0.000006707554,0.00006857559,0.0002488059,0.0007872727,0.0001798421,0.9905106,0.001491063,0.0065895],"study_design_scores_gemma":[0.000009081108,0.00001271865,0.0001271572,0.00002869091,0.00001195198,0.0000907224,0.00006348745,0.003376831,0.0003538638,0.9811772,0.01473306,0.00001517234],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05871724,0.05979777,0.5484384,0.01476322,0.005102069,0.00008986949,0.000254319,0.0004869719,0.3123502],"genre_scores_gemma":[0.6780934,0.0147616,0.1289097,0.002347859,0.003278127,0.0001986503,0.000352663,0.0003601956,0.1716979],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006474106,"threshold_uncertainty_score":0.02165806,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01337663928684844,"score_gpt":0.2248860944382192,"score_spread":0.2115094551513707,"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."}}