{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003186825,0.0008297635,0.001145089,0.001660682,0.0006569808,0.005027178,0.00223619,0.001285623,0.003151874],"category_scores_gemma":[0.01438272,0.001106353,0.002690415,0.001694706,0.002444932,0.005374768,0.003198294,0.002252418,0.001009134],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001078765,"about_ca_system_score_gemma":0.001223703,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001580597,"about_ca_topic_score_gemma":0.001661482,"domain_scores_codex":[0.9958137,0.0007482821,0.0004519564,0.0009572417,0.001596811,0.0004321444],"domain_scores_gemma":[0.9911163,0.00420765,0.0006977114,0.002651537,0.0011271,0.0001996538],"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.0006367009,0.0003300207,0.006718854,0.001095373,0.0003728475,0.001892558,0.002872307,0.1567003,0.03109327,0.5977908,0.002604389,0.1978924],"study_design_scores_gemma":[0.0001055766,0.0001760187,0.001142017,0.0001134292,0.0002090402,0.0006252201,0.0002292534,0.2875909,0.02916254,0.6708372,0.009739766,0.00006909591],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1082617,0.0003801247,0.8842879,0.0001797308,0.00005360285,0.0001964186,0.0002945771,0.00187277,0.004473208],"genre_scores_gemma":[0.4122471,0.0003858186,0.5773802,0.0001741355,0.0001454687,0.0002541894,0.001700348,0.0009543258,0.006758383],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005027178,"threshold_uncertainty_score":0.01685375,"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."}}