{"id":"W2021429311","doi":"10.48550/arxiv.cs/0507064","title":"Termination of rewriting strategies: a generic approach","year":2005,"lang":"en","type":"article","venue":"ArXiv.org","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Rewriting; Inference; Rule of inference; Property (philosophy); Mathematical induction; Computer science; Relation (database); Theoretical computer science; Mathematics; Programming language; Algorithm; Artificial intelligence; Data mining","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.0002968857,0.00009319054,0.0001341383,0.0000641168,0.00006936386,0.00007545597,0.0004412253,0.00005648794,0.000004950039],"category_scores_gemma":[0.00002129632,0.00008053741,0.00005074046,0.0002778241,0.00003531044,0.0005201299,0.00008841207,0.0000730165,0.00004621737],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002634791,"about_ca_system_score_gemma":0.0000521226,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000453117,"about_ca_topic_score_gemma":0.000007151848,"domain_scores_codex":[0.9990792,0.0000489534,0.0002432885,0.0002562977,0.0001707318,0.0002015724],"domain_scores_gemma":[0.9993706,0.00002361489,0.0001461352,0.0003431623,0.00007412728,0.00004241242],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.000006442403,0.0005263319,0.1925571,0.0003204637,0.00006157719,0.00002065614,0.008414447,0.0007093226,0.01780413,0.477349,0.0006074195,0.3016231],"study_design_scores_gemma":[0.003650445,0.001177493,0.4912333,0.00008805246,0.00008611058,0.0003741365,0.008348258,0.3246112,0.052856,0.01581168,0.09918376,0.002579594],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5720002,0.0002752732,0.3951945,0.0001305729,0.0001570253,0.0001694469,2.100371e-7,0.0001654903,0.03190726],"genre_scores_gemma":[0.9870018,0.000006481484,0.0123688,0.00006048524,0.000212676,0.00001659596,0.000002460415,0.000006422682,0.000324222],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4615373,"threshold_uncertainty_score":0.3284221,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05373438461984747,"score_gpt":0.2651345030539841,"score_spread":0.2114001184341366,"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."}}