{"id":"W2005628931","doi":"10.1109/micai.2006.43","title":"Skolem Functions and Herbrand Universes in a Tree Generalization of First Order Logic","year":2006,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Generalization; Computer science; Fragment (logic); Set (abstract data type); Semantics (computer science); XML; Programming language; First-order logic; Theoretical computer science; Mathematics; Algorithm; Algebra over a field; Discrete mathematics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001208385,0.0003914738,0.0004681321,0.001334239,0.00124273,0.001867725,0.0007805337,0.001018417,0.001334552],"category_scores_gemma":[0.001831867,0.0003503885,0.001079471,0.001509418,0.0027203,0.005678259,0.001009002,0.001847817,0.0003236978],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001346262,"about_ca_system_score_gemma":0.0008427479,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002444044,"about_ca_topic_score_gemma":0.002238307,"domain_scores_codex":[0.9993783,0.0002017391,0.00003795795,0.0001118713,0.0001865929,0.00008340836],"domain_scores_gemma":[0.9993265,0.0003533144,0.00008073319,0.0001076509,0.00008872744,0.00004312156],"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.00002089534,0.0000130038,0.00009718583,0.00002285318,0.000006120482,0.0001055691,0.000336833,0.003681431,0.00190777,0.9848762,0.0005684139,0.008363646],"study_design_scores_gemma":[0.00001137023,0.000021982,0.0001748782,0.0000172134,0.00001560292,0.0001485534,0.00009455119,0.02372202,0.00169568,0.9635612,0.01051824,0.00001876716],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1130494,0.001492965,0.8612363,0.001579972,0.00008251089,0.00006255895,0.0001966091,0.0008223661,0.02147734],"genre_scores_gemma":[0.7069178,0.001378184,0.2779058,0.0006216341,0.0002387785,0.0001064723,0.0002909212,0.0003545192,0.01218596],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002444044,"threshold_uncertainty_score":0.00976783,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008636386267034037,"score_gpt":0.1975354483157969,"score_spread":0.1888990620487629,"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."}}