{"id":"W7056726949","doi":"","title":"Functional declarative language design and predicate calculus: A practical approach","year":2005,"lang":"en","type":"article","venue":"Ghent University Academic Bibliography (Ghent University)","topic":"Magnetic confinement fusion research","field":"Physics and Astronomy","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Intecsea (Canada)","funders":"","keywords":"Predicate (mathematical logic); Declarative programming; Natural language; Object language; Fifth-generation programming language","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.007128354,0.001019054,0.0006970047,0.001527199,0.001562322,0.005880503,0.003280636,0.002624181,0.005751838],"category_scores_gemma":[0.006080931,0.0009451628,0.001299604,0.001551217,0.009410238,0.009009212,0.002581376,0.004172489,0.002119252],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0021204,"about_ca_system_score_gemma":0.003033798,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001936334,"about_ca_topic_score_gemma":0.001267836,"domain_scores_codex":[0.9970176,0.001380943,0.0001901902,0.0003775024,0.0008337343,0.0002000273],"domain_scores_gemma":[0.9973062,0.001521151,0.0001265254,0.0004806864,0.0004526008,0.0001128132],"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.000003806798,0.000004381506,0.00001712472,0.0000425734,0.000002706908,0.00002528585,0.00016401,0.0005938108,0.0001382572,0.9923368,0.001163402,0.005507834],"study_design_scores_gemma":[0.000009824467,0.00002047236,0.00002389349,0.00006315577,0.00001005441,0.0001457173,0.0001024101,0.005390097,0.0006952056,0.8963355,0.09718931,0.00001418057],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0008278824,0.002137204,0.9752078,0.00387043,0.0003035528,0.00003721604,0.00005635656,0.0003824586,0.01717698],"genre_scores_gemma":[0.103686,0.00515645,0.8618243,0.003061931,0.001235108,0.0003942313,0.0002052872,0.0005596285,0.02387706],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007128354,"threshold_uncertainty_score":0.03769881,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02983960867806294,"score_gpt":0.2487534843283017,"score_spread":0.2189138756502387,"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."}}