{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002541485,0.0001804887,0.00019434,0.0002146428,0.0005144204,0.0006772242,0.0003526779,0.00007300769,0.00009739064],"category_scores_gemma":[0.000787541,0.0001852455,0.00006529695,0.000630261,0.00008210394,0.0007467108,0.0001973385,0.000147422,0.00004146873],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002386603,"about_ca_system_score_gemma":0.00002414133,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001159317,"about_ca_topic_score_gemma":0.0003588581,"domain_scores_codex":[0.9983454,0.0003481289,0.0003296995,0.0004552978,0.0002684346,0.0002530724],"domain_scores_gemma":[0.9975848,0.0001437983,0.0002884158,0.0006608502,0.001291087,0.0000310594],"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.00002147227,0.0007841178,0.08581661,0.0008186416,0.0001077046,0.000008574224,0.002332472,0.0005163963,0.04100253,0.8002666,0.001638251,0.06668662],"study_design_scores_gemma":[0.002385466,2.978142e-7,0.03425039,0.002298057,0.0003187688,0.00002567187,0.0006686589,0.6685511,0.02395955,0.03882629,0.2270226,0.001693131],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6911288,0.001879033,0.1772048,0.009836147,0.0001448514,0.0003266447,0.000003405812,0.0003746916,0.1191016],"genre_scores_gemma":[0.9885338,0.0001578284,0.008426982,0.0002304734,0.00005609616,0.00002119068,0.00008559592,0.00003119021,0.002456862],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7614403,"threshold_uncertainty_score":0.7554091,"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."}}