{"id":"W3089483010","doi":"","title":"Resource Graphs and Countermodels in Resource Logics","year":2005,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Resource (disambiguation); Computer science; Business; Computer network","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.0004713809,0.0001138842,0.0001446019,0.0001085781,0.0000661037,0.0001721817,0.0004601936,0.00007637578,0.000008234671],"category_scores_gemma":[0.00001442307,0.00008823566,0.0000312248,0.000257445,0.00005337343,0.0002476644,0.000191117,0.0001126564,0.00003309226],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002522729,"about_ca_system_score_gemma":0.000014182,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006220023,"about_ca_topic_score_gemma":0.0001181606,"domain_scores_codex":[0.9989156,0.00006346781,0.0002097413,0.000345371,0.0001882552,0.0002775802],"domain_scores_gemma":[0.9994134,0.00005633666,0.00005045161,0.0003785468,0.00002088943,0.00008038786],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000004085192,0.00004668171,0.002387258,0.0000100537,0.00000440345,0.00001658589,0.001207399,0.000130617,0.00002732207,0.9351499,0.003588311,0.05742737],"study_design_scores_gemma":[0.0006894558,0.0001277994,0.001938031,0.000007244866,0.00000303811,0.00008483223,0.0002162026,0.07144663,0.0001653396,0.06144569,0.8635206,0.0003550899],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05091361,0.001731937,0.6165699,0.003848199,0.0001597338,0.0005371781,5.933764e-7,0.0007438032,0.325495],"genre_scores_gemma":[0.9919652,0.00001321592,0.004407796,0.001232459,0.00003924268,0.00000790299,9.303312e-7,0.000005760097,0.002327529],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9410515,"threshold_uncertainty_score":0.3598146,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02223664299310022,"score_gpt":0.2366847448749556,"score_spread":0.2144481018818554,"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."}}