{"id":"W4411169467","doi":"10.1007/s11047-025-10022-z","title":"Algorithms for maximal existential and universal width","year":2025,"lang":"en","type":"article","venue":"Natural Computing","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Existentialism; Theory of computation; Computer science; Mathematics; Algorithm; Epistemology; Philosophy","routes":{"ca_aff":true,"ca_fund":true,"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.004350919,0.001850586,0.001965824,0.003068098,0.002886275,0.007929035,0.006311693,0.002640981,0.02231616],"category_scores_gemma":[0.02369663,0.001930293,0.004271833,0.004003125,0.004256367,0.03274529,0.01100175,0.006309083,0.004078615],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003860318,"about_ca_system_score_gemma":0.002791379,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001915149,"about_ca_topic_score_gemma":0.003179035,"domain_scores_codex":[0.9954833,0.0009385623,0.0004326859,0.001612952,0.0009132837,0.0006193023],"domain_scores_gemma":[0.9834953,0.01006773,0.0004487231,0.004218282,0.001115753,0.0006542172],"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.0004674787,0.0001581642,0.0009525358,0.000411802,0.00007604108,0.00004307595,0.0009768361,0.00869735,0.002278187,0.8281456,0.009441114,0.1483518],"study_design_scores_gemma":[0.00005572838,0.00002047483,0.0001056524,0.00006935404,0.00006760778,0.00005528405,0.0002047184,0.02929659,0.003223683,0.9611186,0.00575474,0.00002739093],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03009341,0.0007111982,0.9491393,0.001502859,0.000212611,0.0001856055,0.0006714783,0.004249524,0.01323404],"genre_scores_gemma":[0.2832246,0.0006364021,0.6971912,0.0006376645,0.0003019795,0.0004860205,0.001709321,0.002378192,0.01343455],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02231616,"threshold_uncertainty_score":0.074655,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01066938325092859,"score_gpt":0.2648285221914973,"score_spread":0.2541591389405687,"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."}}