{"id":"W2148547662","doi":"10.1109/iccl.1988.13077","title":"Array theory, logic and the Nial language","year":2003,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Logic programming; Functional programming; Semantics (computer science); Nial; Programming language; Basis (linear algebra); Functional logic programming; Programming paradigm; Artificial intelligence; Theoretical computer science; Inductive programming; Mathematics","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.001432026,0.000548764,0.000487099,0.001972234,0.002021238,0.005685694,0.00213562,0.001018707,0.008860704],"category_scores_gemma":[0.00228314,0.0004645995,0.000833349,0.002054942,0.006432026,0.010623,0.002479422,0.002787851,0.002699597],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003288836,"about_ca_system_score_gemma":0.001834772,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003318557,"about_ca_topic_score_gemma":0.002819457,"domain_scores_codex":[0.9984978,0.0004140268,0.0001496155,0.0002353634,0.0005347222,0.0001684487],"domain_scores_gemma":[0.9990565,0.0003947337,0.000100573,0.0001311496,0.0002499629,0.00006708121],"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.000006998785,0.000003485273,0.00003088341,0.00003046769,0.000001277076,0.00002554606,0.00009451379,0.000306874,0.000130961,0.99248,0.001788944,0.005100052],"study_design_scores_gemma":[0.00000786585,0.00001169041,0.00005753355,0.00004878508,0.00000649497,0.0002073974,0.0001804385,0.005801046,0.0008383658,0.866353,0.1264713,0.00001607803],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006303073,0.004614029,0.7514309,0.00778995,0.0009017591,0.00007157004,0.0004749076,0.001846859,0.2265669],"genre_scores_gemma":[0.34973,0.007568204,0.5142065,0.005259583,0.001543598,0.0005821109,0.001163601,0.0008350672,0.1191113],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008860704,"threshold_uncertainty_score":0.02964205,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01277445811844449,"score_gpt":0.2345933137644212,"score_spread":0.2218188556459768,"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."}}