{"id":"W2306945352","doi":"","title":"Computing Constructor Forms with Non Terminating Rewrite Programs - Extended version -","year":2006,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Rewriting; Normalization property; Term (time); Computer science; Programming language; Completeness (order theory); Property (philosophy); Satisfiability; Constructive proof; Constructive; Theoretical computer science; Mathematics; Discrete mathematics; Process (computing)","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.002393736,0.0002199172,0.0002330262,0.0001179502,0.0005445938,0.0006744034,0.001030762,0.00009791108,0.00001120042],"category_scores_gemma":[0.0001055671,0.00018252,0.000088281,0.000581497,0.0001978146,0.0004537774,0.0004146362,0.0002045637,0.00003280576],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007303757,"about_ca_system_score_gemma":0.00009996584,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00103353,"about_ca_topic_score_gemma":0.0005804308,"domain_scores_codex":[0.9973361,0.0008436951,0.0003810974,0.0005760051,0.0004237977,0.0004393391],"domain_scores_gemma":[0.9972216,0.0003355684,0.0003851592,0.001076752,0.0008646523,0.000116191],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000006778901,0.000376784,0.01368373,0.00008181658,0.00002166162,0.00002233792,0.003137341,0.0000102707,0.001697595,0.5931485,0.000171346,0.3876419],"study_design_scores_gemma":[0.01118324,0.00004483648,0.09901697,0.003219142,0.0001407104,0.001070849,0.00223946,0.5045067,0.1814702,0.05656302,0.136188,0.004356789],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1369189,0.0001195181,0.7711434,0.0008761498,0.0001488959,0.0004594996,0.000001041483,0.0004836113,0.08984901],"genre_scores_gemma":[0.9002276,0.000004530538,0.09749985,0.00003092045,0.00002116107,0.00001505735,0.00005613813,0.00001758926,0.002127131],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7633087,"threshold_uncertainty_score":0.7442949,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008205276416658585,"score_gpt":0.2078227075136197,"score_spread":0.1996174310969611,"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."}}