{"id":"W2084344766","doi":"10.1007/s00153-009-0136-4","title":"The equivalence of theories that characterize ALogTime","year":2009,"lang":"en","type":"article","venue":"Archive for Mathematical Logic","topic":"semigroups and automata theory","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Word problem (mathematics education); Permutation (music); Equivalence (formal languages); Combinatorics; Equivalence relation; Discrete mathematics; Characterization (materials science); Algebra over a field; Pure mathematics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003550519,0.0007719395,0.001615881,0.003407611,0.004559824,0.009455827,0.002985641,0.002960062,0.01571176],"category_scores_gemma":[0.01859668,0.001145473,0.002628846,0.003199507,0.007861678,0.03023227,0.0052935,0.007923265,0.001917132],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002402376,"about_ca_system_score_gemma":0.00181467,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001477061,"about_ca_topic_score_gemma":0.001317842,"domain_scores_codex":[0.9942848,0.001529991,0.0005135675,0.001321928,0.001239749,0.001109921],"domain_scores_gemma":[0.9810311,0.01041022,0.001431994,0.003689968,0.002203525,0.001233125],"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.00008030273,0.00009959043,0.0004530884,0.00003512981,0.00001404625,0.00006883089,0.0007014306,0.0005441828,0.000393687,0.9906207,0.00119363,0.005795339],"study_design_scores_gemma":[0.00002606016,0.00002022538,0.0002340166,0.00001432534,0.00001456737,0.00007645435,0.0002568324,0.002163506,0.0005433623,0.9936463,0.002993006,0.00001134876],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3063827,0.001579702,0.4993343,0.009704258,0.0009036163,0.0004201281,0.003794458,0.002538046,0.1753428],"genre_scores_gemma":[0.9434381,0.0003595627,0.04014208,0.001185462,0.0004821976,0.0002675929,0.002526687,0.0005014693,0.01109683],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01571176,"threshold_uncertainty_score":0.05256104,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0286124315755724,"score_gpt":0.2647288471045348,"score_spread":0.2361164155289624,"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."}}