{"id":"W2000222614","doi":"10.1145/371282.371388","title":"Logics capturing local properties","year":2001,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Locality; Mathematics; Characterization (materials science); Bounded function; Isomorphism (crystallography); Hierarchy; Expressive power; Discrete mathematics; Statement (logic); Pure mathematics; Theoretical computer science; Computer science; Linguistics","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.002559462,0.0005739669,0.0006063213,0.001502055,0.001576433,0.002634881,0.00161999,0.00106295,0.002928562],"category_scores_gemma":[0.005431212,0.0006041382,0.001477101,0.001106137,0.004513236,0.009289536,0.004078378,0.002594475,0.0003948307],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002377943,"about_ca_system_score_gemma":0.001104239,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00184694,"about_ca_topic_score_gemma":0.002426665,"domain_scores_codex":[0.9976954,0.0006149486,0.0001745722,0.0005972386,0.0005605198,0.0003572979],"domain_scores_gemma":[0.9956084,0.002114292,0.0003643882,0.001135846,0.0005309381,0.0002462556],"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.00003814391,0.00002640791,0.0006709169,0.00008208545,0.00001608935,0.0001826557,0.0006441954,0.002993805,0.003407511,0.9775643,0.000583312,0.01379067],"study_design_scores_gemma":[0.00002414975,0.00004004079,0.0004035201,0.00003570136,0.00004888927,0.0003190831,0.0002885135,0.02218417,0.005982453,0.9613389,0.009307149,0.00002749274],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1372717,0.0006681592,0.817848,0.001312793,0.00008050692,0.0001439766,0.0005191865,0.001756381,0.04039939],"genre_scores_gemma":[0.8508167,0.0002705692,0.1411841,0.0004950821,0.0001036236,0.0001615458,0.0003550408,0.0001481807,0.006465028],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002928562,"threshold_uncertainty_score":0.01725328,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06790359646617276,"score_gpt":0.2596512324328837,"score_spread":0.191747635966711,"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."}}