{"id":"W1548747954","doi":"10.3233/fun-2005-67402","title":"Tabular Expressions and Their Relational Semantics","year":2005,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Semantics (computer science); Computer science; Programming language; Theoretical computer science; Algebra over a field; 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.004806695,0.0009714262,0.0008610504,0.003482382,0.002177569,0.007826112,0.002052954,0.001789174,0.01059403],"category_scores_gemma":[0.008609201,0.0007845026,0.001617468,0.005056854,0.005180103,0.01565675,0.003038924,0.003026577,0.003521316],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002086675,"about_ca_system_score_gemma":0.0015473,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002388225,"about_ca_topic_score_gemma":0.001085286,"domain_scores_codex":[0.9951056,0.001407611,0.0006642177,0.0009767349,0.001439003,0.0004067494],"domain_scores_gemma":[0.9957939,0.001524334,0.0005713236,0.0008009745,0.001143001,0.0001664277],"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.000008521048,0.000004588119,0.00003253639,0.0000410276,0.00000408087,0.00002681447,0.0002221757,0.0003481191,0.0001996823,0.9911743,0.001419997,0.006518101],"study_design_scores_gemma":[0.00001230242,0.00001246552,0.00005750933,0.0000700379,0.00001175821,0.0001762505,0.000162721,0.003732889,0.0006701038,0.9311385,0.06393677,0.00001875872],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007275622,0.005412737,0.9321905,0.002753301,0.0006072092,0.0001771635,0.001619726,0.001159944,0.04880381],"genre_scores_gemma":[0.2615665,0.01011003,0.6930079,0.002678986,0.001756228,0.001104174,0.003606434,0.001047662,0.02512207],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01059403,"threshold_uncertainty_score":0.03544062,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02463984822771006,"score_gpt":0.2386764449150869,"score_spread":0.2140365966873768,"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."}}