{"id":"W2149642761","doi":"10.2307/2695103","title":"Number of variables is equivalent to space","year":2001,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"semigroups and automata theory","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Arity; Mathematics; Set (abstract data type); Sequence (biology); PSPACE; Discrete mathematics; Space (punctuation); Turing; Quantifier (linguistics); DSPACE; Universe; Combinatorics; Computational complexity theory; Algorithm; Computer science; Artificial intelligence","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.0006166722,0.0001044407,0.000287859,0.0001147359,0.00003478687,0.0000517538,0.0008715022,0.00004865395,0.0003142703],"category_scores_gemma":[0.00005805594,0.00007511921,0.0001243008,0.0004022226,0.00002620311,0.0002837069,0.0001838644,0.0001174932,0.00008513418],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000035528,"about_ca_system_score_gemma":0.00006352983,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000014187,"about_ca_topic_score_gemma":2.831368e-7,"domain_scores_codex":[0.9988349,0.00005297758,0.0004027859,0.0001306232,0.0003544312,0.0002242541],"domain_scores_gemma":[0.9989681,0.00009306929,0.0003147231,0.0003190796,0.0001613005,0.00014368],"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.00008288222,0.0007058302,0.01538654,0.0000718175,0.0002014298,0.000491665,0.006002048,0.0006446082,0.02917047,0.8693613,0.03761061,0.04027082],"study_design_scores_gemma":[0.002645797,0.001447314,0.04462367,0.0007839345,0.0001143358,0.0086994,0.0008913272,0.005823765,0.03316518,0.8015763,0.09919829,0.001030671],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.711499,0.0004207164,0.2637212,0.006995613,0.0007165393,0.00008655294,0.000001960114,0.00003599022,0.0165224],"genre_scores_gemma":[0.9625824,0.0001450959,0.03475369,0.001754089,0.000206313,7.55024e-7,7.177367e-8,0.000006393365,0.0005511738],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2510834,"threshold_uncertainty_score":0.344104,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02309942492369837,"score_gpt":0.2876486882199243,"score_spread":0.264549263296226,"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."}}