{"id":"W1985257126","doi":"10.1007/s00224-008-9110-5","title":"Structural Recursion as a Query Language on Lists and Ordered Trees","year":2008,"lang":"en","type":"article","venue":"Theory of Computing Systems","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Regina","funders":"","keywords":"Recursion (computer science); Computer science; Query language; Query optimization; Programming language; Theoretical computer science; Information retrieval","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.0004534439,0.0001209736,0.0002601568,0.00008769771,0.0001423717,0.00003908834,0.0003884068,0.00005255143,0.000001716542],"category_scores_gemma":[0.0001161809,0.00009330646,0.00003795553,0.0001187937,0.0001180647,0.00008648142,0.0001268639,0.0000795306,0.000008175226],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001424245,"about_ca_system_score_gemma":0.00002824566,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001602035,"about_ca_topic_score_gemma":0.000003883896,"domain_scores_codex":[0.9988969,0.0002617436,0.0002284761,0.0002379003,0.0001966538,0.0001783093],"domain_scores_gemma":[0.9989235,0.0004839735,0.0001543044,0.0003550022,0.00004103843,0.00004219563],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000155271,0.00006978602,0.003910169,0.0003015462,0.00008616797,0.0002446056,0.05816152,0.001506137,0.004361245,0.8809363,0.0008169858,0.04945032],"study_design_scores_gemma":[0.006843651,0.003510362,0.3260588,0.004934083,0.00007275862,0.007581449,0.02201672,0.5257143,0.02784555,0.07098679,0.001396718,0.003038766],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9866585,0.00106401,0.009118714,0.00009513007,0.0005666158,0.0001210458,7.237651e-7,0.0001798254,0.002195474],"genre_scores_gemma":[0.9983461,0.000007542611,0.001171952,0.0000664242,0.00008210201,7.065942e-7,6.897179e-7,0.000005959742,0.0003185119],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8099495,"threshold_uncertainty_score":0.3804927,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02133140059131159,"score_gpt":0.2570534105745805,"score_spread":0.2357220099832689,"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."}}