{"id":"W2968326497","doi":"10.1145/3371077","title":"Undecidability of <i> d <sub>&lt;:</sub> </i> and its decidable fragments","year":2019,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo; McGill University","funders":"Strong","keywords":"Decidability; Soundness; Subtyping; Mathematical proof; Completeness (order theory); Undecidable problem; Intersection (aeronautics); Calculus (dental)","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.004293364,0.0009296457,0.0008903545,0.001132546,0.002022497,0.005004701,0.00276685,0.001528485,0.002536303],"category_scores_gemma":[0.01280629,0.001237281,0.002607011,0.0008367299,0.005880647,0.00811426,0.003463042,0.006355474,0.0005268606],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004251853,"about_ca_system_score_gemma":0.006791215,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01096256,"about_ca_topic_score_gemma":0.008204434,"domain_scores_codex":[0.9955676,0.0004827276,0.0003356492,0.001267556,0.001523908,0.000822588],"domain_scores_gemma":[0.9737763,0.01774241,0.001870795,0.003533203,0.002368117,0.0007091751],"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.0006819357,0.0003992668,0.01073424,0.000818287,0.0001382223,0.001067547,0.00179501,0.03033553,0.03202005,0.8528301,0.007635895,0.06154393],"study_design_scores_gemma":[0.000195506,0.00009873712,0.002520591,0.0001096294,0.0001833132,0.0007562417,0.0003145393,0.1875514,0.08595837,0.7002353,0.02195709,0.0001192814],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2178251,0.000668541,0.7541141,0.003189184,0.0002373736,0.0003073035,0.00150795,0.006099004,0.01605151],"genre_scores_gemma":[0.805195,0.0005711105,0.1796981,0.001150515,0.0001921032,0.0003348865,0.002235282,0.001208165,0.009414724],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01096256,"threshold_uncertainty_score":0.03084952,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0131746766437271,"score_gpt":0.2418999690306452,"score_spread":0.2287252923869181,"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."}}