{"id":"W1529317038","doi":"10.1007/bfb0024183","title":"Elementary logic programs","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":43,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal; Université de Moncton","funders":"","keywords":"Computer science; Program transformation; Elementary function; Simple (philosophy); Set (abstract data type); Transformation (genetics); Programming language; Resolution (logic); Logic program; Algebraic semantics; Elementary proof; Arrow; Algebraic number; Binary number; Theoretical computer science; Algebra over a field; Semantics (computer science); Arithmetic; Mathematics; Discrete mathematics; Logic programming; Pure 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001068566,0.0006423733,0.0005983145,0.0005975245,0.0002840158,0.0008885032,0.004363425,0.0003714177,0.00004955755],"category_scores_gemma":[0.00002684034,0.0005296953,0.000199222,0.0006056295,0.0006483214,0.0006381021,0.001519932,0.0007942985,0.0002426296],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004073751,"about_ca_system_score_gemma":0.0004152329,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005971739,"about_ca_topic_score_gemma":0.0002166149,"domain_scores_codex":[0.9952336,0.00004262755,0.0006570423,0.00183369,0.001213569,0.001019448],"domain_scores_gemma":[0.9974139,0.0001440114,0.0003592516,0.001634524,0.0002068507,0.0002414115],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000001726584,0.00004252418,0.0001041868,0.00002671973,0.00001112496,0.00009344905,0.0003107837,0.000733835,0.00001069947,0.1866846,0.00003251412,0.8119479],"study_design_scores_gemma":[0.000520475,0.0007257901,0.00007949906,0.0001253481,0.00001720264,0.0002661074,4.550918e-7,0.09556941,0.0003472693,0.8007808,0.1000398,0.001527866],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00001029486,0.001052757,0.9790323,0.000795454,0.002349535,0.0007519307,8.724129e-7,0.0003914197,0.01561545],"genre_scores_gemma":[0.3654996,0.0001047115,0.6239656,0.004327091,0.002803979,0.00005925744,0.0000284373,0.00007864069,0.003132638],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.81042,"threshold_uncertainty_score":0.9997154,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02676493108707163,"score_gpt":0.2527745699862982,"score_spread":0.2260096388992266,"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."}}