{"id":"W2227967139","doi":"","title":"Generalizing CASL Specification Components and Preserving Rewrite Proofs","year":2003,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Business Process Modeling and Analysis","field":"Business, Management and Accounting","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Mathematical proof; Component (thermodynamics); Computer science; Generalization; Parameterized complexity; Programming language; Soundness; Set (abstract data type); Specification language; Theoretical computer science; Mathematics; Algorithm","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.008914665,0.001002333,0.0008296434,0.002104002,0.0008126833,0.003569301,0.003009768,0.001198096,0.002911686],"category_scores_gemma":[0.01970677,0.001382,0.00217689,0.001079419,0.004274053,0.00602409,0.004732089,0.003100755,0.001385954],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00204622,"about_ca_system_score_gemma":0.002919935,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002909975,"about_ca_topic_score_gemma":0.002955256,"domain_scores_codex":[0.9922864,0.002035448,0.0008877627,0.001362123,0.002863631,0.0005645312],"domain_scores_gemma":[0.9830335,0.005742035,0.001098233,0.007733923,0.002143773,0.0002484572],"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.0001221673,0.0001165915,0.001540027,0.0005508852,0.0001229354,0.001183009,0.002423464,0.03385418,0.02536625,0.7742534,0.002692172,0.157775],"study_design_scores_gemma":[0.0001734286,0.000213335,0.0006311535,0.000221869,0.000288894,0.001450793,0.0004705949,0.270016,0.1163433,0.4770083,0.1330208,0.0001617189],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007246192,0.00009063317,0.986279,0.0001676672,0.00002581592,0.0002168325,0.00006392841,0.002697033,0.003213018],"genre_scores_gemma":[0.1482105,0.0002239552,0.8456331,0.0002417326,0.0000500636,0.0003537658,0.0003484705,0.0009986805,0.003939608],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008914665,"threshold_uncertainty_score":0.04714584,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02523436575119592,"score_gpt":0.2083741810118939,"score_spread":0.183139815260698,"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."}}