{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003190036,0.0005601149,0.0006208535,0.002148855,0.002489378,0.004383887,0.003090629,0.001452,0.01114475],"category_scores_gemma":[0.006318111,0.0009927285,0.001446243,0.002139702,0.002730528,0.00956931,0.008358853,0.002543112,0.00289961],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001790301,"about_ca_system_score_gemma":0.0018349,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004911506,"about_ca_topic_score_gemma":0.005668973,"domain_scores_codex":[0.9973058,0.0005388294,0.000241236,0.0006862135,0.0008451073,0.0003828844],"domain_scores_gemma":[0.9958231,0.001166253,0.0003835042,0.001800353,0.0006332163,0.0001934816],"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.000315241,0.0000674467,0.001333878,0.0001662151,0.00004153404,0.0003729337,0.001276001,0.001271036,0.007314341,0.8620612,0.01748569,0.1082946],"study_design_scores_gemma":[0.0001010639,0.00006852648,0.001403408,0.000253732,0.00009854779,0.001507397,0.000290837,0.01315304,0.01085949,0.3419413,0.6301829,0.0001399094],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05982219,0.003232602,0.7134218,0.003916875,0.0005670916,0.0002713408,0.0007026421,0.03560836,0.182457],"genre_scores_gemma":[0.4179067,0.001894958,0.4969055,0.003281089,0.0006136189,0.0005639218,0.001876186,0.005603028,0.07135508],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01114475,"threshold_uncertainty_score":0.03728294,"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."}}