{"id":"W2466224125","doi":"10.1017/jsl.2018.87","title":"AMALGAMABLE DIAGRAM SHAPES","year":2019,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Diagram; Endomorphism; Decidability; Mathematics; Combinatorics; Idempotence; Simple (philosophy); Discrete mathematics; Pure mathematics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007670343,0.0003122634,0.0002862773,0.000794031,0.001029613,0.002172271,0.0007639705,0.0008683499,0.007267619],"category_scores_gemma":[0.001827739,0.0003618483,0.000814156,0.0004825116,0.002221633,0.004359064,0.002599324,0.0012501,0.0009888428],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006441686,"about_ca_system_score_gemma":0.0003880034,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004376876,"about_ca_topic_score_gemma":0.0004286422,"domain_scores_codex":[0.998996,0.0001592767,0.00009634186,0.0003600048,0.000232322,0.0001560827],"domain_scores_gemma":[0.9985673,0.0005033385,0.00009910382,0.0003279522,0.0002968503,0.0002053209],"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.0000681515,0.00004285753,0.0009291406,0.00005654534,0.00001081622,0.000475152,0.0007097724,0.001318656,0.01025324,0.9687235,0.001038322,0.01637374],"study_design_scores_gemma":[0.00002149958,0.00009357874,0.0004785293,0.00005765076,0.00003542819,0.0007481292,0.0004613411,0.01338109,0.03155841,0.9100931,0.04302942,0.00004167384],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2579488,0.0003312156,0.6484322,0.0004797661,0.0003176957,0.0001048467,0.000437939,0.003206303,0.08874118],"genre_scores_gemma":[0.9278285,0.0001121364,0.0615662,0.0001300316,0.00005515107,0.00007481578,0.0002847357,0.0002708861,0.0096775],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007267619,"threshold_uncertainty_score":0.02431262,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01937334384823893,"score_gpt":0.2470088305944695,"score_spread":0.2276354867462306,"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."}}