{"id":"W2921844982","doi":"10.1016/j.dam.2019.02.032","title":"Zero–one laws for <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" display=\"inline\" overflow=\"scroll\" id=\"d1e19\" altimg=\"si6.gif\"><mml:mi>k</mml:mi></mml:math>-variable first-order logic of sparse random graphs","year":2019,"lang":"en","type":"article","venue":"Discrete Applied Mathematics","topic":"Limits and Structures in Graph Theory","field":"Mathematics","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Regina","funders":"Russian Science Foundation","keywords":"Mathematics; Graph; Order (exchange); Zero (linguistics); Scroll; Algorithm; Discrete mathematics; Combinatorics; Philosophy; Theology","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.002048143,0.0006105783,0.0006038034,0.001934233,0.002409818,0.0045585,0.001300859,0.001288325,0.02751702],"category_scores_gemma":[0.006633523,0.0005239914,0.001533645,0.001121976,0.004465655,0.00947668,0.001777255,0.005148699,0.005719214],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002415187,"about_ca_system_score_gemma":0.00118024,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002992644,"about_ca_topic_score_gemma":0.003925375,"domain_scores_codex":[0.9984437,0.0003935698,0.0001038924,0.0003403669,0.0005090263,0.0002094951],"domain_scores_gemma":[0.9958673,0.002284797,0.0002617018,0.0005681836,0.000836815,0.0001813568],"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.000002215389,0.000004827305,0.00002943387,0.000008433409,0.000001313593,0.00001121463,0.0000525243,0.00007351756,0.00005377573,0.9954805,0.003129005,0.001153019],"study_design_scores_gemma":[0.000004231774,0.000002378857,0.00005469331,0.00001218503,0.000002385939,0.0000296417,0.00003004186,0.001083225,0.0001988249,0.9896582,0.00891756,0.000006775886],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0258879,0.001087782,0.5614155,0.01168577,0.001184344,0.0001299666,0.002617852,0.001635711,0.3943551],"genre_scores_gemma":[0.7089335,0.001845506,0.155721,0.005280287,0.00139269,0.0005605967,0.003059556,0.001888983,0.1213178],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02751702,"threshold_uncertainty_score":0.09205359,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02048708668114661,"score_gpt":0.2501845265000929,"score_spread":0.2296974398189462,"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."}}