{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007715653,0.0007790583,0.002160206,0.003971736,0.00304459,0.01039399,0.003922279,0.003306752,0.007434961],"category_scores_gemma":[0.02176787,0.001676375,0.002708877,0.008337765,0.008862937,0.03264302,0.005497718,0.00453847,0.001539656],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00504132,"about_ca_system_score_gemma":0.003577108,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009158516,"about_ca_topic_score_gemma":0.007981608,"domain_scores_codex":[0.9923201,0.003166072,0.0008971898,0.0009931887,0.002011432,0.0006120176],"domain_scores_gemma":[0.9847644,0.01033605,0.0008347385,0.001866863,0.001743094,0.0004548812],"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.00002046937,0.000008152671,0.00007874228,0.00003465055,0.000005341826,0.00002422173,0.000388718,0.001413677,0.0002546112,0.9934282,0.0007490472,0.003594167],"study_design_scores_gemma":[0.00001666184,0.00001039385,0.00003590038,0.0000229844,0.00001875941,0.00005061115,0.00009650849,0.01563833,0.0004149103,0.9777994,0.005875874,0.00001981082],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0166338,0.00120819,0.9672867,0.002643073,0.0001486026,0.00009068912,0.0005179776,0.001444134,0.0100268],"genre_scores_gemma":[0.4329337,0.002117697,0.5474151,0.001360559,0.0005043762,0.000478484,0.001470772,0.001106601,0.01261264],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01039399,"threshold_uncertainty_score":0.0408048,"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."}}