{"id":"W2000194783","doi":"10.1016/j.tcs.2013.07.005","title":"Linear circuits, two-variable logic and weakly blocked monoids","year":2013,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Mathematics; Predicate (mathematical logic); Closure (psychology); Discrete mathematics; Class (philosophy); Algebraic number; Predicate logic; First-order logic; Variable (mathematics); Expressive power; Predicate variable; Electronic circuit; Algorithm; Arithmetic; Computer science; Zeroth-order logic; Theoretical computer science; Multimodal logic; Programming language","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.00139117,0.0002509682,0.0002735731,0.0001747964,0.0004764783,0.000893096,0.00256421,0.00006802982,0.0001715993],"category_scores_gemma":[0.00009083784,0.0001947006,0.00004719376,0.001123754,0.002573901,0.001221075,0.001684428,0.0002455518,0.0003239163],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003762617,"about_ca_system_score_gemma":0.0001060794,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002490729,"about_ca_topic_score_gemma":1.580274e-7,"domain_scores_codex":[0.9972569,0.0001234181,0.0003106419,0.0009470259,0.0005683284,0.0007936715],"domain_scores_gemma":[0.9979327,0.0003279634,0.00007170355,0.00102764,0.0002004736,0.0004395334],"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":[8.313075e-7,0.00004013874,0.00003964911,0.000005751356,0.000003222221,0.000005595945,0.0001661836,0.00006914788,0.005030312,0.9438837,0.00009416245,0.05066133],"study_design_scores_gemma":[0.0001713082,0.0001052199,0.000578847,0.00001677424,0.000002686581,0.00005448003,0.00000590539,0.5505459,0.001925868,0.4463074,0.00008502174,0.0002005043],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09775909,0.00007792944,0.8949532,0.001394488,0.0004588566,0.0002362865,0.00000100024,0.0003874595,0.004731722],"genre_scores_gemma":[0.7668282,0.000005373187,0.231324,0.001653405,0.0001370759,0.00001338366,4.709509e-7,0.000008589596,0.00002951531],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6690691,"threshold_uncertainty_score":0.9483645,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00827689966408616,"score_gpt":0.2272841832801425,"score_spread":0.2190072836160563,"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."}}