{"id":"W2951958096","doi":"10.1142/s0129054120410075","title":"The Intersection Problem for Finite Semigroups","year":2020,"lang":"en","type":"preprint","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Deutsche Forschungsgemeinschaft","keywords":"Decidability; Special classes of semigroups; Intersection (aeronautics); Mathematics; Commutative property; Semigroup; Complexity class; Monoid; Bounded function; Class (philosophy); Word problem (mathematics education); Discrete mathematics; Morphism; Order (exchange); Krohn–Rhodes theory; Pure mathematics; Time complexity; Computer science; Arithmetic","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":["scholarly_communication","open_science"],"consensus_categories":[],"category_scores_codex":[0.002024889,0.0001892808,0.0002786378,0.0003774844,0.0002865948,0.00139755,0.007796998,0.00006848982,0.00000311906],"category_scores_gemma":[0.0004024793,0.0001415663,0.0003289887,0.0004387872,0.0004609665,0.001217641,0.002117803,0.0004087227,0.000004138383],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002364924,"about_ca_system_score_gemma":0.001197206,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001006214,"about_ca_topic_score_gemma":0.000004132378,"domain_scores_codex":[0.9971196,0.00006782874,0.001007927,0.0003870745,0.001196995,0.0002205874],"domain_scores_gemma":[0.9936435,0.0008952591,0.001727567,0.000518803,0.003102147,0.0001127564],"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.00009225533,0.000191873,0.00009081492,0.00006183752,0.0003850197,0.00001348319,0.002704872,0.02992892,0.002274938,0.4819533,0.003465848,0.4788369],"study_design_scores_gemma":[0.0004206474,0.000274842,0.0005650357,0.0003313241,0.00002144885,0.0001013478,0.00003901832,0.6960788,0.002210208,0.2917582,0.008004596,0.000194459],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003818092,0.0001009098,0.9771605,0.009301853,0.009141371,0.0002424441,0.00001534467,0.00003725436,0.0001823035],"genre_scores_gemma":[0.6331565,0.00005653689,0.3656468,0.0002658942,0.0008288478,0.0000133166,0.000005355836,0.000008697428,0.00001806091],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6661499,"threshold_uncertainty_score":0.9996391,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02632932462093096,"score_gpt":0.3082218627228592,"score_spread":0.2818925381019283,"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."}}