{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001367342,0.0001734414,0.0001445371,0.0001839265,0.0004451187,0.0001330914,0.0009156084,0.00006444129,0.00008608264],"category_scores_gemma":[0.00001767685,0.0001502632,0.000117597,0.0005154359,0.0001432374,0.0003471963,0.00003134787,0.0002554287,0.0001747004],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000634964,"about_ca_system_score_gemma":0.00006220731,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002739048,"about_ca_topic_score_gemma":0.00001374701,"domain_scores_codex":[0.9986635,0.00006620259,0.0002327652,0.0003918049,0.0003795653,0.0002661652],"domain_scores_gemma":[0.9990811,0.0002216726,0.0000490342,0.0004424902,0.0001171348,0.00008850553],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001565019,0.000236148,0.00002199656,0.000007622528,0.00003251152,0.00003752799,0.0002139755,0.7678852,0.00001773398,0.05903503,0.00004926297,0.1724473],"study_design_scores_gemma":[0.0003917665,0.0001966517,0.001383903,0.00002820036,0.00001025491,0.0002310134,0.00006939051,0.5433894,0.0002535824,0.4515345,0.002196326,0.000315076],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002816859,0.000105362,0.9914817,0.003613497,0.0003883759,0.00012808,0.000004306659,0.0003534816,0.00110831],"genre_scores_gemma":[0.8264866,0.00001700063,0.1721672,0.001090265,0.00003890662,0.00002043007,0.000003905107,0.000006972938,0.0001687486],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8236697,"threshold_uncertainty_score":0.6127557,"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."}}