{"id":"W2053801514","doi":"10.1093/jigpal/9.3.377","title":"The rewriting calculus - part II","year":2001,"lang":"en","type":"article","venue":"Logic Journal of IGPL","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":37,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Rewriting; Calculus (dental); Computer science; Programming language; Mathematics; Medicine","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.00138847,0.0005441484,0.0005848308,0.0006891647,0.0009828593,0.003659118,0.0009469038,0.001203007,0.009075807],"category_scores_gemma":[0.001613952,0.000400856,0.001081191,0.0008246691,0.002383998,0.002461454,0.001211439,0.002081717,0.004502783],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001092391,"about_ca_system_score_gemma":0.001328449,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001426646,"about_ca_topic_score_gemma":0.000707906,"domain_scores_codex":[0.9985536,0.0003305451,0.0001507592,0.0003583796,0.0004374048,0.0001692914],"domain_scores_gemma":[0.9994701,0.0001880465,0.00004139178,0.000144781,0.0001216928,0.00003416434],"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.0000132986,0.00001891294,0.0002109161,0.0001352754,0.00001534198,0.000137472,0.0002330016,0.001152446,0.00213388,0.9539132,0.007601538,0.03443475],"study_design_scores_gemma":[0.00001294542,0.00004400143,0.0005492428,0.00008847557,0.00002666564,0.0007000392,0.00006261228,0.003934307,0.003994566,0.6610414,0.3295205,0.00002537831],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01197193,0.02598436,0.6736201,0.005166312,0.003078894,0.0004967526,0.001595084,0.001920088,0.2761664],"genre_scores_gemma":[0.3578853,0.01745827,0.3737131,0.005285196,0.003876292,0.0008827706,0.002265948,0.001032606,0.2376005],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009075807,"threshold_uncertainty_score":0.03036165,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03481364253707325,"score_gpt":0.2644323752274309,"score_spread":0.2296187326903577,"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."}}