{"id":"W2132897767","doi":"10.1109/iccsse.1997.599883","title":"Extension mechanisms in Montana","year":2002,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"IBM (Canada)","funders":"","keywords":"Computer science; IBM; Extension (predicate logic); Focus (optics); Software engineering; Interface (matter); Representation (politics); Application programming interface; Database; Software; Programming language; Operating system","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.0001578149,0.00006244887,0.00008494322,0.00005996082,0.00003217975,0.00006360568,0.0003056437,0.00003998437,0.00009286049],"category_scores_gemma":[0.000009377623,0.00004661682,0.00002606543,0.0002135068,0.000006492258,0.0001808982,0.00008369087,0.00004934903,0.0004507891],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001844538,"about_ca_system_score_gemma":0.000003265938,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002029504,"about_ca_topic_score_gemma":0.0001307634,"domain_scores_codex":[0.9993203,0.00002692275,0.0001192593,0.0002190447,0.0001373749,0.0001770473],"domain_scores_gemma":[0.9995922,0.00001359057,0.00002391761,0.0003073241,0.00001917193,0.00004383294],"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":[2.535494e-7,0.00003765382,0.00008708606,0.000002271229,0.000001169562,0.00004484483,0.0002640249,0.000004503975,0.000400073,0.956191,0.001006053,0.04196108],"study_design_scores_gemma":[0.0009563778,0.00032962,0.00263831,0.000007496668,0.000003129755,0.0001249577,0.0001837954,0.4206029,0.005225788,0.5348583,0.03450226,0.0005670559],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001050894,0.0001737785,0.9438715,0.0003640408,0.0003456004,0.0001082995,1.921794e-8,0.0001768362,0.05390906],"genre_scores_gemma":[0.9833655,0.000008586637,0.01286994,0.0002495884,0.00001883874,0.000005911467,1.350923e-7,0.000003025636,0.003478476],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9823146,"threshold_uncertainty_score":0.5794132,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03339797598998044,"score_gpt":0.2276685053860357,"score_spread":0.1942705293960553,"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."}}