{"id":"W4300724127","doi":"","title":"Canonized Rewriting and Ground AC Completion Modulo Shostak Theories","year":2001,"lang":"en","type":"article","venue":"","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; Modulo; Physics; Computer science; Programming language; Mathematics; Discrete mathematics","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.00291763,0.0006527204,0.0009200146,0.001212517,0.001032429,0.002650922,0.001632256,0.0007516934,0.00477316],"category_scores_gemma":[0.006908149,0.0006520965,0.001710691,0.001090768,0.003781387,0.005297873,0.003386703,0.002331628,0.001081183],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001762709,"about_ca_system_score_gemma":0.002977275,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003192463,"about_ca_topic_score_gemma":0.004776907,"domain_scores_codex":[0.9963065,0.0009406769,0.0002730732,0.0009547057,0.001044755,0.0004802178],"domain_scores_gemma":[0.9956971,0.002134186,0.0003131512,0.001077862,0.0005416219,0.0002360615],"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.000238104,0.0001507269,0.001105034,0.0003244084,0.00006569978,0.0002462719,0.0007782279,0.01631938,0.01076141,0.826284,0.002931206,0.1407955],"study_design_scores_gemma":[0.0001028996,0.0001381709,0.0004625789,0.00008291696,0.00008764744,0.0002870677,0.0002774594,0.1658546,0.05083951,0.7623751,0.01941469,0.00007732131],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04887445,0.0001908733,0.9384732,0.0003388969,0.00006602654,0.0002445716,0.0001636784,0.002658841,0.008989498],"genre_scores_gemma":[0.4257208,0.0002558411,0.5631971,0.0002233421,0.0001055175,0.0001595106,0.000719246,0.0005910875,0.009027533],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00477316,"threshold_uncertainty_score":0.01596785,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02755268820036772,"score_gpt":0.2499896634346631,"score_spread":0.2224369752342953,"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."}}