{"id":"W2913482449","doi":"10.1145/3568025","title":"Canonisation and Definability for Graphs of Bounded Rank Width","year":2022,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Bounded function; Mathematics; Rank (graph theory); Treewidth; Discrete mathematics; Combinatorics; Pathwidth; Graph; Mathematical analysis","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.001614872,0.0008220683,0.0008349753,0.001365367,0.001271486,0.003291936,0.001987209,0.001007246,0.01003496],"category_scores_gemma":[0.01185345,0.0005989893,0.00228318,0.001312337,0.003363533,0.008073947,0.003152364,0.003423034,0.0006854016],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002773875,"about_ca_system_score_gemma":0.001616547,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003788721,"about_ca_topic_score_gemma":0.004117005,"domain_scores_codex":[0.9971178,0.0005016503,0.0001372137,0.001026079,0.0006132401,0.0006040921],"domain_scores_gemma":[0.9899021,0.006627817,0.0007342431,0.001724137,0.000512359,0.0004992341],"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.0005225691,0.0004308532,0.004679468,0.0004026866,0.00008610987,0.0003293012,0.001304076,0.02266532,0.01029789,0.8978443,0.004669769,0.05676777],"study_design_scores_gemma":[0.00009562491,0.0001361794,0.001520841,0.00004515153,0.0001102507,0.0002193672,0.0003549066,0.06199251,0.01303326,0.9169607,0.005470875,0.00006041107],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6174412,0.0003936802,0.3401637,0.002274509,0.0001155203,0.000198178,0.001153431,0.003147484,0.03511231],"genre_scores_gemma":[0.9352975,0.0002035759,0.054382,0.0004846646,0.0000942189,0.0001138573,0.001978366,0.0003652365,0.007080422],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01003496,"threshold_uncertainty_score":0.03357023,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04209192692137793,"score_gpt":0.3101518114053621,"score_spread":0.2680598844839842,"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."}}