{"id":"W72689024","doi":"10.1007/978-1-4614-1695-1_26","title":"Decidable Containment Problems of Rational Word Relations","year":2011,"lang":"en","type":"book-chapter","venue":"Lecture notes in electrical engineering","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec en Outaouais","funders":"","keywords":"Decidability; Containment (computer programming); Relation (database); Word (group theory); Rational number; Mathematics; Prefix; Closure (psychology); Arity; Constant (computer programming); Commutative property; Combinatorics; Discrete mathematics; Computer science; Linguistics; Programming language; Law; Philosophy","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0001732894,0.0002589939,0.0003468016,0.0003287434,0.00002850022,0.00002700738,0.000473464,0.0003013079,0.0001007131],"category_scores_gemma":[0.000136272,0.0002476063,0.0001060489,0.0002075028,0.00001940184,0.0001146054,0.00009584489,0.0005768533,0.00001609753],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000177127,"about_ca_system_score_gemma":0.00008820398,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001184669,"about_ca_topic_score_gemma":0.000008283332,"domain_scores_codex":[0.998673,0.00001029506,0.0004119391,0.0003472971,0.0002717272,0.0002857432],"domain_scores_gemma":[0.9989306,0.0004766497,0.0001290417,0.0003532924,0.00004908625,0.00006137445],"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.000005271737,0.00003063489,0.00001812084,0.0000359089,0.0000454617,0.00001262694,0.0001584775,0.07250068,0.0008064635,0.8886299,0.00003389472,0.03772258],"study_design_scores_gemma":[0.0004374216,0.0001846686,0.0002283236,0.000467299,0.00002793932,0.00003185281,1.028336e-7,0.4071348,0.003569228,0.5737588,0.01344343,0.0007160913],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00003587695,0.001946379,0.9869381,0.000105743,0.0001459866,0.0002541471,0.00000269393,0.0001233523,0.01044769],"genre_scores_gemma":[0.8600271,0.000224585,0.1328957,0.0002569526,0.0002955862,0.00009720367,0.00004335786,0.000132345,0.006027158],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8599913,"threshold_uncertainty_score":0.9999976,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008888405961319621,"score_gpt":0.186229898492712,"score_spread":0.1773414925313924,"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."}}