{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005021717,0.0009325133,0.0006803271,0.002824963,0.00210287,0.003706071,0.002317577,0.001843361,0.007032556],"category_scores_gemma":[0.009629904,0.0008178591,0.002235435,0.002019157,0.006468673,0.01352042,0.003750042,0.00344564,0.0005278972],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003151295,"about_ca_system_score_gemma":0.001722669,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003757195,"about_ca_topic_score_gemma":0.003448016,"domain_scores_codex":[0.9948602,0.002322408,0.0003186924,0.0008117779,0.001254844,0.0004320482],"domain_scores_gemma":[0.9914259,0.00622296,0.0005589569,0.0008980335,0.0006199366,0.0002743852],"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.0000131089,0.000006569029,0.00007488811,0.00002378189,0.000007236559,0.0000781304,0.0001119384,0.003018214,0.0002087437,0.9942385,0.0001800668,0.002038981],"study_design_scores_gemma":[0.000006681047,0.000005952218,0.00002340381,0.00001113796,0.000008888091,0.00003124759,0.0000402989,0.01214624,0.0005827402,0.9853551,0.001779692,0.000008533308],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03144812,0.0004723924,0.9493425,0.001558517,0.0001159053,0.000107275,0.0002109384,0.0006805384,0.01606372],"genre_scores_gemma":[0.6393765,0.000840803,0.3488206,0.001147348,0.0001896112,0.0004777434,0.0006087474,0.0004004755,0.008138137],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007032556,"threshold_uncertainty_score":0.02655774,"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."}}